{"entities":{"Q2863862":{"pageid":2874582,"ns":120,"title":"Item:Q2863862","lastrevid":51884987,"modified":"2026-01-20T11:39:50Z","type":"item","id":"Q2863862","labels":{"en":{"language":"en","value":"SPHIN: a model checker for reconfigurable hybrid systems based on SPIN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235731"}},"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":"Q2863862$4BD3EDB9-F865-4160-963B-6995226C0E13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3280b988d0f4ad03df64650e811f1fce9c1ddc3c","datavalue":{"value":"1276.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863862$CB91367E-2C16-4288-987A-5C3CA0FDB95E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a13379a1e87db974a7fc326e41833ff56b0b697","datavalue":{"value":{"entity-type":"item","numeric-id":2863861,"id":"Q2863861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863862$ED0E8486-E714-4202-82C1-00142C8318EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e384ba9e92c2d1801e5e36038afcb91974b185","datavalue":{"value":{"entity-type":"item","numeric-id":917542,"id":"Q917542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863862$4AC37984-4339-4F04-8EAA-D39B62E8476A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"355040910cd530dba8b668ad97f83f789bbfc22c","datavalue":{"value":{"entity-type":"item","numeric-id":1194339,"id":"Q1194339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863862$9CAC6280-1B13-4892-869B-90A6541DC419","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863862$3B300296-CE95-495E-A2FF-CC674627E124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78f97b17529790ae161b06146a52d9c639c8896b","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052564?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863862$B0FDC47B-53FC-4A63-8B17-9A24803340D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863862$DCA87D58-5421-46E3-A5A1-AC8CE49DB3AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17fb231d55a12649f3a6f8d3ee75fe426d62a00a","datavalue":{"value":"6235731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863862$681F9539-A600-446B-81C9-D1916354CE11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863862$7AE3C955-B33A-40AA-8969-BA2156D128C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863862$92D1E577-BE13-4B34-9633-8537A6E0E145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772c4ee50d131f1a35ff4b31da11ffcdcf02c815","datavalue":{"value":"SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863862$9F326E2E-B26A-4410-8B44-AFBD75DD0C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863862$866DCA78-F920-4C40-B65D-5EA787CF219C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863862$928A9080-C6F6-4BF9-8039-8C2F310F19B0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863862$0C8CFB3C-1266-44D6-9D1A-5646E098DA6D","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":"Q2863862$E699D133-EAB4-4D27-A767-22BA4B0178A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863862$12198F29-7B0E-47D5-B722-9D6F18518876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863862$68E28A45-76EF-443E-AA1F-8D04B4B52765","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":"Q2863862$164D7E34-2288-474A-ACA2-C2A82B240884","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c92d78b787fdab1bb44eb5141e8b3373afde0249","datavalue":{"value":{"text":"SPHIN: a model checker for reconfigurable hybrid systems based on SPIN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863862$3B460232-373A-4756-8278-0C6FAFEB12B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7406a6043450609f29a9adf09cf8e8c5eaa87040","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60732b66849effdba799cbb07566921e184ca184","datavalue":{"value":{"amount":"+0.772179126739502","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":"Q2863862$095474BC-9396-45C8-BFE3-4ECE6D18DEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab937f5fc54987afd2c4ffd2d6d9098770ac59b","datavalue":{"value":{"entity-type":"item","numeric-id":4738462,"id":"Q4738462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5eb714ecd9b33b9782dd6782f91fb09c4b34af","datavalue":{"value":{"amount":"+0.7330984473228455","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":"Q2863862$25DC4F26-0237-48BA-8796-AA348FED8675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993bd27c2984201ac55b999df189272519f42c72","datavalue":{"value":{"entity-type":"item","numeric-id":2729079,"id":"Q2729079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfdc2c3c0d2739f2e799daff1303cca9c1168b4","datavalue":{"value":{"amount":"+0.7291356921195984","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":"Q2863862$5D1357B5-8FAB-4875-ABDC-9AE43685CF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5baa1ff0d2a89f74784a86394a5feb60447cb3","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ced90049fcfb2bf23184f582134c483e9a2d0bb","datavalue":{"value":{"amount":"+0.7262869477272034","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":"Q2863862$C1E24759-00B8-4A4A-B4C3-BAF0F1078A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161e6a86adffc14a091f92809d0baeb11758326d","datavalue":{"value":{"entity-type":"item","numeric-id":4531763,"id":"Q4531763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f95f0df8748e7fdb39747edab9339c88062b9ca","datavalue":{"value":{"amount":"+0.7253006100654602","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":"Q2863862$F275F78D-7FD2-4652-870B-4530AAC03A92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863862"}}}}}