{"entities":{"Q1123640":{"pageid":1134389,"ns":120,"title":"Item:Q1123640","lastrevid":67051494,"modified":"2026-04-12T14:36:28Z","type":"item","id":"Q1123640","labels":{"en":{"language":"en","value":"A circumscriptive theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110160"}},"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":"Q1123640$1C2A5E2C-93E7-432B-ABC3-35EC74416308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f6c88b0ebb83aa521eda1fe8363b200927111e6","datavalue":{"value":{"text":"A circumscriptive theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123640$27B2AF6C-8243-449D-A357-88C751431669","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77b3c65f1348646e8efe9cdddcbad5c20f67dabd","datavalue":{"value":"0677.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123640$F143B604-A340-48F6-BAB1-7331BA86B954","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99ec1340ea943d0eeefa92bced1c57b6c002d193","datavalue":{"value":"10.1016/0004-3702(89)90026-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123640$BE42B10C-34E8-4F43-AF9D-47DF9244BD07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db20d60fdab35354b81f8a87932ead73c4375818","datavalue":{"value":{"entity-type":"item","numeric-id":1097713,"id":"Q1097713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123640$7A3175E3-50B4-4614-84E7-3363E95FE17D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123640$E40A236F-F47F-4BDE-BC88-05208D0247D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1123640$A31973B0-1391-43CD-A455-D7616E19B678","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123640$6FB3EA5F-AE85-4FF4-84D5-16A591112FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123640$7BC06A86-F57B-4F4E-AEAB-E8683C7F1483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123640$F335CF92-3AB8-4144-AD38-1AA0D0E873E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fe86effc57ba2a80dd821fd4fba9953cff21b3e","datavalue":{"value":"4110160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123640$398E6431-3A7D-4F54-A771-05BEF5C53EFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123640$E71E25CB-C7E5-41B0-BBAD-E8AB70462F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48d05678145545ed0504875290bdab97868acd1","datavalue":{"value":"circumscriptive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123640$DBAB3842-46C6-4FEE-8A8E-A8DFD0A716F3","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":"Q1123640$E8DD2CFD-C9D1-4BC0-9CC7-4055CFCE84C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123640$61D5E83E-75F1-4A37-9B44-96F43B273F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a560d36d73ece2a0e5454e9551afdd4850d359b","datavalue":{"value":{"entity-type":"item","numeric-id":3830545,"id":"Q3830545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123640$66E9EB61-B84C-44E6-A404-FC4993670BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef003b94e5337cfc6ea24418a9f740ac7c7ff18","datavalue":{"value":{"entity-type":"item","numeric-id":2726291,"id":"Q2726291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123640$6F9F1A40-A29A-4C9C-9F7F-C51FDEA7024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c999a03128137cbeac2feffe55e854e8d5a76471","datavalue":{"value":{"entity-type":"item","numeric-id":1108819,"id":"Q1108819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123640$C4ECB2FC-C573-4D1E-95A6-5EFB7A01171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123640$851F79FE-86DA-4697-AA1E-4BEF5C0784F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4640d19caea4737e534d9608c1b17178df5698db","datavalue":{"value":{"entity-type":"item","numeric-id":1060862,"id":"Q1060862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123640$F316DA6C-5810-4967-8923-CBA0EB6345FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02d571b5bfef02d2103b1abf92cd53bf203cbdbe","datavalue":{"value":"https://doi.org/10.1016/0004-3702(89)90026-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123640$1E812EF4-DA58-492B-86F4-CBB7EE600ECF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88bb50d7a028ff6a6c5b0c19139b3b058359778c","datavalue":{"value":"W2557892554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123640$8864E8E2-ABF5-4C1B-A6A2-76FBC9B5E2A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24639935b1fc18141c101f4b933403324bce254","datavalue":{"value":{"entity-type":"item","numeric-id":3830546,"id":"Q3830546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123640$A9866B35-A9BC-4FB7-A3A9-079A3281A897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff7bff40333ddddced7100cc203155153a93c2e","datavalue":{"value":{"entity-type":"item","numeric-id":3490987,"id":"Q3490987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5546ab2e9b54523864214f6d7c6f06e60afd86fb","datavalue":{"value":{"amount":"+0.92472136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123640$39C53F27-EC68-4DF5-A588-EC5CCC6DF596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716f31798a9fa13116e903e42ff9e589042733a4","datavalue":{"value":{"entity-type":"item","numeric-id":4539614,"id":"Q4539614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f2a23c092df6910cb1f76ede3f32c1894700d6","datavalue":{"value":{"amount":"+0.91759133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123640$A6D09EF8-6190-45C2-B738-49FE1F1148C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4e5ad592e2e8469ad11f566618984c9933e0e9","datavalue":{"value":{"amount":"+0.9056661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123640$711AA631-BA87-49A2-859B-1235C5D99AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19b95e27ef87c7314f5d4a46d130247a1c491df","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4e5ad592e2e8469ad11f566618984c9933e0e9","datavalue":{"value":{"amount":"+0.9056661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123640$AD23AA2F-0455-45E7-92C4-476C8A094E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8f662dd700efd11b6b5364de5e085cd4addf87","datavalue":{"value":{"entity-type":"item","numeric-id":4433984,"id":"Q4433984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f97d050d2eacacbd0d4d2c3b623ec5e6a1a7344","datavalue":{"value":{"amount":"+0.8903133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123640$544F64A6-7C08-4887-89B3-2F691950659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587d4ece9cfbb098f464f7afaaa1f86607a8db82","datavalue":{"value":{"amount":"+0.8895775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123640$BD1ED4D6-7422-4CD9-A619-BE9C106240AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c19d7b2a89b2589ee2eae31d625dcafc88fb45","datavalue":{"value":{"entity-type":"item","numeric-id":4218925,"id":"Q4218925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc50d41e1a533c16605c1f53deae7e3866fa382","datavalue":{"value":{"amount":"+0.88636124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1123640$6F73F142-423C-4FBA-9B2F-3F3AD1FA7557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A circumscriptive theorem prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_circumscriptive_theorem_prover"}}}}}