{"entities":{"Q5452725":{"pageid":7482284,"ns":120,"title":"Item:Q5452725","lastrevid":50327381,"modified":"2026-01-13T20:12:00Z","type":"item","id":"Q5452725","labels":{"en":{"language":"en","value":"A Hybrid Algorithm for LTL Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259573"}},"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":"Q5452725$FBEE8B7A-687E-459D-9457-75A43AFD1B83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c61523293d952565a56b8183afcc6b1e540ab53","datavalue":{"value":{"text":"A Hybrid Algorithm for LTL Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452725$D39B51AF-84EC-4BA1-81C2-D04AE051A287","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb808597c454aed22add3eeb085b37b7a2fb76e5","datavalue":{"value":"1138.68459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452725$59248140-524A-4743-BC5F-EAC0A99A4BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f867061c9f5b5c190899a2e315205cfc4985c4ab","datavalue":{"value":"10.1007/978-3-540-78163-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452725$E1F839AE-EF44-47E2-9011-6D950A8D017C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf4436deb3b9bf2c8fff60b85e18db216b3e6e1","datavalue":{"value":{"entity-type":"item","numeric-id":2233122,"id":"Q2233122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452725$4D73D79A-26DF-49E0-A203-58DA6E808276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f58cd250110bf59c28a29d5e30b88533180a96","datavalue":{"value":{"entity-type":"item","numeric-id":832299,"id":"Q832299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452725$4B9F0C72-5BBC-43DF-815B-6FC5BE2627FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9240aebf8b80b45db3dda29786f7d64e73cea59f","datavalue":{"value":{"entity-type":"item","numeric-id":2505626,"id":"Q2505626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452725$EFFE0BFB-02C0-4218-814A-C2A7064CEE7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452725$98BEFE64-A2CD-4932-8FA5-A99DBC4053D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-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":"Q5452725$ACD0B51E-63AD-4E2F-98BA-FFEC20FAB8AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452725$CF1B1EBB-BBAF-4E88-AB90-6FBC3745B943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452725$7C30EB85-543D-4086-8FF2-BF72FAAF9271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452725$31A5B84E-DD95-456A-A2F3-CA9FD958EDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452725$2E75B7D0-0BEE-44D6-9CC6-ABA457F925B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd34df0dac28fb49580abc0bf3d4ab7d9d2bfb1c","datavalue":{"value":"5259573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452725$31BCEAF2-F80E-4CA5-8A5D-0238B74CD673","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":"Q5452725$92C39C9F-A0F2-47B0-9F8E-66679316D38A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b68e28d70693d1c5fc36c384336168b1c96debd","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78163-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452725$261F4C1D-DAF9-4015-BC32-AFBF0AD90DD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ced6e77558861fd9afb40ae25801230d03a77af","datavalue":{"value":"W1568412951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452725$59FEAAF9-BD68-4A6A-8085-75801A7A9657","rank":"normal"}],"P1643":[{"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":"93c74cb9060a5c29e49409abc0a2bda4063518ef","datavalue":{"value":{"amount":"+0.8638830184936523","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":"Q5452725$0C0B5A0E-78C7-4B7F-9A14-8D482A735628","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":"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":"Q5452725$C38E7152-6ADD-4660-8D15-AC422D0F6772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce361145fd3258059c51e9d3c3bbe938152c85b","datavalue":{"value":{"entity-type":"item","numeric-id":2303871,"id":"Q2303871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6256d929d0747236acf79b6df1a7bcb5905a84b","datavalue":{"value":{"amount":"+0.8174852728843689","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":"Q5452725$D307118C-2912-4762-873D-FB25B61209B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfad0cf6be9144b760913e6b9c907740b7ef924","datavalue":{"value":{"amount":"+0.8048900961875916","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":"Q5452725$931F4DA6-244F-42A8-9063-4F5EC036EB93","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":"53243791136bc1e01357cedd901e74e64288e8da","datavalue":{"value":{"amount":"+0.7920839786529541","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":"Q5452725$9B2D8D2C-2A0A-4B9F-B036-B955DE626CBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452725"}}}}}