{"entities":{"Q3474909":{"pageid":5463194,"ns":120,"title":"Item:Q3474909","lastrevid":46790103,"modified":"2025-12-25T14:38:59Z","type":"item","id":"Q3474909","labels":{"en":{"language":"en","value":"Some computational aspects of circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143478"}},"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":"Q3474909$C5647774-7791-457F-AC9C-FCB743C1CBF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87c79ce7e391af373a1d98744ea279565f8954d8","datavalue":{"value":{"text":"Some computational aspects of circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3474909$FE448D39-2082-4E2B-9069-694249E4D320","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d01ee577079aa15c98add22392c51f23de9dd368","datavalue":{"value":"0697.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$74AAF78C-652F-4624-A5E6-21E52F8D9BB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4e9ea8ce448b09c0efa99d5a7a7a0f20d185fba","datavalue":{"value":"10.1145/78935.78936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$3D8861C3-38E0-4DDC-9BCE-5E90DE6EB42F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474909$2850D8BF-79AC-4E94-86ED-BD7E667512F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474909$4969B5F9-8261-4D0F-B75F-CD403F74FA79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474909$C7D25867-0677-418B-998F-C91E42BC2B54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3474909$F8DC0DF5-7BA8-466B-BC68-1BA1EE6917DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$49BAD62A-EFD3-4EEF-9FAC-AEC55C386D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$0F36E2CA-71A1-400A-93A4-ECCD5BC18F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$D0E0ABCD-F625-420A-ADAF-9185651D60EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$7989FAB1-93C3-4ABC-8232-3F1D68DFEF93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3bffe1ac8d1def7e47849a0da7466be6f7733e5","datavalue":{"value":"4143478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$DBFFE992-9CBC-4153-AC14-A3D5B3E9BA72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474909$18A8F121-EB6B-43FD-BB83-1C16645C1C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474909$A38207EB-B67E-4491-98A7-65B780D8B892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474909$3625E74C-67AC-4B7D-9497-27E5734ABBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57c88a7afb551d7d36a1b6cf10492f9a344cb2d3","datavalue":{"value":"NP- completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474909$AF7A8F68-69BC-4933-80F8-334FB8DA8DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474909$B15BE02C-94C8-4061-91A7-DF275D75980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474909$35331F49-1938-449B-984F-DEB22E20642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474909$9FA9ACC5-4BD1-4D26-A02C-CD4B6624DC6F","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":"Q3474909$4BF63830-4A10-415D-81BB-B95A39A02ADD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d6395e8872525ff31d14e259f4061819fc0740d","datavalue":{"value":"https://doi.org/10.1145/78935.78936","type":"string"},"datatype":"url"},"type":"statement","id":"Q3474909$9C42C8EA-0F03-46B1-A466-D856F4FD4BCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4be7129d41b374a24305b7cb655abca496e238c8","datavalue":{"value":"W2007880598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$F0C34DDA-E4C3-4ABA-9B58-812E25ADE557","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b44ed05e232198af78ab6e25c33a529a405b5be0","datavalue":{"value":"Q129039380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474909$7F313341-3AB3-4128-8632-51B112FC3D17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d7356fa328ff416f9a821b42a22942a60a5e9d","datavalue":{"value":{"entity-type":"item","numeric-id":1098651,"id":"Q1098651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb07dd1667993dd057750ca7f45025d799f8a2b","datavalue":{"value":{"amount":"+0.9299849","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":"Q3474909$1FAFB63B-83B7-436E-9F53-BE03F40CEF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc60c9cfefebede577837fd5737d70cadf65f6c9","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3381934aed51b7b955d5c1732438cbaf9d110568","datavalue":{"value":{"amount":"+0.9266845","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":"Q3474909$3C241602-A4C9-4C48-974E-612E1CFBF7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3691cf8a59b7ceb1acd16b3e9217886b8d730749","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d64ccdf843fe5a276bd312f2b6d970f85d6d6a8","datavalue":{"value":{"amount":"+0.88111806","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":"Q3474909$CFF5CED8-F77E-445F-82F5-429DD6E416DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7e756f0e4d30e0e0cfecdaa9b60924197ed55b","datavalue":{"value":{"entity-type":"item","numeric-id":3838809,"id":"Q3838809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79acbef11208c36f06c68581fbb738c106f3679","datavalue":{"value":{"amount":"+0.8776091","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":"Q3474909$C8C171CF-CB08-4147-998E-4FE45C9C8708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a82741e0942e497d5c155aa2ed84ddb76e389b6","datavalue":{"value":{"entity-type":"item","numeric-id":963360,"id":"Q963360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306a36cb7b655a3d96833e12086224c2f943f4f3","datavalue":{"value":{"amount":"+0.8686615","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":"Q3474909$8B4A6196-994B-4F1F-AC93-0C2C10C580FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df89e26b80c2876c02063194057538995658480f","datavalue":{"value":{"entity-type":"item","numeric-id":3651476,"id":"Q3651476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9243e07227d6976f18298f6949d1e70b445a7667","datavalue":{"value":{"amount":"+0.8648378","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":"Q3474909$C579D4D0-63CE-4693-85CC-F97B2BA6F122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1df6dfd6c17b8d4dc8edbe9eb0affb5cd05fa81","datavalue":{"value":{"entity-type":"item","numeric-id":1079817,"id":"Q1079817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2fd54148c65a90fab3147399397f8d2534b2322","datavalue":{"value":{"amount":"+0.8597306","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":"Q3474909$A7C9D0BB-3052-48CB-A390-E321B81AD177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b460c0bbc03fbb006bd5c194acfc9d0f315d5a21","datavalue":{"value":{"entity-type":"item","numeric-id":3702535,"id":"Q3702535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27faeec3707982524d0bbee094e0c682e845b6e","datavalue":{"value":{"amount":"+0.8591927","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":"Q3474909$2BE279D6-26D8-4D02-B223-1394C82EB5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8164da92c69081a289d3d4ac53139ad5a2063fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4286111,"id":"Q4286111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1024b220da10b02869c43f11ccc44d0a3a27b91b","datavalue":{"value":{"amount":"+0.8576008","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":"Q3474909$ED86D042-44FE-4747-A3BD-D488E387540F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522724b24826c1c5645b6a400b8155abdc43d660","datavalue":{"value":{"entity-type":"item","numeric-id":1073786,"id":"Q1073786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6ec304afc820c349b31e073f34f2e5cd47ddc9","datavalue":{"value":{"amount":"+0.8562641","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":"Q3474909$BE00E20F-D128-4B00-8A8C-07D684AC3874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3474909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3474909"}}}}}