{"entities":{"Q4902316":{"pageid":6931895,"ns":120,"title":"Item:Q4902316","lastrevid":51631736,"modified":"2026-01-19T04:07:25Z","type":"item","id":"Q4902316","labels":{"en":{"language":"en","value":"Synthesizing concurrent programs using answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6125407"}},"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":"Q4902316$8E5B9765-0820-4E09-8A1D-27001B315068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"683c6ec5870df7c73e4ffaa65448ce953d3008be","datavalue":{"value":{"text":"Synthesizing Concurrent Programs Using Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4902316$4C8C9A4E-4443-4C5F-B457-BC12C6D71D9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f61b5b969e05430b7907f4324de6889e01ed38ca","datavalue":{"value":"1256.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902316$AE324E28-0CDE-4BD8-B893-69ACCD0C311F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80e7b69b2ebe1f31e4b90d0b07775798b27d3370","datavalue":{"value":"10.3233/FI-2012-758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902316$6F92018C-749C-452A-8101-4834391F2885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902316$F9CBF4C7-4F55-423C-BF2A-4006E495E1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902316$9637CE58-F999-44DD-A17D-EAC60E233741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902316$83910CED-B009-4BC4-9054-FB0468CE6654","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":"Q4902316$96AA4317-A900-45B8-9141-42C9F2D2C8BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4902316$75F6B8A4-3CB4-438C-B026-1A0AFFBC7C2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902316$803D99D8-4383-466C-9EFA-F9ED7B07767B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902316$6F908A67-7287-4C5C-8F39-EB5B77720650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"690a400c8c0f10b4641a491d155c9e93073da623","datavalue":{"value":"6125407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902316$646E7721-771C-45CA-88D7-1A807E13E5DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32e14689e40b401cfcd782d7a687eeb79f99624","datavalue":{"value":"automatic synthesis of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902316$3149941B-8377-4B5F-A2CA-661497668F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902316$58CEB8C5-9174-4BD9-968F-FAEDD5C9429C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902316$A7E27D48-23E3-453E-A7FD-1633F0CF564A","rank":"normal"},{"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":"Q4902316$A27E0B63-6551-4BD5-9AD3-A174F1A17854","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":"Q4902316$E4A704EC-F5EB-4550-A0D1-71A03CF8BC83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4befb33ad77d88fb96ae315b014e5a8242f81732","datavalue":{"value":"https://doi.org/10.3233/fi-2012-758","type":"string"},"datatype":"url"},"type":"statement","id":"Q4902316$E39448A6-1B7A-4B41-A021-43E29F3C4CE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ff929b9effbf211902f1c1806b8058dc288e55c","datavalue":{"value":"W1911031955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902316$1C75C648-6725-4BA8-A891-D7771E68EF12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00d46925730f34ff106c05dba1d02271431f3cb","datavalue":{"value":{"entity-type":"item","numeric-id":5395079,"id":"Q5395079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45594c00cf46bd082c2158112c276bd9529714a6","datavalue":{"value":{"amount":"+0.8146999478340149","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":"Q4902316$12A51FCD-F690-4D26-B361-A72E46F4DE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34eb3e48a9cc40a864671b5821b71b2bbe0535eb","datavalue":{"value":{"entity-type":"item","numeric-id":3172943,"id":"Q3172943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4ed092516d03bdfdb274b2d86382b835847dfa","datavalue":{"value":{"amount":"+0.8124173283576965","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":"Q4902316$8BE675DA-DFEB-4B38-8E95-57356A9EE103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7947db12a37086a05314e704d4010b4a2455d1a6","datavalue":{"value":{"entity-type":"item","numeric-id":4270054,"id":"Q4270054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28388e68cd279b52f1aac3b757fe8dcdf92e81a","datavalue":{"value":{"amount":"+0.7882030010223389","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":"Q4902316$9E71C5CE-A003-4EDC-A6E8-B0E676B3DE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421940e95db26cdd0db128bbc9b5797a786499d6","datavalue":{"value":{"entity-type":"item","numeric-id":346790,"id":"Q346790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcbaced557e2b1b44500e950a02e999edb5b85f","datavalue":{"value":{"amount":"+0.787242591381073","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":"Q4902316$6B95BA76-F55F-4D30-93FC-77F0F2EBFE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca81c6c826c25971e42b74db267355aea174c14","datavalue":{"value":{"entity-type":"item","numeric-id":5097626,"id":"Q5097626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173ded46dd0f5a3182fcc3dbcff29e5050ed1b33","datavalue":{"value":{"amount":"+0.7806231379508972","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":"Q4902316$38C1AAB2-30F3-4D7C-AC5E-B89B501B099A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4902316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4902316"}}}}}