{"entities":{"Q2931276":{"pageid":2941996,"ns":120,"title":"Item:Q2931276","lastrevid":58077423,"modified":"2026-04-03T17:23:03Z","type":"item","id":"Q2931276","labels":{"en":{"language":"en","value":"Minimum model semantics for extensional higher-order logic programming with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6373657"}},"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":"Q2931276$91427196-6DBD-48FA-8721-477169464D89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f81e91ea11a47b044e948d470cdc15b603977556","datavalue":{"value":{"text":"Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931276$471583E1-246C-4251-BBD4-6392C75F3BD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca1bc4184770691284739ee26738074a9aa6b764","datavalue":{"value":"1309.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931276$13249D82-577B-4372-879A-D065BB2F9EBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76f6ec888af874479041154f2cece04ef18442e2","datavalue":{"value":"10.1017/S1471068414000313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931276$673DA744-888B-4DE0-9F3F-646B99868353","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f30fbf241dcff7bda46e30ee12c7795b236f611","datavalue":{"value":{"entity-type":"item","numeric-id":512648,"id":"Q512648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931276$7973E30F-CB4F-490E-878D-F530BA88816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc397ee761647537d18191e49156594f1ff1e719","datavalue":{"value":{"entity-type":"item","numeric-id":169899,"id":"Q169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931276$0279C40C-F03C-4AE6-91F3-357AB652CF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931276$A85ECE55-BB51-4051-A720-EB427D17B613","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931276$5AD7F155-A2F1-4196-83CA-103F3CAEE99B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a882446bd128890a95a71deebb9cb2548da37a94","datavalue":{"value":{"time":"+2014-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931276$38C7E48F-B656-4AAB-8562-605B179443AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5b0d24fd34ca714ffc6bb2c58b701d2471aae5c","datavalue":{"value":"https://arxiv.org/abs/1405.3792","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931276$FF58FB20-A724-4AE5-AEDA-0F35B54BB0B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931276$9102B381-9DDE-47E9-B170-19A8CB6A9DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931276$5694F3EB-AF5B-49EC-9B31-3F1F02B74CBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfd1d2a6f0640afac34762b99f32a3a0ed819052","datavalue":{"value":"6373657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931276$E7FD3AF7-D8BB-42A1-BA7C-AF145FC1C984","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":"Q2931276$971AC17E-DB49-4F34-9A92-8DD9459F0F84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931276$51222B46-88A4-4BC5-9A18-BAD151D6C44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7e593dc711413de13eb5341cee7b5af247a9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277727,"id":"Q5277727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931276$4B0FFF3A-B91E-46C2-BD16-F802F7967F96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9845ed08e2e8559906b0587f8ee22e9bd6add338","datavalue":{"value":"W2122293551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931276$ABB54C31-ACCF-4447-95AF-DFB79F80C585","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1d1b294a1c7e1f2dff43bc0288d75fb64afb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4559803,"id":"Q4559803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7381c5767b420e8b1022c93825a1eb59f05de198","datavalue":{"value":{"amount":"+0.8219783902168274","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":"Q2931276$7586B7EA-0010-4695-ACE7-D729B1749C4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931276"}}}}}