{"entities":{"Q2946573":{"pageid":2957293,"ns":120,"title":"Item:Q2946573","lastrevid":52347083,"modified":"2026-01-22T10:11:20Z","type":"item","id":"Q2946573","labels":{"en":{"language":"en","value":"Checking timed B\u00fcchi automata emptiness on simulation graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483082"}},"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":"Q2946573$3539E081-F7ED-40B1-94E1-5611A6D16F1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ad822acda4c3b7c85882eb0ced48880eceddbf1","datavalue":{"value":{"text":"Checking timed B\u00fcchi automata emptiness on simulation graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946573$97F2DB3C-7B04-4597-B6F2-31F648320F27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a356783bb66eabb392ef7d528680b6363259fc56","datavalue":{"value":"1352.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946573$5D6EC069-1176-4CDA-BC7C-BF331E402AA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"246c1a25507f36d645318b64825c3b4d63cf174e","datavalue":{"value":"10.1145/1507244.1507245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946573$0A9CC97E-BB51-4721-87AF-128BE6924549","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946573$2ED082D7-8F10-4950-AA5F-F4D0EA91B569","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946573$E492DD55-6B6E-4166-B472-4EB93A6F179C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946573$1B0A6D0D-E982-407C-B1C5-BB9682E883DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946573$463DA2F7-F76C-44D6-97CB-022FBFFD3C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946573$EE310F1A-47D1-4CB5-8F3A-748ECBB0963A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ff10bfa26b6b0e5d3cb021c1df764bc4c78472e","datavalue":{"value":"6483082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946573$B187D0E3-0446-49B4-A034-D0C594CE6BC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946573$AFE0EF4C-B9A1-4F6A-B3B2-548EBB9AA010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946573$73DAD257-F497-41B5-98D0-62BE4AA3D36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"763ca367a4904a18943a28e8611caec8d8f88e75","datavalue":{"value":"property-preserving abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946573$318B2FE4-FEE2-4A76-B9F5-67C45C7CB40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946573$F897589F-D0B7-4143-825C-EDDC03A909CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b346bf5d30cc270d63ed907a17a5ef2eb967f46e","datavalue":{"value":"timed B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946573$EB4D3020-52C7-4477-AAA5-101807679788","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946573$BAFC5DE7-3E93-4E76-9111-29C9F9772792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946573$B7EE3EA4-9CB1-4E05-B949-2EB557C81CCD","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":"Q2946573$859B5DBC-6549-491A-8D4E-1CBF1F4689A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf76b76c3afe07995cc26d346d1d7881f12e8915","datavalue":{"value":"https://doi.org/10.1145/1507244.1507245","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946573$023D752B-C274-4922-A5EF-40B0399EDF06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81571ecef223deac5a6ede82f913ee07ee3cb14e","datavalue":{"value":"W2162181585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946573$5D041D27-6D25-4ACF-BCCE-320334F4DFF9","rank":"normal"}],"P1643":[{"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":"e10ca9abf0d632962775fe07d8b5a47f861135bb","datavalue":{"value":{"amount":"+0.8776080012321472","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":"Q2946573$9A3DC541-5192-42EF-A52D-5A9D43B7B964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e226f55426c3b15510e6a78510210b2335c0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4931294,"id":"Q4931294"},"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":"Q2946573$0D51F393-C011-41F8-A555-46200CC497EA","rank":"normal"},{"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":"6c1e9291a42812960396d8439bf064fb9d634c9a","datavalue":{"value":{"amount":"+0.8224843144416809","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":"Q2946573$9F85C55E-FDAF-4E78-B953-F839385541B1","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":"f925c209d563910e4756e83ca39420d90c2b4fd8","datavalue":{"value":{"amount":"+0.8217613697052002","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":"Q2946573$49E22BD4-3CF7-4C45-A401-E7A80B9FD78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a8978cc628ce214399e4bddd4e923f97279da0","datavalue":{"value":{"amount":"+0.7687386870384216","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":"Q2946573$839C8293-C496-4A92-859B-0D0E76BF6D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946573"}}}}}