{"entities":{"Q5045378":{"pageid":7074955,"ns":120,"title":"Item:Q5045378","lastrevid":40889729,"modified":"2025-04-13T19:50:04Z","type":"item","id":"Q5045378","labels":{"en":{"language":"en","value":"Nested Timed Automata with Invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612563"}},"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":"Q5045378$73D1A035-0AB0-47E2-8A62-24A58D013976","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b83fa7d4de0d97a1cd196ec1d0490d0ac8b54e1e","datavalue":{"value":{"text":"Nested Timed Automata with Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045378$792F4DF0-05C8-4E82-B5BE-6D0DB870071C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24d694a348faf5096abdc8b1bd5584421f84e5ac","datavalue":{"value":"1498.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045378$48BE2C94-85F8-403A-B31C-2A3103E5C37C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e3cec6fc6474eaeaa32c8a0225dfbcfa4f3b4a","datavalue":{"value":"10.1007/978-3-319-69483-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045378$D8682744-3C71-4BA6-AAD6-266A60F027C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df0afc0bfe1e3539b5a307d690a923fddc51ac5","datavalue":{"value":{"entity-type":"item","numeric-id":1662718,"id":"Q1662718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045378$025B337F-CC05-4362-8C15-5594B8544326","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":"Q5045378$C0A8FE64-FD63-4B4F-A09D-1C986B7E856C","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":"Q5045378$F5D8648E-FEC7-4481-A4D6-05A5BA93F636","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045378$C9BE2993-608F-4270-9998-8E8F8DCB8080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-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":"Q5045378$7FBC07F4-DE84-4039-95AD-5B62DD2B3C8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045378$4CCA7825-16E5-4A78-9F2D-38E776E047CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b9496e8a79ad4afff3c22ae4c4293f3fc659196","datavalue":{"value":"7612563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045378$592A4463-5C02-45B8-922D-2A29C6D1703E","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":"Q5045378$E718E034-823C-4EA6-9E12-9AD0DA5A5DF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49899608f17700a3379c70ce77288aee5e9cc887","datavalue":{"value":"https://doi.org/10.1007/978-3-319-69483-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045378$4686F7AA-2857-47DE-A302-EB87F3872A8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bdd316d494d7f6041fd58dc1b08ffd83e5c3595","datavalue":{"value":"W2765111002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045378$5113D4DF-189B-41BB-A8C9-D102EA7B8506","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":"ad99d11f9cee13763fa130b8293d54d0c9737ec1","datavalue":{"value":{"amount":"+0.9476091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$76510185-5696-465D-B367-49B79BFF3DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576aa6baf66d8530d0fd3e2870f7d5c40502d908","datavalue":{"value":{"entity-type":"item","numeric-id":2945595,"id":"Q2945595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a19b15b295ca8e9cc4afac999bfe6315ff15e6","datavalue":{"value":{"amount":"+0.92888224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$9976CB8D-E435-42A6-B9B4-20F689DA4A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bce3e63703a044847059b3523537122b9e4ee03","datavalue":{"value":{"entity-type":"item","numeric-id":1780238,"id":"Q1780238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b8ad715cd2a0e170bbc6e266fcafcd34365f29","datavalue":{"value":{"amount":"+0.89214176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$2DA4B80B-C4F1-4327-B749-A8564F62DE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c8f197145808b0eb4ca994eb6d7bccb5397391","datavalue":{"value":{"entity-type":"item","numeric-id":2775857,"id":"Q2775857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58b4498331039af395cc75f384ea6d06c79ebb0","datavalue":{"value":{"amount":"+0.88929737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$EB99038F-17DB-4550-9E17-956D19990F6E","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":"08227f394e44d032e5dbff03386ff2976fd62386","datavalue":{"value":{"amount":"+0.885917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$8FBA10D9-2774-48EB-A9C8-99C55B6A32E0","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":"e7c905e312ed50a7ab86e1c5fac5cfd44b455c3d","datavalue":{"value":{"amount":"+0.8838567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$55961436-09C5-41B5-8279-4E9575703AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42859201a7295b3de9d89d45865486860686b2e","datavalue":{"value":{"amount":"+0.88320935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$94282EF2-A366-454B-928F-F04437F55294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683e2d18d36ecf93f4588c1e5b6a135b47cdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5418249,"id":"Q5418249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42859201a7295b3de9d89d45865486860686b2e","datavalue":{"value":{"amount":"+0.88320935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$94B6222D-6DDA-4922-9031-5A50F95A5A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc62161c677dfce3a0f9ff5548fef375db3e194c","datavalue":{"value":{"entity-type":"item","numeric-id":2244829,"id":"Q2244829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42859201a7295b3de9d89d45865486860686b2e","datavalue":{"value":{"amount":"+0.88320935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045378$B7298BB0-9A66-4A9A-9A4B-C2430BC20068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045378"}}}}}