{"entities":{"Q3304093":{"pageid":3314801,"ns":120,"title":"Item:Q3304093","lastrevid":53785928,"modified":"2026-01-25T17:30:01Z","type":"item","id":"Q3304093","labels":{"en":{"language":"en","value":"Declarative encodings of acyclicity properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228390"}},"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":"Q3304093$DB494AF4-6423-457E-84BD-3907D53AE42F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a245fe0855e03cac9ff6e8a86c6afe765c41c257","datavalue":{"value":{"text":"Declarative encodings of acyclicity properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304093$6DAFC71B-2C90-474E-8F6B-03A098BD47C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc74ee7987db618ad503201a23440225db5002b4","datavalue":{"value":"1487.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304093$7A5A673C-DA61-4ED4-B070-2BD56B38C74B","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":"Q3304093$74D21A30-C6B0-4D2E-ABB3-19E968A073BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304093$1B392914-2C3C-4432-BFFA-1F13E3C900A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8772e17b45726a7a4057c2fc4b665ed88724c35c","datavalue":{"value":{"entity-type":"item","numeric-id":359983,"id":"Q359983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304093$4C89BEFF-CF79-44F2-9DD0-4F3C29C67BC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304093$C2F068F7-1CAE-4357-AB86-E87504A396F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcd7db2c1374bd2e9889313711f85cc8865c071e","datavalue":{"value":"https://aaltodoc.aalto.fi/handle/123456789/35008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304093$4F93D6AD-D338-44DB-BAC4-32913AA21A6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304093$66C0A3AD-4ADD-44D3-A998-0CC97E60A339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304093$CDFE6396-97FB-4CD4-B668-D0499ADFD738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a834691f45fcf086f43f4600f25f2a227bbe612","datavalue":{"value":"7228390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304093$6627034D-C7DE-4380-A187-F3CBB0A02717","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0d517b5ef8e39866e3e99fc590e05d0173a1840","datavalue":{"value":"acyclicity properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304093$613BB4A5-C229-4BDE-AF74-15BE7E51C52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27eeb5846aa65a8b31db78940679578e1ef59f03","datavalue":{"value":"logic-based modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304093$C786A488-D5FB-449C-9907-324C58DFA056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304093$F6BB8C5F-30A6-4C99-8D88-D5368E639CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304093$206046BA-0DF5-4F43-8B70-3C9121BC730A","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":"Q3304093$1E185938-ED6B-492A-B9A0-4D762700EE9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8728abd57f3b3a6a08bb78dcb9ea5cb61d8bd277","datavalue":{"value":"W2140752558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304093$D5D72601-29FD-4E6A-B130-449417B90483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f8758ef9f6d1f3230484a6cd245a08310690036","datavalue":{"value":"10.1093/LOGCOM/EXV063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304093$106ED31E-A660-44D0-8D06-DA12D1332ADD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304093$CED57DFE-1338-4A72-87A0-5D8FC9F37E73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fc5db32cb3baa4b88b7f21442c4e45ff9b0f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3449199,"id":"Q3449199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046be2708bde02ac682c58946b0eaf464037872e","datavalue":{"value":{"amount":"+0.7193232774734497","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":"Q3304093$7EB2D234-A6CC-41AA-89EB-6359EDF1774B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b41272ab29c2535dbc5809a650a65400a31c553","datavalue":{"value":{"entity-type":"item","numeric-id":4589188,"id":"Q4589188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb60142bbcc1ae85b8577222f958c47d97da2ab1","datavalue":{"value":{"amount":"+0.7096664905548096","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":"Q3304093$D10916AA-3359-4E80-AFD8-190BF90F75AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407180dc80f41b81e885c3f01cd5e3e4ebca7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2798264,"id":"Q2798264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4f27507a025f048659fc404fbbe03a6802960d","datavalue":{"value":{"amount":"+0.6837806105613708","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":"Q3304093$6DDFE83B-A836-45AB-B5FF-3B9B78773BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c17366d4245808450aec390b9d48257e9fc0675","datavalue":{"value":{"entity-type":"item","numeric-id":2938490,"id":"Q2938490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03083c2266f58a65cb923afeb55d82160336275a","datavalue":{"value":{"amount":"+0.6663632392883301","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":"Q3304093$08BADA73-C717-4C1D-A3A8-EA7CEC691BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b02413031d84bc22d77a59654c1b7bed3e83ed","datavalue":{"value":{"entity-type":"item","numeric-id":4707773,"id":"Q4707773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05de685e84f2d2e84bba63dcae45ed1bffa5a7b0","datavalue":{"value":{"amount":"+0.6587892770767212","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":"Q3304093$2FD18FD7-8055-4D75-9E46-0FD1B7AFE7B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3304093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3304093"}}}}}