(original) (raw)

{"entities":{"Q5323984":{"pageid":5091759,"ns":0,"title":"Q5323984","lastrevid":1494034375,"modified":"2021-09-07T12:51:49Z","type":"item","id":"Q5323984","labels":{"en":{"language":"en","value":"EQP"},"de":{"language":"de","value":"EQP"},"pt":{"language":"pt","value":"EQP"},"es":{"language":"es","value":"EQP"},"ro":{"language":"ro","value":"EQP"},"it":{"language":"it","value":"EQP"},"fr":{"language":"fr","value":"EQP"},"fi":{"language":"fi","value":"EQP"},"nl":{"language":"nl","value":"EQP"}},"descriptions":{"de":{"language":"de","value":"Software-Programm"},"en":{"language":"en","value":"software program"},"fr":{"language":"fr","value":"programme informatique"}},"aliases":{"de":[{"language":"de","value":"equational prover"}],"en":[{"language":"en","value":"equational prover"}]},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"9d4e06fb871e714459c761c9504d0addbf46bebb","datavalue":{"value":{"entity-type":"item","numeric-id":40056,"id":"Q40056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P642":[{"snaktype":"value","property":"P642","hash":"40cdbb23f5fe8dde361ccdae1f975c607bbb8519","datavalue":{"value":{"entity-type":"item","numeric-id":431667,"id":"Q431667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P642"],"id":"Q5323984$5ae6d165-4b1e-6ca4-894b-e73037bc8793","rank":"normal","references":[{"hash":"91e2974650eb227517d84689b95e419403ec1848","snaks":{"P854":[{"snaktype":"value","property":"P854","hash":"e4eccac5ff57e9446c6e4c837841f5c26c561d32","datavalue":{"value":"http://www.cs.unm.edu/\~mccune/eqp/","type":"string"},"datatype":"url"}\],"P813":\[{"snaktype":"value","property":"P813","hash":"83bdce891a4564bad9952f940f0c0d1ba4a20b31","datavalue":{"value":{"time":"+2016-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}\]},"snaks-order":\["P854","P813"\]}\]}\],"P2699":\[{"mainsnak":{"snaktype":"value","property":"P2699","hash":"9acf05ac952e79a55d0257ff6c7ffa047c3a4e21","datavalue":{"value":"http://www.cs.unm.edu/\~mccune/eqp/","type":"string"},"datatype":"url"},"type":"statement","qualifiers":{"P407":\[{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}\],"P813":\[{"snaktype":"value","property":"P813","hash":"83bdce891a4564bad9952f940f0c0d1ba4a20b31","datavalue":{"value":{"time":"+2016-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}\]},"qualifiers-order":\["P407","P813"\],"id":"Q5323984$63409b2e-4466-b30c-d672-8acb1bc42918","rank":"normal"}\],"P646":\[{"mainsnak":{"snaktype":"value","property":"P646","hash":"1827bd25bb0442efc7ef269097b4d4f24d99ae0b","datavalue":{"value":"/m/0181wz","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5323984$AC4AC4D0-F981-4752-BF09-F9ACBC1AF322","rank":"normal"}\]},"sitelinks":{"enwiki":{"site":"enwiki","title":"Equational prover","badges":[],"url":"https://en.wikipedia.org/wiki/Equational\_prover"},"frwiki":{"site":"frwiki","title":"EQP","badges":\[\],"url":"https://fr.wikipedia.org/wiki/EQP"}}}}}