{"entities":{"Q2945591":{"pageid":2956311,"ns":120,"title":"Item:Q2945591","lastrevid":58070511,"modified":"2026-04-03T16:46:15Z","type":"item","id":"Q2945591","labels":{"en":{"language":"en","value":"Improving search order for reachability testing in timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481826"}},"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":"Q2945591$F87F9D86-B6FA-4D25-A266-6A2A2E541B95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b44a328e12dd86d242396e7221c6b21388961f16","datavalue":{"value":{"text":"Improving Search Order for Reachability Testing in Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945591$93966804-B27B-4AC7-AE3B-EB68CEE1ABEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"328e2d8f5c87326174fc746c3b284a0c450d3138","datavalue":{"value":"1465.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945591$F2854243-EA62-41B9-AC26-C9F8BC5B088B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0155ac68c796cf7932802a320a96fea25ea7fcd","datavalue":{"value":"10.1007/978-3-319-22975-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945591$6F7C2A47-B7DB-4DC1-A1F3-9D7B27F98D04","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":"Q2945591$37DCBCEA-D39F-4469-9C9F-BEE9AA4FE19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6271edbb6f4f154fed72f13da49a1ff7d32ae4b6","datavalue":{"value":{"entity-type":"item","numeric-id":2945590,"id":"Q2945590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945591$7486DCC0-D1CC-47F9-BBFB-FA473D6E7344","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":"Q2945591$DE4259AD-3C09-4581-821A-2C9751038346","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":"Q2945591$3365035F-B2D4-4116-9C33-5DFD929F4EBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9fd129bf54bb7d7251cfc92bf2c068fc4c32ce1","datavalue":{"value":"https://arxiv.org/abs/1506.07000","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945591$A62030C9-3FAB-49A6-BD45-10E6782AC8CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945591$ABA16B24-683B-44B3-ADB0-0A4CCC0044EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86c0a8c9b02b3e869d75db9e7bf2e5c280fe682d","datavalue":{"value":"6481826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945591$ECC68DFD-2B33-4B9C-B0DA-947BA505C077","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":"Q2945591$6EEF6A33-5DA5-424C-BEE3-0A7F03360EF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c0ad8924940090c719bbccdca8b03a399a39c81","datavalue":{"value":"W837480072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945591$991F6BC8-37A1-4DB3-B344-796EE71ADDBD","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":"Q2945591$44E0140E-B746-4E69-830B-25A1A5EFDCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945591$10C0F6BD-E515-42FB-9A55-64864C6A8AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d207321f5a8923ffcf4638f1bd25d4d55b8df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945591$A47946D3-5AB2-437C-9E9D-C868D2F05BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78472b1a4fc91e7a5efce44a75f4d805cbf80df","datavalue":{"value":{"entity-type":"item","numeric-id":5900704,"id":"Q5900704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945591$003FBE2B-83C7-4819-97BB-19D10698693B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282aacb746dcc359b097a5d44f42a7038dc19fa7","datavalue":{"value":{"entity-type":"item","numeric-id":2842852,"id":"Q2842852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945591$CC670642-E4F7-404D-A011-D5FA5F5E7488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c58c7ad8749891e33908847f954b4c3dd83d690","datavalue":{"value":{"entity-type":"item","numeric-id":3066131,"id":"Q3066131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945591$46ED53F2-DA80-4DCE-B58D-BFD51FD08A43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb257a9feb38362051856dc493122ad2b8f68bba","datavalue":{"value":{"entity-type":"item","numeric-id":2763979,"id":"Q2763979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56234081c5f8469b4745bf01a6341d65c342276b","datavalue":{"value":{"amount":"+0.7706007957458496","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":"Q2945591$0D56DF87-262A-42F9-8113-1646E800D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cb91bc238bbdcc6684bf1464f7199647115521","datavalue":{"value":{"entity-type":"item","numeric-id":4818755,"id":"Q4818755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b698be978dea6b3a61d73f2988e65d9098279371","datavalue":{"value":{"amount":"+0.7552074193954468","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":"Q2945591$A4D29BD6-9120-47FE-8B06-A797F06624B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb22d8dd0f89dac5a1751e651f2b65837916f3ea","datavalue":{"value":{"entity-type":"item","numeric-id":3411497,"id":"Q3411497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f49719d49b66f12647789caa484c3b7076a488b","datavalue":{"value":{"amount":"+0.7542328834533691","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":"Q2945591$22C6488A-030F-4FB8-97E5-FBDF6FDC08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16897a0150a94dd9831aeb2548121e1a4e5378ba","datavalue":{"value":{"entity-type":"item","numeric-id":4649388,"id":"Q4649388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9498bb7e267d7f5ca7a968542e43346a3047fc69","datavalue":{"value":{"amount":"+0.7395182251930237","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":"Q2945591$0090F7C2-01E0-4E28-BA08-72AD2B40A843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e244f5b716ed80b5a4c3245d1648cf1a253547","datavalue":{"value":{"entity-type":"item","numeric-id":4461758,"id":"Q4461758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe68d2e1856939da36310dfe7a51a01485bc9131","datavalue":{"value":{"amount":"+0.7314649224281311","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":"Q2945591$6832D20E-DF3E-465B-974E-89460CA8459F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945591"}}}}}