{"entities":{"Q5326323":{"pageid":7355897,"ns":120,"title":"Item:Q5326323","lastrevid":58520136,"modified":"2026-04-05T14:04:29Z","type":"item","id":"Q5326323","labels":{"en":{"language":"en","value":"Synthesis from LTL specifications with mean-payoff objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194833"}},"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":"Q5326323$9300BFE8-65EB-42FC-B7D3-2FB3DE715E8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be04b546bf009fe991df36947376c5fdad199e88","datavalue":{"value":{"text":"Synthesis from LTL Specifications with Mean-Payoff Objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326323$8AFF9B62-3681-4026-8403-4E96EE8B81F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"488d8c23ca23406d8b0ca4153445f664fb52f72d","datavalue":{"value":"1381.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326323$1BEB0229-74B4-4461-825A-6A6AB21E6B78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dbb38a2e1eccfc182507324d8aeae33aa40fd56","datavalue":{"value":"10.1007/978-3-642-36742-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326323$C8CC9953-2D10-4525-AD7E-7797CD753809","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9b7f75816f6fd258f22d65b2970e1b78d4bf35b","datavalue":{"value":{"entity-type":"item","numeric-id":2407981,"id":"Q2407981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326323$41EC6587-ADBD-4637-BB8C-4CB34E933F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326323$7E33AC4F-B27F-43E2-92EB-67EFB4332500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326323$8B0A19A0-8323-4B43-9B30-809DBD261BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326323$119B5E90-E32C-4BCD-BC5F-74E592DEDF32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326323$2FED3352-3FE7-44E2-8EF9-0E7528DBADA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-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":"Q5326323$7896A7D3-152B-48AC-BB29-F5AAA45AED38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f49b74e45a7b166866e765111dd00db2d5f4a4cd","datavalue":{"value":"https://arxiv.org/abs/1210.3539","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326323$21846C69-65B8-4186-9ABA-E233434F4E01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326323$0618D50D-9F23-4509-A449-ED0E0B21BF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326323$12623F62-5A3C-4AC1-8ACE-B58AFDFD826C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94674a5c75bc6c466c3c1d1c74e06ffdd103d4f3","datavalue":{"value":"6194833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326323$1231A02F-B7E5-4C96-85FE-16CBAF87AD0D","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":"Q5326323$1F428D86-F6AB-464C-A751-389F11B990F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b06ee86dffb62304ce0b474c1ac7258971995812","datavalue":{"value":"W1782528461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326323$4259503F-51EF-404B-91CB-0A5B33D0A50F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a63c2884cbf58bc139e6d746415ff2bd453333f","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26b988118f4ef25db64fe52a1eeefaa84e4ffb6","datavalue":{"value":{"amount":"+0.8309740424156189","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":"Q5326323$4C2706F9-62EA-4DA2-85C7-3364B6E6A9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce0e33a08c66a7f453accdb04fe75261b6bf480","datavalue":{"value":{"entity-type":"item","numeric-id":1674867,"id":"Q1674867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8176ab8f78e1eab248d7fef60e5282fe73588f93","datavalue":{"value":{"amount":"+0.8069711327552795","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":"Q5326323$F25ACDE3-190D-4653-9981-A571C61EA1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf658730e9a48c423dda7e0d7cceebe191f0983","datavalue":{"value":{"entity-type":"item","numeric-id":4931287,"id":"Q4931287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03147e4e5d1a4347d6c66299ca0f2d048b7530c","datavalue":{"value":{"amount":"+0.8029552698135376","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":"Q5326323$86D27D5F-17AA-42F2-BE8D-B3976C5C2404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fa1107f8b9bd660c161dc4409122d478a016bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232b8dd74e764e03edfe00fc260dd25b83c97b72","datavalue":{"value":{"amount":"+0.8006323575973511","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":"Q5326323$AD160A96-052F-492D-B982-0AD58B3C3D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef729d20963c97b9e0d471d5c446dc0f0dabbd12","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaccb5a67dbfa2d20c387c2502afdd1d0c71591","datavalue":{"value":{"amount":"+0.7966622710227966","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":"Q5326323$AE1660C7-CC00-4C17-8CC4-77211B6DC621","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326323"}}}}}