{"entities":{"Q3617729":{"pageid":5647635,"ns":120,"title":"Item:Q3617729","lastrevid":87445721,"modified":"2026-06-04T11:42:07Z","type":"item","id":"Q3617729","labels":{"en":{"language":"en","value":"Lower Bounds on Witnesses for Nonemptiness of Universal Co-B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535594"}},"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":"Q3617729$11FF4E23-CF93-4526-BB72-7A3ADBCE840B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75f5ce817559d292ad3e6c378f0e67598452546c","datavalue":{"value":{"text":"Lower Bounds on Witnesses for Nonemptiness of Universal Co-B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617729$8709FE96-A064-4F4C-8832-59292C4E60C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6df92d3a60f5c17875678ae8cc6e9c3fb9874f55","datavalue":{"value":"1234.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617729$ACF990C7-5E2E-4ED2-87B4-9C2EFBA50BC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05132bc54866db449c1031022d819ed339ad3b16","datavalue":{"value":"10.1007/978-3-642-00596-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617729$0D0E4CE4-0E85-4447-AEE7-2D36A8EF4069","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$58D7E845-2E4C-442A-8D29-DEBE0B31E6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$F37DA94F-BC9A-4842-B5E5-B27488970599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$1473F797-78F7-4491-A6BD-F9BC0BAD0D7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617729$2781C048-3BDF-41C9-8796-15FB8D509062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617729$D895DE50-8F8D-4183-A65D-4000F7C6C5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617729$27B7ECF0-9CD6-4519-AA2A-176D5D47E0D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b372e855514d04cdb498e030f76b259a19ff6b1","datavalue":{"value":"5535594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617729$DB63881F-B9E3-4F43-A762-D84F8E811A81","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":"Q3617729$D0E1A330-24E6-496A-AD55-977317B9DD3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bda5258a32455388b03e09674e7069ec927847dd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00596-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617729$24D3C39C-3EB1-47B2-91DC-D877C873E604","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a998aa0af6338176c5845de5bea2082ec52a331","datavalue":{"value":"W1515863024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617729$34081FBC-88CB-46C4-93C1-0BB64139E84D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$1BEED71C-FFC5-4E24-9453-4196C5CB4BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$EFADF91A-DF4B-46F0-A809-FA60A2DF0DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$F7C555E0-A8DC-4CE8-A73E-E8901C2B5B83","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":"Q3617729$A1165E08-C3F9-4E48-AC0B-5D6E8A4B458F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c206a4d873508ebde0dad6d97704d245c7da01","datavalue":{"value":{"entity-type":"item","numeric-id":5756590,"id":"Q5756590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$C11F2FAA-FFB0-470C-9B26-AFE50B4544B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$303E77C9-6822-4639-A787-93846C4CECBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$C4538E10-89D7-45DD-9904-6F2CBEA2467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$4FE31C69-42DE-4AE6-89A7-3906B4E51CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$411461A0-57CE-4535-8786-4124B63BA060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$0439C03F-1EF0-4E4A-90CF-69A4FABEF171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$800DD0B2-8D19-4EF4-8CA6-677345615A8D","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":"Q3617729$7E3CFC3F-2233-4201-91ED-80167C31935A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$5BAEA8BE-291F-499F-871D-388A0012ADE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$1D09BDD7-F2B4-436D-89B9-56616AFCC48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617729$C0D6CB04-2232-4CE7-ABA4-11772377C760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4988712215a27e6788514c88617f586fd69569f","datavalue":{"value":{"entity-type":"item","numeric-id":5756590,"id":"Q5756590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7e6b713f51e29f0dbc722f5deee319631c1c66","datavalue":{"value":{"amount":"+0.8119224309921265","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":"Q3617729$F93BC8E8-3615-453B-AA7B-2B533F1954EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a80a200c5b157ef75d8a4190ce725d845d93d83","datavalue":{"value":{"entity-type":"item","numeric-id":5505553,"id":"Q5505553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8bb0b08160d72f9a87e6217993a3cbf9d6dbf6","datavalue":{"value":{"amount":"+0.7895845174789429","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":"Q3617729$9461D7C8-CE10-4A9D-8D72-9D396D6DB587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a490c317fb5f5704c21c9d0003cea30a07e98135","datavalue":{"value":{"entity-type":"item","numeric-id":2946678,"id":"Q2946678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608ce22f2c535b9db2b04ee8a1dc7e67478ab1aa","datavalue":{"value":{"amount":"+0.7824122905731201","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":"Q3617729$D895F818-9140-45D1-89A0-2A826462CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc774b1e2fd1201f471543b61d1424eb1f4f91e","datavalue":{"value":{"entity-type":"item","numeric-id":3586001,"id":"Q3586001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f26ddbe45859f8c3362fb7c50f905b154e583bd","datavalue":{"value":{"amount":"+0.7747663259506226","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":"Q3617729$B7C2048B-FB2F-4994-B559-02C5F9AA59C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48903d2bd0b9073841885b1a09153ee9363cef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e851807762d961182fc856352de5dfef0ec765a","datavalue":{"value":{"amount":"+0.7724443674087524","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":"Q3617729$6F692CB7-3ED9-4309-BAD9-211102620366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower Bounds on Witnesses for Nonemptiness of Universal Co-B\u00fcchi Automata","badges":[]}}}}}