{"entities":{"Q2986750":{"pageid":2997474,"ns":120,"title":"Item:Q2986750","lastrevid":52804418,"modified":"2026-01-23T13:18:11Z","type":"item","id":"Q2986750","labels":{"en":{"language":"en","value":"Heterogeneous verification of cyber-physical systems using behavior relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718023"}},"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":"Q2986750$E42B5551-AE3C-4F01-9695-4283E35D37E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c1c390ea807a17d979d7a033934a2a9420a60e4","datavalue":{"value":{"text":"Heterogeneous verification of cyber-physical systems using behavior relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986750$28B9A57F-0D64-4555-A50C-81414379FB91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94e2880fbe80e51133bf6a15627a05bead36d439","datavalue":{"value":"1362.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986750$04384AFF-3FD3-4A5F-AD41-EAE1A575DC41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"337d107ede89810c0745abe0653a31d20d52b1f0","datavalue":{"value":"10.1145/2185632.2185641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986750$C3D68E29-F9BC-453F-B1B6-1C6B11117273","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b323237c43d587292df536235587252d28ff523a","datavalue":{"value":{"entity-type":"item","numeric-id":2982918,"id":"Q2982918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986750$C6CBB5F5-4C9E-4347-8624-5F4F55A5C5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986750$16286C53-E5E5-4C53-A54A-7A67B711F12A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986750$537DC30D-7241-4098-8048-95D1B9297005","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986750$5DFE4994-C6E4-4F6D-840F-764F12ECCDEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986750$B4370913-991C-48A3-A099-A5852A312012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986750$03DDD8FD-53E5-4EB8-8515-4D001E7311A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cc1269c049b8500d97a5f786bbebcc2f5e9a1a5","datavalue":{"value":"6718023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986750$5F71862D-D866-4D71-AE4A-AEAE2B679675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7bc214051520d6e4107d2381d89949eccabb3c8","datavalue":{"value":"behavior relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986750$CF01C9D5-5BFB-42AE-AB5A-9336D5A8A57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986750$0366801E-DD80-4013-A176-A4207C9F9969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2650deae9e0656c5c2b97078e27cdf0fa7d3693","datavalue":{"value":"heterogeneous verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986750$9F7FAD7F-5929-4456-8549-2682A547C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"490ed98ab2e66b62fb1f70eccc67629e1f5b7af1","datavalue":{"value":"multi-model verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986750$EE60394E-C5BC-4468-AB1A-C1D280EB3058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd57135f2af92f4e96c28d2fa51ba6cf02b7a65","datavalue":{"value":"semantic consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986750$231BD50B-26EC-4A2F-A1D8-2EE8A7B490ED","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":"Q2986750$C1C76E1B-516B-4E8D-8843-F6F5FFEFF578","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1d6391e81ce19fb05b80eb1060e8a01e24a75c4","datavalue":{"value":"https://doi.org/10.1145/2185632.2185641","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986750$543F12BB-56D7-4ADF-AD34-C4A1E07B066A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5cf1b1deb667b45ad696dc37d65bc2dadca5477","datavalue":{"value":"W2075810892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986750$1D852E8F-487D-4D4E-8D18-BEEA86340575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2fa3ed376f878b99dee53ccf41efae1d6d61e2","datavalue":{"value":{"entity-type":"item","numeric-id":2986931,"id":"Q2986931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1fd64b1e643feffcfbb35aca772ae1057c07edc","datavalue":{"value":{"amount":"+0.7579244375228882","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":"Q2986750$F5AC7B49-F25D-4851-A53C-77A1CCFDE01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e23350595f7ad29c9ac2cd37aad5b261b70135","datavalue":{"value":{"entity-type":"item","numeric-id":5703937,"id":"Q5703937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29a2d02b9ca468821b52bd820edd5b18de81b61","datavalue":{"value":{"amount":"+0.7360309362411499","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":"Q2986750$C5383C7E-0ED0-4458-8C09-ED0FCE76876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af7ecb777996738f90c3f9c2c0648644ee8d3af","datavalue":{"value":{"entity-type":"item","numeric-id":5265639,"id":"Q5265639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0454f329f48014a5d7303826e7442cedd54c21c9","datavalue":{"value":{"amount":"+0.7354742884635925","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":"Q2986750$A36F5A4E-4EA4-4239-A213-9B5F8496E606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef28cc9defd76d7db0e1568a9770155ad1dc436","datavalue":{"value":{"entity-type":"item","numeric-id":5194121,"id":"Q5194121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ecba78540a289fd5262ea51049e01b7ebb7c23","datavalue":{"value":{"amount":"+0.7200828790664673","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":"Q2986750$D73B96AE-A148-4258-ABE0-3AB76F72FD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54637c47a58afdfa2c477a578c83587b32f89bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5019667,"id":"Q5019667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a91e2a6c4bf77bbe2bc965b4c269c9971692ab","datavalue":{"value":{"amount":"+0.7178248167037964","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":"Q2986750$AF85EC2E-BA72-47CE-8405-0E4D5784B9BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986750"}}}}}