{"entities":{"Q2475634":{"pageid":2486377,"ns":120,"title":"Item:Q2475634","lastrevid":73469082,"modified":"2026-04-14T16:06:51Z","type":"item","id":"Q2475634","labels":{"en":{"language":"en","value":"Abstractions for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5247582"}},"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":"Q2475634$AE7F4CA9-3B9B-4EE2-9266-A3D54E2DAB87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a1e173667b0c1fc2fff6c5469960e9054125e23","datavalue":{"value":{"text":"Abstractions for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2475634$AE57ECB2-053D-4851-BE1C-87812FC7A6F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"505d9a1584e5876270087bd21f4e50906acd91eb","datavalue":{"value":"1133.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475634$F7B4F369-48FB-4F7F-A6AD-C4A90E16E279","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$101EA390-B9C2-4248-8B68-A96DCFCBC21F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5191b06fb6cb88c011afaa0f154255cfe3a8de0","datavalue":{"value":{"time":"+2008-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2475634$CA7C3EDF-3629-48A1-883E-2639EF4CC8E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475634$82EAFF84-40C2-40CF-866D-D0BC866C7316","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a146043bac14ff2c533b935f1af6978dc10854","datavalue":{"value":"5247582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475634$93B7403A-B7AD-4C6A-8D82-BC8A77CC7AC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c330f2a58efc85bc92438e4c9601644a796093e","datavalue":{"value":"Hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475634$BDA93D85-0014-4818-932C-C1FE0F8F09C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6377a628e12b96a6a919606a8ef231bc11537970","datavalue":{"value":"Predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475634$A5AF0802-59B4-4C29-9E1F-5EB86802E318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbaec78787053f75a069358316ec97fd5a3d6406","datavalue":{"value":"Qualitative simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475634$DF676E73-3133-4A84-81C4-DA4928568277","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$E0E131B4-9353-4D29-9AD8-BAAE74CB9EA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$E795F7B4-7E34-427F-9F85-F890E469503D","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":"Q2475634$D922487F-B2AB-48C1-A624-A93DE460AE7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61e13176f210d2ab4dd62ccb239dffa9c2037651","datavalue":{"value":"https://doi.org/10.1007/s10703-007-0044-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2475634$A9B715D3-9467-4417-AA3C-41D7DBEB9388","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35a39e62a327da6a5351a97692ef4358bc327e4f","datavalue":{"value":"W2060369194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475634$C768719F-FE3C-4494-823C-780A5CEFDAC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$AFC39869-D0E4-4355-B94A-5BC422171711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df5625c5fd923fbef5a991cd84e27683e2a66e20","datavalue":{"value":{"entity-type":"item","numeric-id":4417924,"id":"Q4417924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$BE48C2A9-399D-4C3A-A5BA-A4BA990A1082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8640ba806094304a5f9c7054dc7ad06372457b7","datavalue":{"value":{"entity-type":"item","numeric-id":4417973,"id":"Q4417973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$F820BC7D-DA47-4AFB-B3D2-A4E3839BDB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a040acb42f8e1e436558f89a297942749f3be2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1883517,"id":"Q1883517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$BD5F8375-5800-4E5A-94F2-23D08F2FCBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8f2385293901adc75b35a7f659d489aad67c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4249565,"id":"Q4249565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$BE6B5EA0-F79F-4CCA-9C67-24C745193D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470c5ce589890367502981ff1b71f1c93977be2","datavalue":{"value":{"entity-type":"item","numeric-id":4540483,"id":"Q4540483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$B06D8097-7131-489C-916A-E8ABE05A423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f075cf4fc5e5bc9f404bc25c91b575e8dd951475","datavalue":{"value":{"entity-type":"item","numeric-id":4417923,"id":"Q4417923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$AC60DF86-CF3B-4BFE-873B-DB4A2EF7076F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6485f628205a08d42f4f4285a8807dfecfef539","datavalue":{"value":{"entity-type":"item","numeric-id":1398129,"id":"Q1398129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$025DEEF4-3AAA-40D1-837D-904250DC86B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553d9cbbc14cf67edec307cc8b2f9633e7cd8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4553263,"id":"Q4553263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$61FE9876-5C30-42CE-BD72-2B48FF523B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$C6FEE1DE-57A9-4C85-8A5E-B22CC3970F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$F9AA3CFC-EE42-4374-AC92-03B064F7F69C","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":"Q2475634$CFADD834-0FDD-44A8-9E6A-449768CA0008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054ea8f58ba45108d452657f9db815887ac8ece3","datavalue":{"value":{"entity-type":"item","numeric-id":4418863,"id":"Q4418863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$33A1D64C-4BF7-4465-BF4F-897989406AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$92EAE50F-7DFE-44C4-A595-F883CF6DD681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0cfa005db30ee2379f3032b81e86e439f1d6b2","datavalue":{"value":{"entity-type":"item","numeric-id":4295433,"id":"Q4295433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$45555030-AB62-4551-8567-622367574CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e942176137f1b90262b4539514bd834122c35dea","datavalue":{"value":{"entity-type":"item","numeric-id":1398133,"id":"Q1398133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$3BBC4F3D-0F2D-4F05-9F72-37AF24B28688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6461ba3b0590821555f4c1a0fb7ac69702b3ab","datavalue":{"value":{"entity-type":"item","numeric-id":1105370,"id":"Q1105370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$7CC25B96-541D-4581-A9C8-073F8DE5979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1975ace360956e97bd41a9619bf19fe361b7707","datavalue":{"value":{"entity-type":"item","numeric-id":2842588,"id":"Q2842588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$98F0959E-08FD-47D5-B678-C06809695856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2293bbf6eaf9fe16afd2937fb8e2cf2629f0d2fb","datavalue":{"value":{"entity-type":"item","numeric-id":2641737,"id":"Q2641737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$839C4AE5-7AD7-4AA9-8093-35207E02C8E5","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":"Q2475634$97F386B8-433B-412F-BCE6-17B2179A56ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c2b7fc33a475beafbd49feaf7bbfdd236aafd8","datavalue":{"value":{"entity-type":"item","numeric-id":1402734,"id":"Q1402734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$3CB9D8DD-657E-446F-8FE6-CC05AF11FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$42C08B5D-5529-4512-A2B6-59070780472A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$364BDEC1-D184-48C9-B432-C760F3E60067","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":"Q2475634$38ECD53A-B9A1-4C2A-ADDF-C548AAD04BB0","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":"Q2475634$ED12165C-E022-45A7-9400-E0799C1B8C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9acd441c1cbc4dd22a67a37ff75a560df1cd6e","datavalue":{"value":{"entity-type":"item","numeric-id":3141919,"id":"Q3141919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475634$F6575D10-A3FE-4168-A101-5578B0E289AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b17a4fba2530b7bfd0e68c59e87a3284bc890dd7","datavalue":{"value":"10.1007/S10703-007-0044-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475634$DF26434E-2AE4-4D32-9640-D7D889B1F652","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0341ef690e744836ae0c5bd736a767679c550745","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b1179e8bd4c59643da6af7423f5f32b9c28496b","datavalue":{"value":{"amount":"+0.8611561059951782","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":"Q2475634$045A85D3-55D5-42A0-A1FF-965F50349A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44bd7aa7a5d5233a507b672bda57c22c035f24e2","datavalue":{"value":{"entity-type":"item","numeric-id":702842,"id":"Q702842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca12b7b5ec7b2cd6695d7024733e6dd178f3fb9","datavalue":{"value":{"amount":"+0.860885500907898","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":"Q2475634$E8402D13-2143-4389-AB4D-BF6A091A8FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f2ef821b6e8c5ff40d336dd7afec9b97f3b15d","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa8896be4059eebf20aa90d0e5f2a2146b1a517","datavalue":{"value":{"amount":"+0.8198333978652954","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":"Q2475634$040BDAEF-D6AE-4BC1-8DDF-307B0A60EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14ad7c2b436480479f01d829aea05fd0672aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":4736572,"id":"Q4736572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbb701506b1ac9d637c9e762a967137023f2cf9","datavalue":{"value":{"amount":"+0.818982720375061","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":"Q2475634$285AF995-6422-4723-9F48-51279D32DF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5613cf26274997354a4e6ff091ff423b20c4ad6f","datavalue":{"value":{"entity-type":"item","numeric-id":434462,"id":"Q434462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9e1036f93495828ef511607ef297b8a13b0e68","datavalue":{"value":{"amount":"+0.8139200806617737","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":"Q2475634$E9CCCEB9-FB05-41DE-ADB6-F8E282237F32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstractions for hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstractions_for_hybrid_systems"}}}}}