{"entities":{"Q4931287":{"pageid":6960869,"ns":120,"title":"Item:Q4931287","lastrevid":51096941,"modified":"2026-01-16T15:55:25Z","type":"item","id":"Q4931287","labels":{"en":{"language":"en","value":"Compositional algorithms for LTL synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795625"}},"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":"Q4931287$7C5AD4F0-80AB-4572-B3FF-0DCB1AFBDCB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcf61e4b28c50526b209139bf4fdbf1085b82e54","datavalue":{"value":{"text":"Compositional Algorithms for LTL Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931287$1F84805A-3655-4D7E-8143-53F488228E03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ffba5a6a058ca39163ebe0f8efd751fe9d183a4","datavalue":{"value":"1305.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931287$4423242E-B7B8-47E5-89CF-D3EDDB0DB6F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1947ea7cb9600ecf4fce4716b6960a4f3c6fefe","datavalue":{"value":"10.1007/978-3-642-15643-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931287$ADC1019C-7024-40A8-90D1-5111BB815CF2","rank":"normal"}],"P16":[{"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":"Q4931287$B232B322-D675-4449-B085-565E1AEE89E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e1ba7c54a11878364b68f086ceaa6aa1af5f2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4931286,"id":"Q4931286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931287$623D5085-C93F-43FB-80C0-7CBB0C026A54","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":"Q4931287$C6CBF804-5EAD-4A4A-B2F3-1B3D14AE6484","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931287$497CB519-2E6C-496C-842E-46ED66C234D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931287$FC56B3E0-C373-41D1-8790-E58B742CBAF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cca89e94b63bea5893176b8ba7bcf9d99991ecba","datavalue":{"value":"https://hal.inria.fr/inria-00509966/file/final.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931287$8B742E74-985A-4C4C-8267-B969F6DE57B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931287$9983DE31-9484-4E35-816C-971D623BE9B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dacc40c748695baaffd90d805c5bfc4b7f9849c4","datavalue":{"value":"5795625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931287$D91D6782-2814-46AA-8284-A43764C431F1","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":"Q4931287$8DBC134B-18CE-41B0-B1D9-8F49DA9F89A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb1e158ef51cb1accda9a5eb360f20ba7a5c9d8e","datavalue":{"value":"W1499119186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931287$70F33A4C-F7FD-46B7-9D3A-6ED8F8593281","rank":"normal"}],"P1643":[{"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":"fab49cb8ce6dd5e802336a50d91a6e3336fdc4de","datavalue":{"value":{"amount":"+0.8774351477622986","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":"Q4931287$85E8B8B4-412C-4C7F-9433-316E2A8FBB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa86de10144a4010f88c0aeab80cb20d4b77374","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3252f14bb8eb00d80b13ad4a2bd72e68912c6d","datavalue":{"value":{"amount":"+0.8530585169792175","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":"Q4931287$CD1FCD45-F854-4398-8F35-CCBA3BA8B532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18ba10a8f5acd460c746708e553ea1ac263efa","datavalue":{"value":{"entity-type":"item","numeric-id":5452725,"id":"Q5452725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7554882fcb418e6291309abe38f2a40675df543","datavalue":{"value":{"amount":"+0.8234023451805115","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":"Q4931287$244A072A-9363-4814-B7B6-DE54AC22AA54","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":"6edbee1c0a40b93bdd82fb403dafd41be44c0e32","datavalue":{"value":{"amount":"+0.8225529193878174","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":"Q4931287$342283BB-8078-4E52-A123-FF1ECE7D5C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cd6758cd856175c83bb1fb211f714f8a734a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4818752,"id":"Q4818752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2824f8b1510747991d7f08053f62b33af97d22e3","datavalue":{"value":{"amount":"+0.8064799308776855","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":"Q4931287$A54A69EE-F84F-42A6-8E5D-C187D1778D36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931287","badges":[]}}}}}