{"entities":{"Q5429307":{"pageid":7458881,"ns":120,"title":"Item:Q5429307","lastrevid":50224637,"modified":"2026-01-13T14:00:34Z","type":"item","id":"Q5429307","labels":{"en":{"language":"en","value":"Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216187"}},"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":"Q5429307$4E8B2C5D-D64F-420A-967B-785BEBDDA5E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8345e672ca2f4ad032c8fb5463cc46ac4e233ae3","datavalue":{"value":{"text":"Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429307$67A79A47-0C07-48F4-B22C-C6135B90E2B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54bc20f76aabed85924ea7cfd04de2c118ba6acf","datavalue":{"value":"1137.68437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429307$4B7AED56-B856-4417-AF80-E046F7D4AE11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"500512d3a4d8952a16516fe5d7e7de323329f337","datavalue":{"value":"10.1007/11589976_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429307$CCFAC494-FBE7-404D-B4E6-330A72D070C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429307$9FB1EBD7-9C58-4D4B-B2E6-95D4CB1E7E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08062c549305a892bcd66aa35cd891003cb8441f","datavalue":{"value":{"entity-type":"item","numeric-id":2178225,"id":"Q2178225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429307$44CF16A0-A245-4291-AAC7-16D5BB653EA2","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":"Q5429307$573961BE-4955-457C-9667-8F60BEC9FDC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429307$81E0DE06-0B8C-4368-BA97-282BBECB29B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429307$93C9BA52-9585-422E-B736-9E8A576A8479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba3856055e9a262231364e980b8074d092509229","datavalue":{"value":"5216187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429307$445FD68D-83A8-4620-96B4-14205F7CD44F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf9c2b5fcd46606db43506dc4d0fb69d64da19","datavalue":{"value":"Formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429307$1B70ADC6-BE57-4207-9BA6-E6B2B0E65660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5a7d28cfc16b680ff0d0664fa463467c74f1c8","datavalue":{"value":"specification matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429307$0E1AA0D6-933A-4E5C-83E4-0D4C0F500214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429307$53201576-854F-494B-8182-53C15F281FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429307$53596690-B666-4082-BCFD-70F484A434E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ff8d9100fe4023ebe9b3aaea4870e2a981efb7","datavalue":{"value":"finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429307$C2F4CE00-1B60-47C0-AF92-30FF82099593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5429307$A5DA00B5-9880-4DA6-A6E6-EFF192FD7C47","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":"Q5429307$452EC7D7-3E8C-42C9-91B7-C14A8F479067","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2dcebdb590d82f2e59ecdef666682a06aef1929","datavalue":{"value":"https://doi.org/10.1007/11589976_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429307$4E7002F6-CF75-4E9E-9F91-326A079FDDE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73f25ffe63b5bb3c64f1fcbbdce9bf51627ad9c2","datavalue":{"value":"W1569688832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429307$FA3B0D5E-86D8-4878-A6CB-9A935102F7A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68231b0c37f0a9c262f34722041b0ffaa5090851","datavalue":{"value":{"entity-type":"item","numeric-id":2372190,"id":"Q2372190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70b06ceed723e2875344696472256486ea346b6","datavalue":{"value":{"amount":"+0.8354275226593018","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":"Q5429307$AF7E8B44-D24B-48CA-9661-DCE020226B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcda194e281e4c9624248055ffffc54aa4874982","datavalue":{"value":{"entity-type":"item","numeric-id":3046793,"id":"Q3046793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b14823463d802f993ebf6128c2713164e18d56","datavalue":{"value":{"amount":"+0.6972350478172302","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":"Q5429307$ABF08A46-36D6-48E9-B20A-EEA906C04D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd52be13693c340a910930de69f076c198064ae","datavalue":{"value":{"entity-type":"item","numeric-id":4851578,"id":"Q4851578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a657c6eb404f1554773ee52b8282ebfc1652ee44","datavalue":{"value":{"amount":"+0.6414151787757874","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":"Q5429307$7D6EAEE8-71BB-420F-BB3F-88C039A76AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3346f743f9811cf40f2039c6f7f8cb9c2512dfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4413952,"id":"Q4413952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07a1d96cadd267a68f6e81620d6e01853f67ab1","datavalue":{"value":{"amount":"+0.6381661891937256","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":"Q5429307$0B84DCFC-6B92-471E-82F3-42272DB32F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827609a1db87c620f084894da4fd6720ccb7dc4f","datavalue":{"value":{"entity-type":"item","numeric-id":2177781,"id":"Q2177781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c708383f22d90ca1a4422b7352e9aa31a44d96ef","datavalue":{"value":{"amount":"+0.6380429863929749","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":"Q5429307$70C529BC-0078-47D4-9700-B3FA107A3D2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429307"}}}}}