{"entities":{"Q3089164":{"pageid":3099879,"ns":120,"title":"Item:Q3089164","lastrevid":86177363,"modified":"2026-06-03T15:48:25Z","type":"item","id":"Q3089164","labels":{"en":{"language":"en","value":"Embedding functions into disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5942147"}},"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":"Q3089164$443FA4AF-E92C-44EF-8C4E-6976427806FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1548b6f22b6be051a9bb18f79323f05d39b24b3a","datavalue":{"value":"1219.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089164$F9C1235A-3572-45D9-A199-446F3AFD758C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5a6d28082a823e55db83339b2b8bb853ec164ff","datavalue":{"value":{"entity-type":"item","numeric-id":645080,"id":"Q645080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089164$5A7C7AD9-159E-4089-ABCD-C3AC9A11613D","rank":"normal"},{"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":"Q3089164$4D6BEE3D-B9E3-4A42-9F5C-F9A66137BE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e376b847624c1c17500963ff943ba55894bcbd","datavalue":{"value":{"entity-type":"item","numeric-id":645083,"id":"Q645083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3089164$2198FCF0-187C-4F0A-B0A0-C9268C70D831","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b583fe8af21fcb70fe55f9de31b79b22d333e7e","datavalue":{"value":{"time":"+2011-08-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":"Q3089164$1FB5EDE0-53D3-4A70-A2EA-94DEB7028EED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10e3df77fffad369300fb58547a56a485909699e","datavalue":{"value":"https://www.mat.unical.it/ASPOCP09/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3089164$5C1232BD-01B0-4218-BC87-9D95675DC44B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089164$B7BC287F-64AE-4670-AFF0-8541012F4C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089164$73484579-D97D-407C-AE1B-86CE7B7EAAE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"456f285ba874f3a5f5b06877aa929e80556e978b","datavalue":{"value":"5942147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3089164$B0F23F81-7926-4FAE-A714-55AFD6F74942","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a8a1cafcd9883948f26bfe74a08d66a0eb9a8e","datavalue":{"value":"completion and loop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089164$6E5CD4D4-D4AB-4AEB-9736-41C1CE7B7215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205b6a0b58366abe926600f98c6f60702628585d","datavalue":{"value":"normal logic programs with functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089164$2779C611-C5B0-4A82-AF7D-6C8E78D0A5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0455910bd255bbb8b513238c1f3706fe3d365ad7","datavalue":{"value":"disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089164$FC3F94A8-4A2B-40D4-900E-AC380333ED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089164$8243C59B-A18E-4BEA-AD24-AA14C7978B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6868dd13c2b99196afb4cdfb6cec80e35d3629","datavalue":{"value":"FASP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3089164$0C642D82-5CDF-4582-9E06-564458EF390A","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":"Q3089164$97F51B1C-E243-4720-AFA7-0EF495DD8CE0","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":"Q3089164$34AE4629-4EEB-4A6C-89F6-713BE9963D77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7652043c6defbf63abdf6ed6a894cb2bd1b0306f","datavalue":{"value":{"entity-type":"item","numeric-id":2851918,"id":"Q2851918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15793af8a24e23f90aca6ece905558bef6b858d9","datavalue":{"value":{"amount":"+0.998707950115204","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":"Q3089164$8BC74093-8079-4013-A25C-0F66D6CC9A84","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":"793972510732356ba3ba0579492611b5132d2770","datavalue":{"value":{"amount":"+0.8439570665359497","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":"Q3089164$4C7FA9C7-A490-4B79-B700-5BE1BB2C7CDE","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":"a9ff5c650b93b549e0d96dc75f3e1f2eabfccd7a","datavalue":{"value":{"amount":"+0.8151143789291382","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":"Q3089164$1AD34C52-E550-442A-92C9-07B48F937B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa462a9dfabb62c953496b2f91b2a585d8732c47","datavalue":{"value":{"entity-type":"item","numeric-id":4371993,"id":"Q4371993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4064c98995025dbc1974311f1b7c55e7eca5dab","datavalue":{"value":{"amount":"+0.7936933636665344","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":"Q3089164$ED6AD025-A78A-4124-B50E-6C6578FBD5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2226f416d0673ac716e3bc8e74166cbc37100e81","datavalue":{"value":{"entity-type":"item","numeric-id":4812969,"id":"Q4812969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e98a18c24ad07b4a8a561e4c18298655c3e108","datavalue":{"value":{"amount":"+0.7872949242591858","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":"Q3089164$FF38FDB6-CB67-45F2-8FB6-0FF11BF6C869","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding functions into disjunctive logic programs (scientific article; zbMATH DE number 5942147)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_functions_into_disjunctive_logic_programs_(scientific_article;_zbMATH_DE_number_5942147)"}}}}}