{"entities":{"Q3304092":{"pageid":3314800,"ns":120,"title":"Item:Q3304092","lastrevid":53785925,"modified":"2026-01-25T17:30:01Z","type":"item","id":"Q3304092","labels":{"en":{"language":"en","value":"Action language \\(\\mathcal{BC}+\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228389"}},"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":"Q3304092$CDC6470C-FC67-4648-8EBD-494A48B1C206","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9f589365af2c20a55fb1511f0934e2953e0a6b0","datavalue":{"value":{"text":"Action language \u212c\ud835\udc9e+","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304092$55BEF6E8-63B4-4501-BB1D-996D24995F65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4cf9eb541a9765b7c8bafd069b27b97a6747b31","datavalue":{"value":"1487.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304092$8CB3F1B7-0E72-4469-8754-0AA1EECB59F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9a9db575f158311b11f6493448305dca6242f06","datavalue":{"value":{"entity-type":"item","numeric-id":2851239,"id":"Q2851239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304092$87D3B246-8C70-4F53-929C-3C23201F81D9","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":"Q3304092$0F934534-77E4-4EE1-A8CC-1FDDAA057922","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":"Q3304092$44AECBBF-4D64-475D-943D-2F66B8E68F69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304092$2A3BEC55-1B80-4D96-8591-9AA810BA5146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304092$9ECF7B0F-1747-4365-A832-21852441523F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304092$42E385FB-83B6-473C-82DD-3E6BC0B4FD49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008c91fbfa73b7d75705860ce3bab93174508067","datavalue":{"value":"7228389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304092$D5F55971-D51C-45E5-93AC-F9E4052EB909","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8872a18571c151afe129c8e6d9bbf314da1f5f1b","datavalue":{"value":"action languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304092$A6D57786-1439-481E-9451-2CC968A3C057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304092$6CA0203F-260E-4B42-AB73-DAADCBB1BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304092$20FBFC6E-50E0-46C4-93C3-A3A05E5E645C","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":"Q3304092$024DD60F-327B-4293-8A14-21DC3549DC3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c071aadeff8a7e53ea267915d2295242b63b79a","datavalue":{"value":"https://doi.org/10.1093/logcom/exv062","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304092$9771A44E-C245-460A-AD6A-BF12C95D7821","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b088c36e802aceeb36c90e284487ded89e3988a","datavalue":{"value":"W2236684210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304092$EE327827-5B87-4573-AF71-ABF820821FF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75efbfd647959978e74177fdef8d4eaf265556a5","datavalue":{"value":"10.1093/LOGCOM/EXV062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304092$B6D3CE6C-4CB1-46FC-9729-1BA6A2E76E99","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":"Q3304092$30A1EB91-34A9-4E26-A535-9416A75DB350","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a900a9f637e2089c9b3a6bf63a9626049845c47","datavalue":{"value":{"entity-type":"item","numeric-id":4559817,"id":"Q4559817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e8c71fa65501fd3285e6ce79bb93db4476e2a0","datavalue":{"value":{"amount":"+0.8249607086181641","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":"Q3304092$11BF937E-2949-490E-824A-76E8D8DE774D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36861e853d519be7a226215d39de50f36ec0d2a4","datavalue":{"value":{"entity-type":"item","numeric-id":2900536,"id":"Q2900536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d31f505a59bb19ef593a9a96a59bd216a7b7efd0","datavalue":{"value":{"amount":"+0.811866819858551","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":"Q3304092$337A8534-F6AA-4654-A7BB-AB2C81703802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ad72d1c8af0d07d43a76861265518f06ca5cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3449194,"id":"Q3449194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac13bce3fc296fd6fb72a33f392400e73a22896","datavalue":{"value":{"amount":"+0.8100376725196838","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":"Q3304092$84B4736F-1F02-43C8-B906-19360B747160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f2c8e0e2f8840ec86ee7de8ad2cdd7a83a7c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2851240,"id":"Q2851240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6a57406ad345c9533636c24875ef358db3aec0","datavalue":{"value":{"amount":"+0.8013917803764343","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":"Q3304092$41BEF7B8-6B94-4C79-B903-6A62250CDCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390955ebb9205f2771ca64d68dd569732847d96d","datavalue":{"value":{"entity-type":"item","numeric-id":2909140,"id":"Q2909140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4166d06d1f1552eabb5dab3637afe13659ef3316","datavalue":{"value":{"amount":"+0.8011470437049866","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":"Q3304092$BDD815F1-9557-48BD-8B67-0DB1F583077A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3304092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3304092"}}}}}