{"entities":{"Q2901366":{"pageid":2912091,"ns":120,"title":"Item:Q2901366","lastrevid":51515864,"modified":"2026-01-18T14:30:48Z","type":"item","id":"Q2901366","labels":{"en":{"language":"en","value":"Template-based unbounded time verification of affine hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6058530"}},"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":"Q2901366$13A7A897-BA6F-486B-A7BB-9EED8D6E771E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4628e2b4fe645957aa21aade64f35989f89f4bf5","datavalue":{"value":{"text":"Template-Based Unbounded Time Verification of Affine Hybrid Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2901366$D5C561A6-88E6-482B-8FAF-7000CD57CD17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae92118bf3117d63398000d946c58e44b238e5ed","datavalue":{"value":"1348.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$55B8F9A0-5A7D-49CD-8944-07495C9BF561","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b620ec1f3c00359512a7106e096d7fc4ff3ba87f","datavalue":{"value":"10.1007/978-3-642-25318-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$B8716B22-DF90-4E79-8CE9-60BC2E850E1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4955cd894e8f65bd4d36ba17714e84b2ab9ce","datavalue":{"value":{"entity-type":"item","numeric-id":526431,"id":"Q526431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$8AE0F553-7EF6-4269-885F-BD56283AB451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff75dd00fcd4a3f56295820358cc11a89e7faf1d","datavalue":{"value":{"entity-type":"item","numeric-id":435966,"id":"Q435966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$C54E9F34-3A73-4D42-ABE3-B425EF364E38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$DAAB8030-85EB-4C3B-8A07-2CC365CC69E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2901366$3DB1A1AB-4796-43C0-967A-9CE14F3A3457","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$7B8B430D-4842-49CD-A62E-DCAFB68D6371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$42A1D5F4-039E-4727-A3BA-AA6BD87B089D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$C7F5665E-CD42-4A87-B4CA-FA7359344024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$C84D3C1C-A6E6-40B4-BCEA-8975F6093B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$0A5B343C-B571-417D-948F-250C90DE0CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$25DF5F31-08E8-4D5D-B37D-0A77D060A4F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4d712fa5f1947f1baeba38cdf2beb157479920c","datavalue":{"value":"6058530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$4B2FDF1F-B105-43C8-8923-CAB0CA92CEE6","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":"Q2901366$7A036E13-D255-4198-9D18-EB963AE7ED6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da7169114420f0137fcb961f37266def95f599a3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25318-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2901366$298419D5-C73F-4779-84A6-86C6DBA5E2A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"147c9a4330677a1519877a1bc3a0b396c3b61e4c","datavalue":{"value":"W2107265973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901366$CB36703F-FDCC-4B27-AC8C-1391C1F4486A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89731fc573dd24d361dbf22191cbff0f9d0bd34c","datavalue":{"value":{"entity-type":"item","numeric-id":2260413,"id":"Q2260413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$6E4A3BA4-EFBE-4A3C-832F-2158396C8AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67945448a4fab3cfd00464aeec20d1302b90e6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3558213,"id":"Q3558213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$A6CC80A8-4DD5-421F-B10F-025863C998E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4099c2dffdc34c9a8cc569c4ebb17f8d9459681e","datavalue":{"value":{"entity-type":"item","numeric-id":2368954,"id":"Q2368954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$3DA716A5-884A-4F51-8C43-7691581DF741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17227eab8c4ab9c03769b3696e360e757a8518fe","datavalue":{"value":{"entity-type":"item","numeric-id":868432,"id":"Q868432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$270CBF1F-3DBB-4247-80CE-5CB1DABACB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3e63c80eb78186ace2b0da5fec4010008404ad","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$BC57F33B-9037-4575-96A8-90EAFEB94DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e958689f7d9dabbfa572244742afed969201a5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$62F3458F-A0A9-40DC-A8C5-1FD9F40DB209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$6E5F6892-B125-4721-9E89-A2D03896983A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f867aedd7d0475b2f946c6c9a6c521e1451054c","datavalue":{"value":{"entity-type":"item","numeric-id":3172936,"id":"Q3172936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$F58A5BDE-E48A-4773-9A81-90DFB2F018D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014fff1c94ad59e81787332ae7190a13501142f","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$AC485238-1E5C-4D00-8B30-76ED56550847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a696631b48357d4e775d99fcfad3cbdd81cddb6f","datavalue":{"value":{"entity-type":"item","numeric-id":3608402,"id":"Q3608402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$66C252F8-0BF9-42DA-AE6F-A4329B9A0F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2073093aeb6208120f213f860dad84eb717663ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756502,"id":"Q5756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$24E2860B-73D0-43F8-AEAF-C0188A6155EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fd7b56301b8eb54a25477a694a756d29a52376","datavalue":{"value":{"entity-type":"item","numeric-id":3000582,"id":"Q3000582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$F202DA94-9E18-48C6-A64B-2307D608994B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352d8306ac78ebc493a0885d114bbd50c84f0272","datavalue":{"value":{"entity-type":"item","numeric-id":4930733,"id":"Q4930733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$108AEA17-46B5-4B3A-899D-A404613B3AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$1369E310-DF3D-4343-87E3-73EC127D780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$15D17572-B862-47D1-BC9F-C8DC6182B2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$1B63B3EB-E804-493F-A595-7AED686024F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459d3bdfcaa16f6111cb4cb8a3ecd5f651c09458","datavalue":{"value":{"entity-type":"item","numeric-id":3523151,"id":"Q3523151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$8BD84D56-B296-44EC-B98C-D419D42D8F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$43015E97-7E29-4108-934D-E5CEE6EE7160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe51e8ca511a5bb5ee4c175e518b6004a41de45","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$82C61F0B-EE0C-4CDA-857F-916C0364287A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7854915e8b14bf5eeae37a963b18599756769746","datavalue":{"value":{"entity-type":"item","numeric-id":5307955,"id":"Q5307955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901366$12AA139B-4BD7-45EA-80F1-AB9D2926EAD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c8e17f5179c5529ff05ad9a94127a44678aeef","datavalue":{"value":{"entity-type":"item","numeric-id":3523151,"id":"Q3523151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2d34dacabb2549cb7eb3b47414d990430b1393","datavalue":{"value":{"amount":"+0.8788620829582214","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":"Q2901366$29720CAD-6AFE-4F86-AE2C-483D83C12690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3acbcff542dd22e1e504b8565b8092827151a0","datavalue":{"value":{"entity-type":"item","numeric-id":5458327,"id":"Q5458327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824635fbbe195d91cf8c206b4058806fd9382e27","datavalue":{"value":{"amount":"+0.8231264352798462","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":"Q2901366$399F4FF9-DDDF-481C-9C85-944461490C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbf2b1b49da3d396da73e0d876dd6018452e360","datavalue":{"value":{"entity-type":"item","numeric-id":3172936,"id":"Q3172936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95752ccbde9ad389bb6644b7917669625f16128","datavalue":{"value":{"amount":"+0.8122504353523254","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":"Q2901366$702D91FF-4540-4277-8406-8AE5A18E659E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34733645734b7cbf47906c9453ee03984b7f66ec","datavalue":{"value":{"entity-type":"item","numeric-id":6041130,"id":"Q6041130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20885a999b3b60fc36013eeca4a22420f2e4c7ba","datavalue":{"value":{"amount":"+0.7974013686180115","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":"Q2901366$FB722075-BCA3-4A70-8CC7-CEABA43CEA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2696538655eff7c4a38970b7e67dbb3533aa4398","datavalue":{"value":{"entity-type":"item","numeric-id":3303915,"id":"Q3303915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371ab574a8ea245de4ba842a2603ee36e5244021","datavalue":{"value":{"amount":"+0.7654402256011963","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":"Q2901366$B8A4FCB0-785A-4878-B496-0D68A30F582B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2901366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2901366"}}}}}