{"entities":{"Q3988856":{"pageid":6018712,"ns":120,"title":"Item:Q3988856","lastrevid":47057689,"modified":"2025-12-31T13:13:33Z","type":"item","id":"Q3988856","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33417"}},"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":"Q3988856$F186A482-7DA2-4C6E-A2A2-1DDAF204EE18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0092a0d830bb9c762754ff934079bce017256379","datavalue":{"value":"0737.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988856$A7648B39-84EF-4B58-8923-040F20271D86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df536ce7afbe2ef6eb252e7a383ac80b29cf52e0","datavalue":{"value":{"entity-type":"item","numeric-id":687155,"id":"Q687155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988856$4893C69E-050C-478A-B9CD-6EC33803120D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3988856$68E7BCA2-5428-4D07-A14E-0F3BE6DA2979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988856$68BCD087-253A-4C15-9B1C-C7D945B64D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988856$BC4DC754-7DCD-4ECF-BF3D-D76D7D4074D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3b9cc8e06abc55f6e70051f88023771ff4b036b","datavalue":{"value":"33417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988856$DB1ADD97-781F-433B-8BDC-2F012B978761","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$108C8095-7067-44B7-AB7B-15655FB697C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51583c9fdf86a2c79a229bfbde06247605845b11","datavalue":{"value":"non-standard logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$09A95074-1269-44D9-BC6E-49A96C5A38E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5c1967043a06b95abb9045dfd1a79fd6b5bf82","datavalue":{"value":"semantics of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$D7A5142C-F814-4B61-9243-2435355D9920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$C1E56E49-7B29-4478-BB9B-6F23FFD6B507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c9a0cae6fe32fb85a01fac7b717a753466c4e7","datavalue":{"value":"complete database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$4D3F7A8D-BCFC-4749-B7E8-E9966C59D27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$BADA8053-1DF8-41EC-AD0A-F8F15F5B8123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$AC1B3285-F1F6-42EF-B09F-C7FBC084224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a78cea2d37947aebc5e291d69cf9afe2a26849","datavalue":{"value":"autoepistemic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$078648AB-5E2A-457B-B8D6-900C401D916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e53abdf6fe31d4771becc9868795dc04b3103a8","datavalue":{"value":"nonstandard logic resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988856$464570B4-977D-4EC4-818E-D17401049AAF","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":"Q3988856$708F4639-1819-4B60-B3EC-D7FAF05F1CA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7f22852604e0ae2d8adddd43563b80145a7ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483cbc618acb38d0226a540c584e32327c89d485","datavalue":{"value":{"amount":"+0.8286604881286621","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":"Q3988856$9306BCCF-7BB8-4C11-9AF7-D7699B512A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c919db2e51eab63c6d40e7e5ff5367851b87332","datavalue":{"value":{"entity-type":"item","numeric-id":1344887,"id":"Q1344887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458f7972b3e5fc9cef5690888afc73fe35909a58","datavalue":{"value":{"amount":"+0.8247957229614258","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":"Q3988856$BC6F2481-60D8-45C2-B3D3-E277F2DAB96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071b9bdbd1daf5cc8dec3c93790c6a00c5111c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1311407,"id":"Q1311407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4cb13178395a32ad0874c7b25eaa2dca9ae118","datavalue":{"value":{"amount":"+0.8000245094299316","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":"Q3988856$A4012578-8FFF-45FD-8FCE-978BE9EB8F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bb99ae193d543de930ba3d8898ef455ddf345c","datavalue":{"value":{"entity-type":"item","numeric-id":4278739,"id":"Q4278739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deaaa48cff95902fbe28a0eed8d8ec5db323d2b4","datavalue":{"value":{"amount":"+0.7993335723876953","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":"Q3988856$F8A7A123-597A-48C6-9855-522935009B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4423ed1cc7565237d533e21939fe084d5b616b5","datavalue":{"value":{"entity-type":"item","numeric-id":918192,"id":"Q918192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11dbbc3f994c3c825e59bf490cfaa6c88f3ff27","datavalue":{"value":{"amount":"+0.7986947298049927","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":"Q3988856$67B4C5EF-30CF-4BB9-B676-57B7317A676A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3988856","badges":[]}}}}}