{"entities":{"Q4647525":{"pageid":6677106,"ns":120,"title":"Item:Q4647525","lastrevid":53320925,"modified":"2026-01-24T17:43:35Z","type":"item","id":"Q4647525","labels":{"en":{"language":"en","value":"\\(\\mathsf{XRay}\\): a Prolog technology theorem prover for default reasoning: a system description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001917"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$7CB40C37-04EF-4BE8-9B93-B0278643A0A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4194e8a2a5385c167e340c0048c41547cbc943eb","datavalue":{"value":{"text":"XRay: A prolog technology theorem prover for default reasoning: A system description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647525$17A79FFD-F313-4AD5-B611-520189A056A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa5cdada65e9f97488f73c4344fbb30c5c303adc","datavalue":{"value":"1412.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647525$83F1A2AE-897C-42E0-8660-AD22AB57BBCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"937b33a621d34941953a0eff1fbc1ce93f48f29a","datavalue":{"value":"10.1007/3-540-61511-3_93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647525$D3D35FF2-02C3-462B-A102-10065F892804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$891E80D2-634D-4D14-827D-D342F182521D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa4b3b91abee7e894be1eaba82613666c54edb33","datavalue":{"value":{"entity-type":"item","numeric-id":1275595,"id":"Q1275595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$B007BF79-8F18-4EB1-B0ED-5EF22E288989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2d57dd302e171ce10d20577313d1df40322bf02","datavalue":{"value":{"entity-type":"item","numeric-id":854970,"id":"Q854970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$82FC8206-CEA0-4E5F-BA1A-D694F8523C8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$A5507395-E0B7-459E-9189-E5E15E9C9CE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647525$BA2EC08A-A16E-4CA5-908A-43562C0C84A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647525$93D420E7-E1D7-4657-A805-EDEE20673CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647525$B8C0B590-024F-453F-8DDA-08045B648D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647525$4447EB04-A147-405B-82A6-AF0DFDC02E6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"276813f278933ea30c9b7131cb5ac00dfd83d288","datavalue":{"value":"7001917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647525$14E46F51-60E5-4B7A-8C42-700012CD3162","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$06EB6385-3518-4C4E-AE7B-8BA004FD2DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"709a8137d9ea6ea2d05f19454ba03d49c996dbe0","datavalue":{"value":{"entity-type":"item","numeric-id":39858,"id":"Q39858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$BAF89EFA-D543-4966-8074-CA257DF67ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c847d95fa9da0f9d2847a8e473660863dc136697","datavalue":{"value":{"entity-type":"item","numeric-id":14261,"id":"Q14261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$986F82FD-027E-43A7-B7D2-E6E874AB95CE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$2F127EE2-6543-4D62-B0EF-EFA3E85D5A4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a664e0eeed114cd44a3e7fae60b5e3e92980dbfc","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_93","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647525$BF024922-A1F6-4289-AF12-F938F828D233","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"549951443977d3d6a895949abb71d2f9c4106057","datavalue":{"value":"W1601714479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647525$593C0F57-05BF-4448-8B78-14D83638B2B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$98674D25-46A6-4F0B-9055-787C8DC376A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bd0d661c6f87c4eba3d55a7217fe1c254772e6","datavalue":{"value":{"entity-type":"item","numeric-id":1342221,"id":"Q1342221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$4F181E1C-C589-47A3-A4E6-877012E8D56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652bb9806b62fd41be1b87133496e39d71256b01","datavalue":{"value":{"entity-type":"item","numeric-id":3140399,"id":"Q3140399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$C569C6F4-F692-46C9-89F7-2A6539AE32F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$1B6A227F-3A3F-44DF-BC3C-A3B5004EB5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef7ec0993570eb5b6905b987007d45fa7992eab","datavalue":{"value":{"entity-type":"item","numeric-id":1606312,"id":"Q1606312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$3D3F2613-696D-4705-995D-08166B7B1F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d468c466a706e55ee0ac089919fe49c486edb41b","datavalue":{"value":{"entity-type":"item","numeric-id":750134,"id":"Q750134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$085CED32-B2CD-4CCD-8897-8BCADAD5DB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$073A0FFC-1C00-4CDF-8CA5-4B98E54BCF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68efa9e5bd739d69f66fc6751c8ddb1542326e4","datavalue":{"value":{"entity-type":"item","numeric-id":1896370,"id":"Q1896370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$6D022CCD-4ECD-4885-94F4-121B22AD3D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9808046a6f8fa62d1a453b12f211b7893e78bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$B114956F-0C46-42C8-9785-1B7F15B17841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7697e3748d304d7ab9639d6e56e46ca2421c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1896366,"id":"Q1896366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647525$CD34161C-8ED7-4BD2-AC80-5E3EC5616266","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b593b33fc26dc965312ddd4414fa42ca2c2afb6","datavalue":{"value":{"entity-type":"item","numeric-id":5309531,"id":"Q5309531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a40bcbb2491d711d3e43827dc965304ec611614","datavalue":{"value":{"amount":"+0.7770974636077881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647525$D33AC3A1-76FC-491F-BC42-8558A7DD38D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5f233ca926f1a62c348c2b87ac01224938c597","datavalue":{"value":{"entity-type":"item","numeric-id":1275596,"id":"Q1275596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08982b1e90be739cb326d5210d7da903439cc7d7","datavalue":{"value":{"amount":"+0.7687729001045227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647525$A469DD47-3BBC-4147-B083-10C8F4E2C326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e829ba67a2705529c876fa453030f7a97a88269","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd59ed20244ea622d0a77a0e85018a8b688389d","datavalue":{"value":{"amount":"+0.7449632287025452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647525$674BC6C0-C8D6-433D-A838-042CFDE36F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c16c3321b34337bdae801cc87765e8b09bcb10","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591d1d8c16f9daf7fd8d150af41bd98e10a667a7","datavalue":{"value":{"amount":"+0.7394015192985535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647525$28C63AFB-40C3-4076-92F6-A013678BD5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba64328f3da153bdc283716be23ad38fe863e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591d1d8c16f9daf7fd8d150af41bd98e10a667a7","datavalue":{"value":{"amount":"+0.7394015192985535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647525$CB167156-189F-4317-B2FB-2F1165889140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647525"}}}}}