{"entities":{"Q2945604":{"pageid":2956324,"ns":120,"title":"Item:Q2945604","lastrevid":52344203,"modified":"2026-01-22T09:47:11Z","type":"item","id":"Q2945604","labels":{"en":{"language":"en","value":"Bounded determinization of timed automata with silent transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481836"}},"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":"Q2945604$E1B53F41-CF3A-43B1-967D-193938652547","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2437962fe5e56f70cc63d05702ca34b997db163a","datavalue":{"value":{"text":"Bounded Determinization of Timed Automata with Silent Transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945604$1A2A9866-5811-4E6A-A7B9-788CE22919D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5f6166838c9f1d34f2ff9c85ca0bf34ffb6341c","datavalue":{"value":"1465.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945604$9E191E47-BB65-447F-B3CF-819BE6283182","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e15c2eccb75e2f9ed77c94a0babe734959309e3","datavalue":{"value":"10.1007/978-3-319-22975-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945604$02B1B9BD-BA85-46E5-A5B1-15D9E3285D18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bed6d2414039609ebe782b0a2f5ec7cd206c6c7a","datavalue":{"value":{"entity-type":"item","numeric-id":1699227,"id":"Q1699227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$82C1C1F4-430C-4EFF-846D-1A0A4B7CE00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f118bee8514fe95ca1e5b026656ae6adc8a6dedf","datavalue":{"value":{"entity-type":"item","numeric-id":266874,"id":"Q266874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$7EE190BB-2797-45F0-8005-B0F008E2B359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be9bad6f26c208a2f156ea79bb5762b69ca2ba4","datavalue":{"value":{"entity-type":"item","numeric-id":243970,"id":"Q243970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$54D7543C-6D09-44E9-A22C-E3933518A518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec56fdd824afe477f8efc3dd8518f3a1c55e418","datavalue":{"value":{"entity-type":"item","numeric-id":433333,"id":"Q433333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$E9A3E72D-B172-4EEB-91AA-1FB065BF20CF","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":"Q2945604$70FB954C-B48B-4685-BCD2-6CB06972DA4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945604$27533DF7-B6D7-4353-9D92-9EBAB6ACB02D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e822caefef29d0ea1c33887a36d3e7282985945","datavalue":{"value":"http://openlib.tugraz.at/5bffb48d5954d","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945604$FBE48889-C50F-4E9F-B2BB-A0DD77DFFB51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945604$C4BA1C60-87B4-4748-94C7-75B6A0014860","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eacbcb793c10650baaeb9240bcc2781544fba489","datavalue":{"value":"6481836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945604$533D277C-7CE9-4604-9CEA-5E48B4D32912","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":"Q2945604$FAD03F63-9123-4988-8DF9-A0EA676FD54F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11bc85fdcb7679c009568cfa5d874d07a93a3f22","datavalue":{"value":"W2764294725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945604$008EF0AF-A65E-40EE-9BD1-E0CF6D436064","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$D748511F-8029-4052-9D49-97619EBF0E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919b3b9b331b9f238dfcaf9697c18afb0978b607","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$379F0153-104D-4979-8C0D-DDC0C9AC787D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$A366E451-8CB3-443B-B080-DBB17017AD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd959c64a3590133894d3fadecb02599db8a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3000640,"id":"Q3000640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$536449C6-B83E-4FD8-B26B-EDF483C31482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e01e7fc2f264a8f7c6b74dc8d4088f47d8ba96e","datavalue":{"value":{"entity-type":"item","numeric-id":3000613,"id":"Q3000613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$A30DD787-CED3-46E1-9D69-6506786CEE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d1bf7cc5a9af2cb77b90f9d195e725fdd71d20","datavalue":{"value":{"entity-type":"item","numeric-id":5897958,"id":"Q5897958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$0022EEDA-8B52-44C3-997D-EA2C461B0109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea221513e9e68529819b1cadb7206298eb615b2","datavalue":{"value":{"entity-type":"item","numeric-id":5048956,"id":"Q5048956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$821C352C-7D3B-49DC-BAEA-FE92AA2B7928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a882ddb213a4d6ed482eb68dc25e4cee7f55653f","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$F6968E7D-9DB3-4C8D-8782-759B7FDC7038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d4aea5c52101774f6b624e4ecadd81bcb005e6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$B7473795-80AE-4446-9F0A-93D5F41BEB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$BE52B421-4845-49EA-8D34-CBB76AC097E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1daa5a4f2efd5d1e965f5b21c6ba089fc1a45e2","datavalue":{"value":{"entity-type":"item","numeric-id":2945604,"id":"Q2945604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$A5C3C8CD-1027-4898-9192-98DB13050ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f167889b95f8d71fc5e93e219f59d51beef85f31","datavalue":{"value":{"entity-type":"item","numeric-id":845728,"id":"Q845728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945604$A4F8B003-5D84-4C59-A31E-42F2499AE48B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441ec1388057ccbf18c9a7de2725b4c61fabceb1","datavalue":{"value":{"entity-type":"item","numeric-id":1699228,"id":"Q1699228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3b1be769790d97c81f80b62c50fd8a1fff0e8a","datavalue":{"value":{"amount":"+0.9597264528274536","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":"Q2945604$3B4260CB-696B-4139-A896-58566CE7C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03379044b5eae50f2888ec692ad1236b3ad5d19","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ec7e9eff7fdfcc68739f576a574e3667c7b1eb","datavalue":{"value":{"amount":"+0.8346683382987976","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":"Q2945604$A1C4DD91-7599-4B5B-9616-7B458624F74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec94ff7567d8465d29136fdd773acc78b9e61efb","datavalue":{"value":{"entity-type":"item","numeric-id":3000613,"id":"Q3000613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19c3250732a82c156a31e5a4e7c9305762d2e72","datavalue":{"value":{"amount":"+0.8043434619903564","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":"Q2945604$543AC38F-9113-448D-921E-DF7B93A5A9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea44dad9bbb9a070b72fdd9d0fc9f81892e318b","datavalue":{"value":{"entity-type":"item","numeric-id":2018058,"id":"Q2018058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05820c2cd4239d886e50dcc5e627c5f0a80dc60","datavalue":{"value":{"amount":"+0.7960110902786255","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":"Q2945604$3EA995AD-4F84-4D26-8F59-29B0AE79F54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff1bfacd132785188af0b736bc9f3e104b5101b","datavalue":{"value":{"entity-type":"item","numeric-id":1683431,"id":"Q1683431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9deb17422351a0c401499eaddfb772d45b5f2b2","datavalue":{"value":{"amount":"+0.7915658950805664","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":"Q2945604$602B89EA-B309-483C-B691-75687FD8BA7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945604"}}}}}