{"entities":{"Q5894196":{"pageid":7932737,"ns":120,"title":"Item:Q5894196","lastrevid":93535181,"modified":"2026-06-05T04:33:52Z","type":"item","id":"Q5894196","labels":{"en":{"language":"en","value":"Level mapping induced loop formulas for weight constraint and aggregate logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5870684"}},"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":"Q5894196$715E8ABE-994D-439F-844D-E664C693B6E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7af2783b177adfba2c0848008370486b046696e8","datavalue":{"value":{"text":"Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894196$00AE02C4-420F-4F03-A149-1A89342A8C98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8733ad3c3be84c02c0b6b36dbd209fd49677e82b","datavalue":{"value":"1211.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894196$A79F0339-751F-40E6-AF4E-C8A0F45205D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8e254b36bfe368ce518acbc5d4defa2604f9e63","datavalue":{"value":"10.3233/FI-2011-375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894196$23A42781-5A56-4323-8647-EB150D3ADEF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894196$E0683AB0-7B55-46F3-860E-808C9FD71F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01720ec455f5362686a09584171387b4ef996f50","datavalue":{"value":{"entity-type":"item","numeric-id":943126,"id":"Q943126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894196$90210926-7715-4F3B-95DB-CC5C64303692","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894196$611DA7C9-512C-4FFC-B440-C216E34CD9B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86a51260412b40e5c53c8066fdea67849229bf08","datavalue":{"value":{"time":"+2011-03-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":"Q5894196$4DD52EF5-53B5-4605-A53C-83E983CAA4C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894196$8E1A559D-FBFD-4D42-B704-6E1639870512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894196$EF67BE13-2605-4E5A-8A25-2D7C6C2A4D6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab41bc7e39cf11b9b501444014d0cf28c660edd6","datavalue":{"value":"5870684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894196$ECE5FDFE-8B6E-46E6-90A9-B3754DC3B79B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894196$59E2EA94-7306-46F4-B836-7979126F56A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554e7d94e535f9067a8106c37c3422e0273ee972","datavalue":{"value":"answer sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894196$222686D2-7119-41E5-A854-46D987F6C5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d112c2a78714415099a71c3d6b4dee34275d2e9f","datavalue":{"value":"weight constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894196$44EAB9D0-49BF-4AD2-AFAE-DF34E2C8F9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed2bd5c1c1854c2af97502b62623aa3585d1f33","datavalue":{"value":"aggregates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894196$17A90E4E-9E4B-4166-968D-B92FED61887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbacf101f993c3bc78daf14870413fc6ca5f629b","datavalue":{"value":"loop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894196$822F15F8-C0C2-47CE-8AB1-FBEEF0096B6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7103b15c521b95bdc07987ffe6ae6918b1b95d46","datavalue":{"value":{"entity-type":"item","numeric-id":16803,"id":"Q16803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894196$717599E2-17B9-46ED-952D-D29623BEBBAC","rank":"normal"},{"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":"Q5894196$5577D4C2-9BC5-406C-B6A5-B9DE134C1B88","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":"Q5894196$3AC5E406-FDA5-447E-8977-1205582910A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e447250359a0002e9d79a64f2cf546f2b286494b","datavalue":{"value":"https://doi.org/10.3233/fi-2011-375","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894196$972058C0-BDBA-4482-9871-349289932AA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d97c28dc85a7f201878139a4a036623c101707b","datavalue":{"value":"W4235671471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894196$EF56773A-454D-4E94-8A37-CC1577805880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b91fb33c3760012c3e6f9c50db1d09131b9bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5892566,"id":"Q5892566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35adf9b6cf02be334bed8655eb9dfe21d427f432","datavalue":{"value":{"amount":"+0.9999979138374328","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":"Q5894196$63C9A06A-9080-490B-8D5F-037713734A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"719f3fa0fc1af4228bc59653e58799e95f1a1862","datavalue":{"value":{"entity-type":"item","numeric-id":3643137,"id":"Q3643137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e8935d67f1329c0c4a36102226c133d74be9be","datavalue":{"value":{"amount":"+0.968234121799469","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":"Q5894196$F758361B-DF4D-4758-815A-F99B6E4EAC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594b4f36d1b15b4ef131899a018479e703944b10","datavalue":{"value":{"entity-type":"item","numeric-id":2845120,"id":"Q2845120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e7bdb229a125febe91f986b8a9d8ae66d7ae9b","datavalue":{"value":{"amount":"+0.7791842818260193","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":"Q5894196$AF086F82-0493-4E83-90E1-66429ACFEC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0ecb9418dced545f763742956f5f00e4cc6f48","datavalue":{"value":{"entity-type":"item","numeric-id":3643129,"id":"Q3643129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0f7a0eae0a1da181eb6253c69db20acf5ed35b","datavalue":{"value":{"amount":"+0.7750644683837891","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":"Q5894196$79C2205A-368A-4E62-8877-FB3F3F6790E3","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":"e11a40a707c67229eadc1e88515af7527ed8be2c","datavalue":{"value":{"amount":"+0.743506669998169","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":"Q5894196$004EBD0E-75E9-4084-9D62-91309FF4C57C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Level mapping induced loop formulas for weight constraint and aggregate logic programs (scientific article; zbMATH DE number 5870684)","badges":[]}}}}}