{"entities":{"Q947781":{"pageid":949629,"ns":120,"title":"Item:Q947781","lastrevid":65591733,"modified":"2026-04-12T03:39:35Z","type":"item","id":"Q947781","labels":{"en":{"language":"en","value":"On model checking multiple hybrid views"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5349276"}},"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":"Q947781$8DBF75C5-1974-4B74-B826-68DC0CB71088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d9bd973657c11f2e444d36c72e2c29eba2e58c8","datavalue":{"value":{"text":"On model checking multiple hybrid views","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q947781$A96FE3D9-B89B-4520-837F-57DA3ABFC049","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d67e5e9f2e501e7aabb93f34aefb7b2d647c724a","datavalue":{"value":"1151.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947781$20749669-4418-4F9F-B5BB-9C08F5FDF908","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1351d80d19b9bc2e7e6da4e8dd68127a4c720f63","datavalue":{"value":{"entity-type":"item","numeric-id":947780,"id":"Q947780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$C6675E4B-B416-4D3E-8E31-85BE0BFCBC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$C12FC280-7E54-45C3-B568-EA4D62CDD563","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$2A058E69-7F7D-481C-84B8-C16371FD67D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66744bbe42ddef7006bfac5321d344ef281b5b79","datavalue":{"value":{"time":"+2008-10-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":"Q947781$0999A2A8-4629-4EA7-B1E5-12BFA1434BAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947781$11013EEE-1792-4BBE-8399-C54AEBF51301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db5a557d097d65194621e677a3c53612881a25ac","datavalue":{"value":"5349276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947781$C9E32158-A002-4A0B-BC09-0021E83FEC90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q947781$A86D37F0-7523-4F7C-A58D-91D64B67508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q947781$9D6AB17E-B4FD-4E44-9CA7-9607074F4C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q947781$255A2F6E-F23C-4EF1-A46F-D55BD5AF115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7491970eb69570d8a1e20b0cf2695f5eda1a01","datavalue":{"value":"consistency checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q947781$E7D7FE24-E3BC-4C23-8DED-FFF47CF2C200","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$53789713-3C17-465F-8901-D411A98D583E","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":"Q947781$5C279F3D-5A98-471D-9EF6-0307B91A5963","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a302fafe75d0af23f412c7bd95f26c3e3d94e89","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.03.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q947781$41C63DB9-7520-4537-82AD-EEE72EC91544","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aedf30d232a852e5fc84e2f55e761575eb50d6f","datavalue":{"value":"W2029263782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947781$756DBEBF-A42E-462B-8485-2548ACBD0426","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$65931398-C073-4383-AC05-6F25C2FFB30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$856646EC-3B32-405D-9030-5472C5E79779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$C9317E1B-64D6-431E-BAFB-01B80846516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$04D42D58-B437-4643-93DC-C0DE684DD73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d04b670e7ad6909e8ece5ea78f4e3f9148ab5e","datavalue":{"value":{"entity-type":"item","numeric-id":1581061,"id":"Q1581061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$7B3C25F2-ECC6-4930-AB7D-5EC39543DC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$9E08C556-BBB0-4E4C-8035-010006301386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$B9A72391-EFC7-44E4-BBD3-E03E4F61F47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$A3244F2D-AF4E-4A51-87C2-2F3E54010E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f488ca0bee76ae556527d1ce554b7c31a7e653","datavalue":{"value":{"entity-type":"item","numeric-id":5711491,"id":"Q5711491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$D3D46C23-0988-4864-8994-FB3A6664DF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a096d11e47f0b3983b8ad53ce1650ad91a3578d3","datavalue":{"value":{"entity-type":"item","numeric-id":2848138,"id":"Q2848138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$8885CF65-175E-41AD-8332-9377F61E9727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$0366468E-481D-4CD4-A160-3905ED629D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a4278516060e697fdc8e4d4af48d22b76c754d","datavalue":{"value":{"entity-type":"item","numeric-id":2506828,"id":"Q2506828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$14C6EC3D-1918-4401-9A60-B51024E4A552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9dc093817b6f13a523112475b3cc8ab5f06535","datavalue":{"value":{"entity-type":"item","numeric-id":2576575,"id":"Q2576575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$03AEEC75-989A-4137-816E-949F1C2DCFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af39ba7611ce840efed59d15b9062e58635f61","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$C90F7127-07B2-4A36-B4D1-A83791C31348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d244bb47b7033a2215bba62f2b5aef99a339c","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$6B98BE8C-2F17-4B85-88DB-98D24D3AE06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$D82B6E20-1C35-466E-A662-7CF439AA1058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5047733be91076bbf7ed3c473daabe58bd931828","datavalue":{"value":{"entity-type":"item","numeric-id":2767161,"id":"Q2767161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$A445FD21-F5E4-4DB2-97A9-95E0DCFE8669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$947EEA9B-D3B5-4099-84CC-70996030844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f62c4731187b7640525ed80834befb6b49bee6","datavalue":{"value":{"entity-type":"item","numeric-id":947781,"id":"Q947781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$2F4E202B-3271-4F2B-9EC5-E3FE862A7CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f33fbe02729f9cd505ccdfbd31fa221502a33b3","datavalue":{"value":{"entity-type":"item","numeric-id":2852361,"id":"Q2852361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$4C551870-8730-44AE-942F-4C72CC1D38DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e8305dd6156397d433e508ae60e0123d3f96d4","datavalue":{"value":{"entity-type":"item","numeric-id":2849846,"id":"Q2849846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$B7D73AAC-E24E-4B87-A6D4-61628093592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001df6d4c2f40e31c30070e72341fc800e24361c","datavalue":{"value":{"entity-type":"item","numeric-id":5310632,"id":"Q5310632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$1AC22796-F6ED-4094-B9E9-4BFB7ED4BEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060505c5db6eb45a05e7e2670364e38838a4c352","datavalue":{"value":{"entity-type":"item","numeric-id":2576578,"id":"Q2576578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$B0C6ACCC-04C8-4175-B2E0-6E4ED8DE9926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$DFDE82D1-612C-4E9A-BC43-CEA34C93D71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bcae1e98e85f39f21100a59c49a0c6f6eb123b","datavalue":{"value":{"entity-type":"item","numeric-id":4818935,"id":"Q4818935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$A81BDC8D-4573-4F91-B134-23D5256E232E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1166c2c780e84fac7578b928060fa8bdd72e28","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$0631EE74-3DB5-4BB2-83E6-32C850B3C433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$AF3E993F-6094-416F-88C7-B543F3C74F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb49e3dd1819a074fe65ada398ab3d73a669dcd7","datavalue":{"value":{"entity-type":"item","numeric-id":1188644,"id":"Q1188644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$7084513B-130C-4042-AB3D-C0A7E3C5D8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q947781$BE54FDDF-56A0-416B-A90E-464FB3DC43CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"964ffd84066ca7bcc69201cd6eae5fe1fe749a59","datavalue":{"value":"10.1016/J.TCS.2008.03.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q947781$F20BA125-8042-453F-897F-FF1B7ABD0C57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba1b079e0249dc566da6accdc8887349cee392d","datavalue":{"value":{"entity-type":"item","numeric-id":2852361,"id":"Q2852361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c82d6bbacdb640200ec91f8130e12311ee19b1","datavalue":{"value":{"amount":"+0.768858015537262","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":"Q947781$A5A8D812-1FB2-4B10-8FF6-514C9549ED79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545b7bf9dce5cf86f48a34fb4db61cea8421329a","datavalue":{"value":{"entity-type":"item","numeric-id":2851539,"id":"Q2851539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1249953c281d8f87fa2216af6d78f8c980b3653e","datavalue":{"value":{"amount":"+0.7344107031822205","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":"Q947781$1A165B46-F871-479D-97C3-D89CCC6010D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7471bf3a6991f8a31cd53d6ea517eb692119f96e","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1417893bbcc69d3ee166464298fa654592e678e7","datavalue":{"value":{"amount":"+0.7333733439445496","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":"Q947781$5591EF83-E04B-45A4-B504-67D8BC17E076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e8c7d859063b7ff5f0146e0691c82aa8b6464c","datavalue":{"value":{"entity-type":"item","numeric-id":4917056,"id":"Q4917056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d3832a53eff4203d1f981a621c1c379cacc473","datavalue":{"value":{"amount":"+0.7239762544631958","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":"Q947781$23E60B90-5700-4AB8-B5CF-F8C7028963C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5320d10f1d2fb87e8b27dd3ac24de72f8000f9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4806210,"id":"Q4806210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b320855d9f8348be1f42eeaa8bccedc5db7bd96e","datavalue":{"value":{"amount":"+0.7214928269386292","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":"Q947781$F4D81EC7-B57E-4E0D-9A87-69CA0C32B94C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On model checking multiple hybrid views","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_model_checking_multiple_hybrid_views"}}}}}