{"entities":{"Q4931294":{"pageid":6960876,"ns":120,"title":"Item:Q4931294","lastrevid":51096959,"modified":"2026-01-16T15:55:26Z","type":"item","id":"Q4931294","labels":{"en":{"language":"en","value":"Efficient on-the-fly emptiness check for timed B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795632"}},"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":"Q4931294$3B76258B-39B9-41E8-A54B-1267C1B21963","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34520a3b19d7451dc33e5f9410c1046140433f37","datavalue":{"value":{"text":"Efficient On-the-Fly Emptiness Check for Timed B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931294$086CB50C-963C-4F38-A1CF-B75A16330FD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43ee6a33ca7e8cd17fc6bf6656cc805a011936a5","datavalue":{"value":"1305.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931294$937A2057-13B6-4187-88A5-3C18581144F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2892b8661fe1ab9e0801c9eacef73d6bfe73bbf8","datavalue":{"value":"10.1007/978-3-642-15643-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931294$95FCEE9B-DE82-468F-9DEB-27C5AC639DD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931294$C7EDAE1E-E157-4DAC-8B98-31BFCB1E799A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931294$8659D68A-35E7-4950-93C1-3D9F7BBBB3E4","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":"Q4931294$26FB6B2F-CBD6-4752-8A29-6CE0DEEE1E8D","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":"Q4931294$5CB6B2AC-08FA-41FE-8A6B-5498298E99EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fea07862547ce4a9d7c5d8929122759444f48e1f","datavalue":{"value":"https://hal.inria.fr/inria-00496366/file/atva2010-full.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931294$A45C464C-066F-4BD8-8784-70BCBE48D581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931294$95D42D9B-A9B5-4A25-8B16-4F12145F2587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2a2f22ec416a130ba51c83ca8a23738aac66bcb","datavalue":{"value":"5795632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931294$AAD3E703-95A7-42C2-918B-5E4253C6DDFC","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":"Q4931294$0FD38CEF-3102-4336-91D0-32F1AF222E2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5756c81324f067d97049a3118ca4186538aabb9","datavalue":{"value":"W1530711118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931294$4D711058-A2A0-446D-819E-523932FB99DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5077b9bc648990a923abf35a81b8e703f11a735b","datavalue":{"value":{"entity-type":"item","numeric-id":453519,"id":"Q453519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9207aa6ac46d06b1d7470c1a87489fd6b067908a","datavalue":{"value":{"amount":"+0.965402364730835","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":"Q4931294$8788A4DB-710B-4B3C-83C2-E5B4F347F29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ef6f7be68ac4de758d66d78d72afa4547d0fe8","datavalue":{"value":{"entity-type":"item","numeric-id":816203,"id":"Q816203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587e8bda824f47a73c7716e398a7e4f7c34beb3c","datavalue":{"value":{"amount":"+0.8637198209762573","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":"Q4931294$D9622152-B14D-4BBC-9A8B-C15DD4484728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f9a51698bca26977bd269babe21ce9aa5bcd4f","datavalue":{"value":{"entity-type":"item","numeric-id":2946573,"id":"Q2946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e918422a357b5f2b47d741bf9092eabd9e38d26","datavalue":{"value":{"amount":"+0.8341407179832458","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":"Q4931294$FB349D21-D79D-4E86-95CF-45FC069EE3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee467313bba4394c23e5839d71f61e97f075ca12","datavalue":{"value":{"entity-type":"item","numeric-id":3648834,"id":"Q3648834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84610cbb4a705e5bf51c74f128570bb4bb32c04e","datavalue":{"value":{"amount":"+0.7959489822387695","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":"Q4931294$316634C0-2AD1-41A1-B5B9-47B716A0386B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8e4e22b403f90fa551d0019acc3f7ef7fdf74d","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d23bfe17de1e93fe7d3570eb499945fc1663760","datavalue":{"value":{"amount":"+0.7867470383644104","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":"Q4931294$D5B3D852-E86B-422B-92F7-766954D09556","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931294"}}}}}