{"entities":{"Q2945595":{"pageid":2956315,"ns":120,"title":"Item:Q2945595","lastrevid":52344188,"modified":"2026-01-22T09:47:10Z","type":"item","id":"Q2945595","labels":{"en":{"language":"en","value":"Nested timed automata with frozen clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481830"}},"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":"Q2945595$B5A5D0FB-3079-4A38-8003-48200803DA17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c50b8fd44bc6066c9c1fbcbdd2e58929f732615b","datavalue":{"value":{"text":"Nested Timed Automata with Frozen Clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945595$A2C2B4BC-9D35-4D51-A095-C7E4866FF58F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65288d1d50c6ee46950352c80afbaae814acb070","datavalue":{"value":"1465.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945595$6AB4E55E-2CF8-4A7B-93A1-95B0E728E33D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11510a5736f8f7d97a2277a8507b1bec0246405f","datavalue":{"value":"10.1007/978-3-319-22975-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945595$5225A443-3DE5-4BAB-BE42-2544F5030E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$FFCBBCBE-47E9-43B4-9B2E-D7A14E747CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f646f9e624e4f21f0c774cd39c8ef72040fbf73","datavalue":{"value":{"entity-type":"item","numeric-id":1012120,"id":"Q1012120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$EED32D8D-2FC0-40CA-8C0F-5F7CB8EE4A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"550d64c91d301beef762269976380a557c575062","datavalue":{"value":{"entity-type":"item","numeric-id":986882,"id":"Q986882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$FCDF2433-EF41-41EF-9465-F0E0E26023E7","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":"Q2945595$F7AA190D-E741-4B4A-A230-AD0C71012804","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":"Q2945595$AA4A78C5-168D-4F4A-ABD4-F7BDAAF29F84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945595$A7E0C129-401D-4E06-AFD5-105615DCE9DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06db8bcc8e52560372693427761c7914dd3c006","datavalue":{"value":"6481830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945595$9A6B0329-0181-4BCF-AA73-E2A6F4619E04","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":"Q2945595$47E9CD37-3C3F-4AE7-BA34-E83947081F33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d33a002ca69d88a8e3061b0696302bf79387b0b5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22975-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945595$E5203BB7-9582-4015-BE6F-5B12AAFDED86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08a0e8816d3afab3551c84634b008e12e55b94cf","datavalue":{"value":"W2185756575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945595$1C4D3F3B-CB83-4C05-B4DD-A2274A0A8295","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":"Q2945595$11B94D24-0644-4796-8E54-37A74B2743BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e303630227b78e0a9e7fe31b8945cb769e5026","datavalue":{"value":{"entity-type":"item","numeric-id":4931300,"id":"Q4931300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$1FE21473-7038-4ABD-B56A-8DC12ABD1448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d79146825e76339dd7c4ff4d93003f07a3eec8","datavalue":{"value":{"entity-type":"item","numeric-id":2842669,"id":"Q2842669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$B28871DB-C71A-49C1-8493-DF59FA6986EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$69C844D5-8C05-4255-85A9-AD512680A614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3cb3c6e2b62c37bcd4fded3eb1ece9185be4857","datavalue":{"value":{"entity-type":"item","numeric-id":2988912,"id":"Q2988912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$449C893D-E82D-47DC-88FD-8D7C4F9B43D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b21124277bda9d7b03777705e1af69eb38d28","datavalue":{"value":{"entity-type":"item","numeric-id":2986779,"id":"Q2986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$FC6173B2-09D5-4F4B-AD0F-8F1DD3BCC67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7762b7dd6e4c1453d6db8ccbfa3668c4e767ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5170722,"id":"Q5170722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$4737611E-B874-4A40-ACD1-A5E0349302F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc047395e021e72baa887f057f01a31386deaab","datavalue":{"value":{"entity-type":"item","numeric-id":2842101,"id":"Q2842101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$74743B96-AD90-4639-BA75-82FE76C8428C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6939b53be21bf5a18add9c837c8e0773dc51966","datavalue":{"value":{"entity-type":"item","numeric-id":4635648,"id":"Q4635648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$48126BBF-2BBC-4EAE-A27B-439DF6DCBBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$03BCEC0B-9C5D-4342-A392-01E37433B02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddd894a479ab1374434c96d1f7845c467e8ffde","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$F406CAB2-CD6E-40A7-9162-37CF899E0064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$584CA94D-B946-4797-AEDE-9FD58188E152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945595$5FAE16AE-4DF2-4626-9D59-BBD11918504F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6678e164cfd75a94ff421dd54165272672e1079a","datavalue":{"value":{"entity-type":"item","numeric-id":2842669,"id":"Q2842669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d1036cc6f7920998d25a86d36f6ed6f349d3b9","datavalue":{"value":{"amount":"+0.8622305393218994","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":"Q2945595$89E9FEAF-078D-4230-9187-2AC63D0EE23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9ed431dd83bd2ba4f743344db38e6c9c456930","datavalue":{"value":{"entity-type":"item","numeric-id":5045378,"id":"Q5045378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cefe1b0b06fc22fd086c1ce1b2ab8e44338cf7e","datavalue":{"value":{"amount":"+0.8358203768730164","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":"Q2945595$C6135B29-8D91-4365-A82B-9E5352525106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3c2ef09eb51a433ce81e796f063b20040e71b9","datavalue":{"value":{"entity-type":"item","numeric-id":4989016,"id":"Q4989016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6a86e83fa39615064de004d16f8de5028d08dd","datavalue":{"value":{"amount":"+0.8018612861633301","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":"Q2945595$427B0038-ADB1-4DA5-8B99-C0B1F8A7D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fec18c4235af2a35cc605d0c7f8f5b7c5c04579","datavalue":{"value":{"entity-type":"item","numeric-id":2221811,"id":"Q2221811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfdae837f960b370acb4f9e22bbd1fda5d3c95a","datavalue":{"value":{"amount":"+0.7519044280052185","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":"Q2945595$4038FBDF-1FF6-4E31-9386-06E1F6FE855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bce1359a87e36b0e05ae345ba0a0be877f93ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4931300,"id":"Q4931300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91bf5b25fc2018719ed4e92edbac8667a448a4bf","datavalue":{"value":{"amount":"+0.7470341920852661","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":"Q2945595$51A8C36A-0AA6-426D-AF61-E77D88CF10A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945595"}}}}}