{"entities":{"Q5015286":{"pageid":7044863,"ns":120,"title":"Item:Q5015286","lastrevid":92036633,"modified":"2026-06-05T00:42:17Z","type":"item","id":"Q5015286","labels":{"en":{"language":"en","value":"Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7439747"}},"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":"Q5015286$C9EBDBD6-0BC7-4872-BD60-CF0FD785428A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de2d8cbffdaa5b670ed287b95642ffadb5c46ae7","datavalue":{"value":"1478.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015286$FC45500B-638A-49D6-843D-EB330EE06623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$07AF5DB7-1B9B-4665-A719-F7E468343B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7567a872b0a03cf45b9a24331f1f97ee1ad2d9ce","datavalue":{"value":{"entity-type":"item","numeric-id":1786615,"id":"Q1786615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$73F1FE9A-859B-425C-8BCA-DA67A17EF6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$92F02E90-9D71-47F5-93AB-0A5F08302216","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015286$A0897623-E1C8-4CB8-BE5F-A6985CBCD831","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17aed90e4da60bea9f0fa9ca5fa5ddaeb259bd80","datavalue":{"value":"https://arxiv.org/abs/1511.09450","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015286$9CCAECE3-1171-4F82-93BD-BD3BA7E082B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a028b417acad2e9e3d151697d3957c285663f9c7","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2016.21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015286$0FA32809-652D-4B5D-9309-B4A0B29C34D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015286$DA818E16-6622-4799-83FA-2ADDA1C9F106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015286$A445F181-BA30-4BA5-8676-80765D3BBBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015286$4A6271E2-4931-4A70-973D-CF6BE979CBF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d00783fcc824ae88faa175b6b92c657b35728f18","datavalue":{"value":"7439747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015286$52A48BE3-ACED-47B7-8277-4B52F3035A85","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e709217feba5582ee4330feae544dbf386970536","datavalue":{"value":{"entity-type":"item","numeric-id":37002,"id":"Q37002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$C57013AA-56A7-427E-B3C2-ED0403EA965A","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":"Q5015286$A5C63C0F-64CB-43A1-832A-76311BED5E6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$B0F7B6F9-803B-496E-A4C2-2202E1EA5D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702f164b710b34adee69b0aa6937212bcccd3a9d","datavalue":{"value":{"entity-type":"item","numeric-id":453535,"id":"Q453535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$41D42CBA-7B8B-4EDD-8137-B0EB2DD4DD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277c213e67dfede245e758c3f82c84c76591df43","datavalue":{"value":{"entity-type":"item","numeric-id":4995359,"id":"Q4995359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$65B46009-DF34-48FE-A8EB-C1F9A1527848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$5C1FDDA6-D82E-4A70-B058-4CEAABB7FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$1EAD6A6E-01FB-46FF-B756-B059832D5121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6242e3bb9ae42e7f42565ab98d4f8cd4a7dc19fb","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$4CDC65FD-0CDE-4946-8863-6335C50EE884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$D02A768E-7307-45FE-B47A-DC8D3B88AB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$9FEDA585-4713-4188-86C6-3D9E3BBFE43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745077e22ddc390f24ea65ee95fe67c9ea537546","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$9F5BD7A5-D311-43C4-A977-2135720FFF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6140a42fad55028ab35be908c58d4b6964b7180","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$47C17ECB-9BD1-414B-B7FF-25AEF32B3039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05a1e13367c5b099cf67a4b7c9f0f5c102bb27b","datavalue":{"value":{"entity-type":"item","numeric-id":5013884,"id":"Q5013884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015286$35BDFD9D-E7FC-42EF-9F93-240448065D1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b3ab8547b59ee00af50e30c67c587f6fba1bf4","datavalue":{"value":{"entity-type":"item","numeric-id":5015281,"id":"Q5015281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d29da5161e299ebf011fd4259f108d8b150aa6","datavalue":{"value":{"amount":"+0.7562560439109802","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":"Q5015286$B1E622AD-2465-47F9-A8B5-4586E4980D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950bd244f0d0900c530a7298f4d046a9e4e62f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5429333,"id":"Q5429333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6facad8cd9d6bab1a82896badf76ff08c8c021","datavalue":{"value":{"amount":"+0.7475327253341675","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":"Q5015286$7F9B3720-6E08-4FE6-B21E-0404F1CA7BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53152e665b84e5a84061d2dfca1ecafe6be4fdd","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fe53ef7af234f660d3f71925bab66944e649df","datavalue":{"value":{"amount":"+0.7470942139625549","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":"Q5015286$9B676EB4-71AB-4AB0-9BAE-0D3DAD2D8AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f24e917cede6a1d136740a0c7d50691942b306","datavalue":{"value":{"entity-type":"item","numeric-id":4964725,"id":"Q4964725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e47d1004ef8c7da75b41a571b2877a4de23faf","datavalue":{"value":{"amount":"+0.7459565997123718","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":"Q5015286$235FC37E-402F-4592-91F2-4DC4F42082CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f328754d567774aa504ca5e816b43c8082c70b44","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f630604a33ded7f6257290dd9286bd03d411fbfc","datavalue":{"value":{"amount":"+0.7455308437347412","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":"Q5015286$86E4BDFB-D3AA-4886-A440-E0F8EC0771A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_optimal_bounds_in_prompt-LTL_realizability_in_doubly-exponential_time"}}}}}