{"entities":{"Q2884258":{"pageid":2894983,"ns":120,"title":"Item:Q2884258","lastrevid":58040313,"modified":"2026-04-03T13:52:35Z","type":"item","id":"Q2884258","labels":{"en":{"language":"en","value":"On elementary loops of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038574"}},"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":"Q2884258$B0A46004-CD83-4229-AD1E-51D51F143F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b619839bf988e3b3ecc5290adb23db6028fce4a","datavalue":{"value":{"text":"On elementary loops of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2884258$2F82502B-9606-4262-BA82-11D0BE47F0A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ccbcc99d2b75b9a45b8ef92488049bbebb6cd58","datavalue":{"value":"1242.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884258$18CD9D9B-083A-4CEA-93E2-229F4707DE8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aadb72e7f487d34d4de63a9f5f9393032c3836fe","datavalue":{"value":"10.1017/S1471068411000019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884258$41A27E75-9DA9-4F83-B8D7-1C807A44BA8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"604a0d7fcc1e2c43b6e93347ac5f105e9bfc07d5","datavalue":{"value":{"entity-type":"item","numeric-id":498924,"id":"Q498924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$14C57FFD-D1A6-46FD-AE2F-A883EEB0F8F3","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":"Q2884258$2AC87472-5B33-460D-A111-A5551F5EB0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$0252D7BC-BDD1-4A24-99FC-F8AE66040B17","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":"Q2884258$7B900F97-0919-44F2-B768-81CDBFE080D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2884258$72674288-562E-49BF-B597-44ED8C999BAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23db79834b1bd5b9a79c00a0a2b6bb06035778fa","datavalue":{"value":"https://arxiv.org/abs/1012.5847","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884258$E4BC77C6-9442-4095-BFB0-963A1A3A8C0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884258$13DDFE30-744B-4D6F-9157-B848B2783112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06ed93f4858a2263d045ef464c28937e91cdfa58","datavalue":{"value":"6038574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884258$8104620D-705B-4328-A69F-4328F4921FC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884258$63E41587-8A1E-46AA-B4E2-C51B149B1F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbacf101f993c3bc78daf14870413fc6ca5f629b","datavalue":{"value":"loop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884258$96337C3C-5AB5-43B3-BFF5-CF4DD8ED7B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6787f3734c1df8601b196e5820801ead784fd2","datavalue":{"value":"unfounded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884258$6738005E-C610-46D3-B706-CBE2CDDD1EAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$067E245F-1F96-41F0-BC84-C451038053D3","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":"Q2884258$66AB9A29-C2E2-4531-B5C4-F01D80C41829","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"971827659a9b787383fcb93f2ce4a88c28fa1753","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$326623A1-1448-4E17-B75E-38C9E34B3646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$1FD2ED75-9C31-4A26-BE9F-A184AE0C26BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$DBC85930-36A6-49D5-8028-EA7188FEB8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594850dc0405a1933033f8a4b3024588f6ff29a5","datavalue":{"value":{"entity-type":"item","numeric-id":5277748,"id":"Q5277748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$0B5F37F6-AF4D-4636-9F7E-07985EE11928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$EF178699-C83B-4A4C-B5BA-D1EC0DB39EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$F81CBA61-F03C-4116-80D3-D2340C52168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d697ddf86a3473b0b0dddc263f10e314dacbbc5","datavalue":{"value":{"entity-type":"item","numeric-id":1363783,"id":"Q1363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$1B6D74BB-5FFA-4325-BBAC-0ECA05CBF731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c07e4811bb629b6ba7cf520dbc00dbdc1ef1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":4305625,"id":"Q4305625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$9166F742-17D9-439A-871D-F52D98D82733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$2B2E0AE8-9256-4B30-A03E-6930B6E1B808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b84fb72a5e99cafece9f80990ee6fa09c9899c","datavalue":{"value":{"entity-type":"item","numeric-id":3643117,"id":"Q3643117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$8350003E-3231-4D96-84DB-340161105C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e3684754825a081af253d8848c5fc38ec62d17","datavalue":{"value":{"entity-type":"item","numeric-id":2457644,"id":"Q2457644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$FF653562-F0B4-497B-9485-0FAC4FDDFE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021bd14c32884ddf08e98f38dd04ed6ed3c3e83","datavalue":{"value":{"entity-type":"item","numeric-id":814529,"id":"Q814529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$64B7C1D2-8820-4E6A-9883-DD302D3F5065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a570c48c6d97b419e37f9240e6e6b34a0f8f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5277741,"id":"Q5277741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$FCFAF59E-71EE-4932-8D01-CB65E0A6F360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$4DA744ED-D310-43B1-ADE8-9DAD979DCDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d97350253df6485906c2b23a8d941473677b97","datavalue":{"value":{"entity-type":"item","numeric-id":4208854,"id":"Q4208854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$48A0FCE7-8B6C-4B83-9F5D-FA6250275346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e5ecf93acb273e95bb4d921512be3105a4c717","datavalue":{"value":{"entity-type":"item","numeric-id":5445291,"id":"Q5445291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$F31D1F06-28E1-4194-989D-3C8A336A4D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b60c54d6600271e6c99fad99456c197b9359792","datavalue":{"value":{"entity-type":"item","numeric-id":5425405,"id":"Q5425405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$47B910B6-FC24-418F-B00A-3BE807A5FDD9","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":"Q2884258$468C0A15-8CD2-4CC3-B9AA-4C31814BB488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"665cd139b77049a4e84e7c5449c4455ad7c94ff7","datavalue":{"value":{"entity-type":"item","numeric-id":3400962,"id":"Q3400962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884258$6E7BB525-55DB-45F3-9DB8-91C03FA266F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b46334a7be65fd46094f93cd4a4bf2ec497607d","datavalue":{"value":{"entity-type":"item","numeric-id":5425405,"id":"Q5425405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1837723f458574b4320864b9391b8e904d72c5b","datavalue":{"value":{"amount":"+0.9215049743652344","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":"Q2884258$1B2265A7-FE48-4185-B7B6-94A57608F080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fe677d976495a0358ed4a4caab12474ffd6f37","datavalue":{"value":{"entity-type":"item","numeric-id":3400962,"id":"Q3400962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9eede04543b6b8266efba8076fc817d9cec3d7f","datavalue":{"value":{"amount":"+0.797696590423584","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":"Q2884258$0843BAFE-12B4-4320-AB94-2AE60E48876F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ab45491fb1da6419135530c8ad5cdf8e573cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5191497,"id":"Q5191497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd5f9cf9984d8dc86222ba7e95bf3a08bb2c0cd","datavalue":{"value":{"amount":"+0.7937982678413391","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":"Q2884258$0E9D578A-141E-402C-BED2-C7A734ABE47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43566ce457607a5e70390a3d4d67cde8e67afff","datavalue":{"value":{"entity-type":"item","numeric-id":5473960,"id":"Q5473960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d90b5693eee334be808cc274715dc3536f879ad","datavalue":{"value":{"amount":"+0.7916842699050903","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":"Q2884258$43163C41-43E8-4DBD-94FF-8BAD4E578D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0a36ff8f5ab7a97135e96ea61a8cc905ba38c2","datavalue":{"value":{"entity-type":"item","numeric-id":4649728,"id":"Q4649728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7c8158ae54a246328d9c1ad2728f0e9d5ab2a0","datavalue":{"value":{"amount":"+0.7566996812820435","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":"Q2884258$CD221268-D8D9-4DCD-B6FD-51532859F2D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2884258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2884258"}}}}}