{"entities":{"Q4911145":{"pageid":6940724,"ns":120,"title":"Item:Q4911145","lastrevid":58359459,"modified":"2026-04-04T21:18:51Z","type":"item","id":"Q4911145","labels":{"en":{"language":"en","value":"Module theorem for the general theory of stable models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144695"}},"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":"Q4911145$B1771E1A-3130-400F-A347-E89C0BD39BEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"109b272286f20aa0bf8c3dece3c104497a6044fd","datavalue":{"value":{"text":"Module theorem for the general theory of stable models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911145$CF7846EE-1A3C-484B-9B26-2974403789FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c957dc52e75c264c8509cc3af7f3c073327cd4e9","datavalue":{"value":"1261.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911145$95CC813B-0FE1-4E0A-A41B-0D5793B2E2A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a41429c92fa95e5b0c56ec883ae0f464bc2c0ef","datavalue":{"value":"10.1017/S1471068412000269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911145$08D3AE7B-7122-434B-A5CD-A1D40CBA8B70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9a9db575f158311b11f6493448305dca6242f06","datavalue":{"value":{"entity-type":"item","numeric-id":2851239,"id":"Q2851239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911145$E55FFAE9-7772-4D66-943D-5F93B05BCF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c9c5d3a5c6970817c5db0cbfa66d180e46194","datavalue":{"value":{"entity-type":"item","numeric-id":543595,"id":"Q543595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911145$FBDA669F-610E-4D7E-8D0C-C17FD3FBB290","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":"Q4911145$7C15ED7B-4059-4DED-B1E6-7345E7B9525E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4911145$B8679573-90A5-42A5-B2A3-D6E94BCD512D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2696f454d51cf12987ecaf1e0c49f45d8c7ac81d","datavalue":{"value":"https://arxiv.org/abs/1210.5222","type":"string"},"datatype":"url"},"type":"statement","id":"Q4911145$1047C186-DDC2-4483-A0D0-D6C970F718DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911145$16EDEC2D-963C-49E1-A260-8775DCF1FF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911145$2ADB7D61-F97B-46E2-B0AD-23509C2982BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75ba32da837e43822e806d2f41624e3d6efbf013","datavalue":{"value":"6144695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911145$0C9287B3-B2BE-416C-AC9A-CD1E52C29807","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911145$36CB8366-82B5-4386-8BB9-4430A9B0C3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"347d8a87951f10460b9d645b7bc004fe0a1cad94","datavalue":{"value":"module theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911145$DD961FED-9DBE-42CB-A821-9FDA8481FC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ee39ce23aedba297e27280f81bdc61ab657257","datavalue":{"value":"splitting theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911145$DDA9BAAD-E63E-4EB7-A06F-3995C71D61FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a4349fcada2ed471c952ae9f37b967cb7efdb9f","datavalue":{"value":{"entity-type":"item","numeric-id":21304,"id":"Q21304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911145$359DDD74-0647-4FF6-B572-5E2B6DD5D2C8","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":"Q4911145$51C71EA6-0DC9-41A2-87D3-3A81A77731E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e615bffb4f0dfd571518c624710350f2307d39ae","datavalue":{"value":{"entity-type":"item","numeric-id":3003243,"id":"Q3003243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911145$A4E42DB4-8D82-47C5-9CEA-1FB9A29C751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911145$3C65E575-D46B-4D2D-AF8D-D1E5B6E4E95D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfa0cb04ac5606c1bba303bc47b6e37bcbc8389d","datavalue":{"value":"W3101554965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911145$54E7EF2E-11F8-4030-90D8-23C72DAC12BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491483e2b3bb374a1b9830164eabc7d55377d656","datavalue":{"value":{"entity-type":"item","numeric-id":3651481,"id":"Q3651481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187dce4c3c4f235632bcf08ede4e7eacd34bbaa9","datavalue":{"value":{"amount":"+0.7903135418891907","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":"Q4911145$33A15576-A2D2-45AE-8050-286F8973F809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e845172293275b484e820b2407bb8f3ef3f39","datavalue":{"value":{"entity-type":"item","numeric-id":5425415,"id":"Q5425415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d17b399b2a0c07139fca3d708defef95c1f391e","datavalue":{"value":{"amount":"+0.7889431715011597","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":"Q4911145$644A84D9-9621-4E90-951A-956764C4E27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e384c2174861cfff8414705b5fec3bdd11dbe5","datavalue":{"value":{"entity-type":"item","numeric-id":5425407,"id":"Q5425407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2df9ca9478d8bc24e95886f25e99481d6724eb6","datavalue":{"value":{"amount":"+0.7817742824554443","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":"Q4911145$3F815D31-FFFD-472A-B5EF-AA267EE8646A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"299b6c888fc0bfe6cea9dec8453cfc2a61ba88c0","datavalue":{"value":{"entity-type":"item","numeric-id":3546042,"id":"Q3546042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567aa8a61ea1017d9fcdebb7ec4e21f1a86c0000","datavalue":{"value":{"amount":"+0.7739307880401611","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":"Q4911145$9B0CA8E5-DF6E-49B1-8A22-7CD9148726C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e4539e786216550b7dffb649af2952059f863b","datavalue":{"value":{"entity-type":"item","numeric-id":4649729,"id":"Q4649729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499f9c7fd4e39f15c03362df28342a2736ae1d4b","datavalue":{"value":{"amount":"+0.7476924061775208","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":"Q4911145$343EE77A-E380-4EF3-81F9-0BC31B6D558D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4911145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4911145"}}}}}