{"entities":{"Q3637254":{"pageid":5667160,"ns":120,"title":"Item:Q3637254","lastrevid":50704463,"modified":"2026-01-14T21:04:25Z","type":"item","id":"Q3637254","labels":{"en":{"language":"en","value":"Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576394"}},"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":"Q3637254$01EEDB91-16A5-4A2C-8A8B-527EB9B27166","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d7981bf191e83d601d593c6ad23fb94164eb637","datavalue":{"value":{"text":"Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637254$BDE63494-6792-41AE-8EE7-DA6627DF14B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6336d728eff3dc0822c165c1bb01f6c4b81cbfb5","datavalue":{"value":"1246.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637254$2E4450F1-C4B8-4421-8A6B-48289E493AA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec0347f8629c0939c4f9413b9e2f8dc049bfef00","datavalue":{"value":"10.1007/978-3-642-02949-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637254$356DFDD6-5E4F-48D7-943F-2AEAA7699B04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$0E63C96E-DF00-4DBC-997E-505F7F336F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94641c8c41609ae12c24fccaf13910d4ca73205e","datavalue":{"value":{"entity-type":"item","numeric-id":2723917,"id":"Q2723917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$C8A55118-6976-424D-82E1-2F9797BEE6E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$DB81ECEF-B978-4BCB-864D-B63B8DE4723B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637254$25EDAE37-E62C-4D90-BF24-40AA2203068F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637254$0D0C7514-AC30-4132-A9C3-29AF468B70F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bbdcd87bbba64078f954ded58e3b0dbeea7e1b4","datavalue":{"value":"5576394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637254$02858569-19D1-4EE0-A76A-1098B595DA29","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$39A7017E-9A29-4E43-AF8B-5E3FAECAB89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$8268E72B-E45E-4586-B729-7B33EC0C80D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$F98163E1-8ABE-4029-825A-01F3B7624BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fb6010ac1a693e58be23a6046ae97fea592d9f","datavalue":{"value":{"entity-type":"item","numeric-id":16453,"id":"Q16453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$A8532BF1-999F-4223-A09A-23877381D9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$7FA9C0CB-F4C6-4638-A414-99C420C06948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2d4ca8edce66e9f19be814b91df2731c2a6ebc7","datavalue":{"value":{"entity-type":"item","numeric-id":21697,"id":"Q21697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$EBDB9168-FE42-4BB0-88AC-80F1C61A9782","rank":"normal"},{"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":"Q3637254$A20E9CBC-63D1-4ED9-9926-F3E95264DFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a82b5d3c25d8926c2d8b482f2079dfb64bbcd92","datavalue":{"value":{"entity-type":"item","numeric-id":16319,"id":"Q16319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$1963459D-1C48-4E8B-A18A-469EFA0065DF","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":"Q3637254$53FCFBA8-8943-4F3C-9799-2B3D7B5193AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d35f91abc008562eb96544b506c1f8e8ba08ac1f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02949-3_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637254$52303760-90BD-45EC-8309-E0DB059B394F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecda6d6bda63c6411b17a6fa8d9c86784bbac821","datavalue":{"value":"W17135747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637254$1A1F2851-CD0F-46E8-A891-63660DF746AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c588c367f11d776ad86f4fe0ccd1567dc27d73","datavalue":{"value":{"entity-type":"item","numeric-id":2371887,"id":"Q2371887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$E3C4D3A2-2F18-4724-AA8B-D920FD83D8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed3a3b6767cf2a81bbed9d30820be861d1327e2","datavalue":{"value":{"entity-type":"item","numeric-id":5307465,"id":"Q5307465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$D4347B3D-21C6-4730-AC2C-8546A637F597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231acc2c4ba19006b00d903d762c673d4c9649c3","datavalue":{"value":{"entity-type":"item","numeric-id":3523142,"id":"Q3523142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$F3900706-417B-4EA4-8D6F-E701621BC305","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":"Q3637254$343BC416-04BE-4D11-A95A-AA79FFCC37F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f49ba8e90a8c0c9af094f27d35976bf29d0fe8e","datavalue":{"value":{"entity-type":"item","numeric-id":2382030,"id":"Q2382030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$E8D4E22B-9CA3-44D7-A94E-BB1EFF94AB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02c90d5dfcae50baaaab8bcbb80dfd3f95124ef","datavalue":{"value":{"entity-type":"item","numeric-id":3612969,"id":"Q3612969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$16D1545A-0CED-4DCD-9796-D635BC00C391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab3ab2493d10aa82e1532de5e015916f15eabaa","datavalue":{"value":{"entity-type":"item","numeric-id":5898984,"id":"Q5898984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$3F330ADF-C22B-41D8-A87E-61924DB96F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d0b44bada0d30b360373a6dd546a04a2f86d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3612982,"id":"Q3612982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$429CBC0F-1F46-4BB7-8B71-E4DDB170DF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560a7a56a61ab95ece13fab5a773875b2c64703b","datavalue":{"value":{"entity-type":"item","numeric-id":4435425,"id":"Q4435425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$B09FADF1-3011-4CD0-9F48-907B8EDA01D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab08d00226b04c0721d8ba9505b575cd11e793e","datavalue":{"value":{"entity-type":"item","numeric-id":5429336,"id":"Q5429336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$7273869C-0047-4D54-90D8-DE3F4CA7B876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639bf8da07c99504e071859b00532e997658e5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4369968,"id":"Q4369968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$E5C80C19-ACC8-41E0-990B-94CB80EE5DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b8f99d262ce6909399e1e7420568adb5f85977","datavalue":{"value":{"entity-type":"item","numeric-id":5429337,"id":"Q5429337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$ACE7FF16-4821-4147-A71B-98D51499F57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00e6460e0cc46faa6508f0969770a4212ece59b","datavalue":{"value":{"entity-type":"item","numeric-id":3637254,"id":"Q3637254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$3FA0D35F-A77D-457D-AFAD-407251A8DDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3406dd5d6c38e371d56b4819c8109129ad6f4c53","datavalue":{"value":{"entity-type":"item","numeric-id":4040298,"id":"Q4040298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637254$907720AF-58F8-4121-AAAE-FE1335498121","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef51496ddbb60778e4fdf08f32808ecb316e5e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5500561,"id":"Q5500561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf0a46849b08892efd21601cf174a20502749e5","datavalue":{"value":{"amount":"+0.7847312092781067","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":"Q3637254$F02CBB65-9BFE-4A44-AA98-1B3F11D7CB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861b4f828cf53cee67f36c33768aad8e52765622","datavalue":{"value":{"amount":"+0.7661188840866089","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":"Q3637254$47F0D8C5-222D-483A-8A56-D5F26630B050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ab08b62b0a6e9049b3c85e3b67773a96cf16be","datavalue":{"value":{"entity-type":"item","numeric-id":3172941,"id":"Q3172941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc38b4e4760b959b3bf3dfddaf69a973030f6d6","datavalue":{"value":{"amount":"+0.7580806612968445","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":"Q3637254$8DBFF27F-13E7-4078-88A0-D8BFA29202D5","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":"4a753ad31a2b46a7298fb3b7d8508b4f212e5ddf","datavalue":{"value":{"amount":"+0.7220611572265625","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":"Q3637254$9281754F-0200-4C91-919E-21067BDFAEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9370bfab7f78eeb6f2fc4c20aa56511d34c82bba","datavalue":{"value":{"entity-type":"item","numeric-id":4899747,"id":"Q4899747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78dcf6921ff6c5f3b81bfe7ce364f6f580c5174f","datavalue":{"value":{"amount":"+0.7213761210441589","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":"Q3637254$EABDCB6F-00E0-4ED7-A2B3-0C24AA65D320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637254"}}}}}