{"entities":{"Q3636866":{"pageid":5666772,"ns":120,"title":"Item:Q3636866","lastrevid":80868125,"modified":"2026-05-06T17:11:02Z","type":"item","id":"Q3636866","labels":{"en":{"language":"en","value":"An Antichain Algorithm for LTL Realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571903"}},"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":"Q3636866$463017E2-89D3-4269-8FCC-B9C893134408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1ffb16259507ec9850bb4740234ffa0aede3cec","datavalue":{"value":{"text":"An Antichain Algorithm for LTL Realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636866$28A4502B-E17E-44A1-A28D-8805724E69D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d90c9ffe9409dc50965a53b74069ffc2cddf169","datavalue":{"value":"1242.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636866$8235C6B2-DD50-4841-89D7-9D0672C1E795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fbbca2ba06632a90601c688998318e34dab9a9d","datavalue":{"value":"10.1007/978-3-642-02658-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636866$483C169B-9FAC-4CD8-97B3-50B2F348F3F4","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":"Q3636866$A244DBFD-A44C-4A98-ADB0-6D9A9C89FCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ed3111fc16a680409ace34c2c72912c84571727","datavalue":{"value":{"entity-type":"item","numeric-id":453496,"id":"Q453496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636866$D89B2D47-2B69-4CFE-94BE-ECCFD712B726","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":"Q3636866$993271E8-3A70-4517-8095-42D2946D082D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636866$B4A420FA-A43E-4C15-BBB1-D853A924CACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636866$411BF258-02D4-48BF-BFE6-7A9F2A5C9FDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636866$CDA684EA-F61B-4E96-8C99-1CD53CB36433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636866$40D3811D-134C-49FF-B91F-EFC9111E0F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636866$F27CE90B-55CE-49FC-B140-081A94517A38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbae8df984805d9f5eeb2fe320d8b6dc9c15cb2d","datavalue":{"value":"5571903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636866$2634DAE7-8C5F-4CA6-8BDD-6E74DDB3A345","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":"Q3636866$14F86756-495C-4DDA-9494-0FC66CB0BFC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d48851998bb32cc0e34e1a34b94e611b112b46c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02658-4_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636866$045F87A3-3EAC-4D70-BE1D-645E08B7F82D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91a83694dc52127cf16add8b2b89eac2fd10e076","datavalue":{"value":"W2095620890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636866$207DAF9B-42FE-4676-A88A-9334EA5C6EFE","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":"6fd3d1ff900ca411198ff6bba81da8f47a1261c7","datavalue":{"value":{"amount":"+0.884401798248291","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":"Q3636866$25777DC0-9F63-4E4F-BC1D-97ACB0D75891","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":"31dd5bd7a098bd936e61faf8211dc3befab56ccc","datavalue":{"value":{"amount":"+0.7692867517471313","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":"Q3636866$7232034E-9ACF-4F62-9543-647BD9AA42EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6b166ecf7fd7445718355f002efa34eead7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8772c69e1cdfede0bc66f29be57f8d48f167cf1","datavalue":{"value":{"amount":"+0.7678226828575134","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":"Q3636866$08BED321-945A-4BFB-8959-1092D464A603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca69808ca49bbeecb759a32c5907eb7dcb7fc20","datavalue":{"value":{"entity-type":"item","numeric-id":3557062,"id":"Q3557062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d66f67dc0c064d5e113b4d045ecbed4d16643a","datavalue":{"value":{"amount":"+0.761694610118866","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":"Q3636866$BFBD89E0-55D1-41BB-86FA-7C86A6267EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693881802b6cc0f44eeff84dce1d07b729da216a","datavalue":{"value":{"entity-type":"item","numeric-id":5458321,"id":"Q5458321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eeee41b9ce10102ab019fefef1c5772da81031f","datavalue":{"value":{"amount":"+0.7596143484115601","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":"Q3636866$44E46287-7165-4EBD-B0A7-1BE8C5F8DC74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Antichain Algorithm for LTL Realizability","badges":[]}}}}}