{"entities":{"Q918192":{"pageid":920040,"ns":120,"title":"Item:Q918192","lastrevid":65370891,"modified":"2026-04-12T02:07:23Z","type":"item","id":"Q918192","labels":{"en":{"language":"en","value":"An epistemic model of logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157864"}},"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":"Q918192$A028831D-1506-4DDE-A969-565877265787","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0495634c6d2fcd4474baa0874920b66043fbf7c3","datavalue":{"value":{"text":"An epistemic model of logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918192$4AB2D5A5-3373-48AB-8237-7B8B293B2D83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"303293e3109dd80180d6e5d38d7525f70c218040","datavalue":{"value":"0705.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918192$5971466E-533B-477B-B069-EB216A353462","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b97be51cda961e3e5d6d6e2bf66294e0afbde55","datavalue":{"value":"10.1007/BF03037512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918192$31BD1BA7-A440-419C-9FC8-C14651C31B9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$A44FDB33-F74D-468A-B6FA-7F88549E066E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$EA9ED9CE-6EC8-43BC-BB66-3BCFE15728B1","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":"Q918192$01BB145C-DDDB-4ADC-A315-620FDFC21D46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918192$932DA036-02B5-4838-A31C-3657782C8AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918192$61BB8CD3-FFE7-48D0-B870-5C9BD079EB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918192$912F1479-06EE-458C-AF05-3299C4D1EFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918192$CFD86FE9-B493-454C-93CA-3C58515815B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d15362d4a8e69a822553ddfa682f241a4924aed3","datavalue":{"value":"4157864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918192$CD22B950-C5B9-4994-8DAC-BB6EC8A72B14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q918192$E64CCB95-5CBC-4AB4-814C-EACDEF9DC50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q918192$EC8C80FB-B9FD-41B1-A771-F9D965DF1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffd37766974e1f01d93c44b79848c86031fc34d","datavalue":{"value":"possible-worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q918192$ACC437A7-B32F-4C54-AD18-385C972B44D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q918192$233AC3C9-4F50-4A9A-B522-F0F0E8509197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06b1625cec1e42314487cc2a54cf2f303280ded","datavalue":{"value":"negation as failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q918192$EA270681-6858-406D-9500-17D4826B198E","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":"Q918192$41E90C6D-7E21-4BFB-AF50-505EC467731B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747d10da3351289d1b17c903ad4959bea6af896","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$65425390-685F-4722-84FC-C96B326D6E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32ef8c8641427188d46bb8b56103385e3874640","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$D34AC1E4-7818-4338-9B37-46CA2D56EB33","rank":"normal"},{"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":"Q918192$98DB070B-0A10-4F0B-A819-B0BFE3708F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcf72eb583bed034e812cc9bb5b0f7cb389cbc3","datavalue":{"value":{"entity-type":"item","numeric-id":2553429,"id":"Q2553429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$C794B5B6-7A2B-4FF7-9014-1578A86EC206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$446956C7-D176-4684-9561-87CF20143CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$85679A1F-0DA3-4933-98A0-648C14A29773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$CE87D241-1000-4CF3-BCF1-18F97A329BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce0e7b92e2dd7189877c09d710424762dfb9960","datavalue":{"value":{"entity-type":"item","numeric-id":3030269,"id":"Q3030269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$AE1C231A-6D96-4015-8491-79DD90B2FCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$08EC7AAA-D8FC-4F94-9E2B-A2096C92C0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$9BDC8127-4ADD-4042-A4C8-F01DF38FECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$2B5D343D-A88D-4A96-B22A-7E1E9F1AE2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$2E08E1C2-03F4-4DD2-B4E4-48A3018F6E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$DC5A0BDD-CE66-4D1F-AAC6-6DBC6E63D06F","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":"Q918192$273F555C-9B5E-4708-B7BA-63C45A6D7EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3f070138c43f0cef8793f5524cfb0138e413bc","datavalue":{"value":{"entity-type":"item","numeric-id":3774999,"id":"Q3774999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$0A890585-1947-45A6-8E5D-4AAACA1BD2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819d4675109e6b217ccd74e1505076f45ab18a0b","datavalue":{"value":{"entity-type":"item","numeric-id":3781679,"id":"Q3781679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$2FC55DBE-F8A5-4F22-8EBD-07427615C78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$E3432DBD-5EC2-40D9-A935-48F68BABB93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$099C59FC-3427-4E6C-8B86-C4327EC37A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1d8fb42339a481de309d10a4b5b6fb7e49eec","datavalue":{"value":{"entity-type":"item","numeric-id":1140436,"id":"Q1140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918192$6CCB671F-D381-4B9E-9274-AA3DCD4378A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03332436084c70a41cab1120643c593a27ab6312","datavalue":{"value":{"entity-type":"item","numeric-id":4835514,"id":"Q4835514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773c6cdb562e1346d4ffaba428154dd33eeb028f","datavalue":{"value":{"amount":"+0.8352344036102295","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":"Q918192$583BBDB1-38B4-4A59-B309-0F7908243DB8","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":"b25e1446212c553b9de2933b35c4d75d26b42451","datavalue":{"value":{"amount":"+0.8328973650932312","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":"Q918192$5C35A1CC-5764-413E-9070-F5995551C8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca3044358064642f9e5557741bc4f29fa37c8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537432,"id":"Q4537432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f8909731b8118dc3e0c361ea03f019f07a7d11","datavalue":{"value":{"amount":"+0.8093328475952148","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":"Q918192$E24F4743-EAD6-4E8E-9DB3-6AA0A7C17B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db32de3d5668b0cf0f68ab39173655b8ad4b4842","datavalue":{"value":{"entity-type":"item","numeric-id":5108503,"id":"Q5108503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa8e3b7e1b7452973e592882b9b30819ed1203a","datavalue":{"value":{"amount":"+0.8086553812026978","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":"Q918192$2B6E9353-1F8A-4E2D-9373-55F45B794EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8493d37956214d9dbde0c436c504c3f62437025","datavalue":{"value":{"entity-type":"item","numeric-id":3988856,"id":"Q3988856"},"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":"Q918192$33AB323F-4A17-427A-8C64-BB7C301CA2F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An epistemic model of logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_epistemic_model_of_logic_programming"}}}}}