{"entities":{"Q5311288":{"pageid":7340862,"ns":120,"title":"Item:Q5311288","lastrevid":48533248,"modified":"2026-01-05T03:28:08Z","type":"item","id":"Q5311288","labels":{"en":{"language":"en","value":"Formal Methods for Components and Objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2197083"}},"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":"Q5311288$F6D2F9F9-5534-4278-A23B-90BF545F33F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd72f02aa0622ff6b1d6ba05406cc01476c61375","datavalue":{"value":{"text":"Formal Methods for Components and Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311288$95109633-FF72-40A7-A02E-54405562F339","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc75f253b65a51f0ff463d9d28f9bb69d8e02317","datavalue":{"value":"1104.68413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311288$152D4489-9333-4E54-A6B7-24CCD72B42B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311288$B9943FF0-00F4-4C3F-B770-0C1E911ACB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311288$12D39C19-BD5D-4591-98E7-01111FC560A4","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":"Q5311288$32F92AE5-03A0-4AB8-994A-7747BCBA5AEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dd83e30b5291de8829d091c1ba44aab3df736da","datavalue":{"value":{"time":"+2005-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311288$4F897970-CBAD-4162-8A18-5DC6F098E75A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311288$38D1D03C-1CB9-4219-9481-6D6A2B8626CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311288$621B978B-AA76-4C06-8023-A8798095CED2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1e1bc8ba30f14d4ff4e1841210033e6590f4794","datavalue":{"value":"2197083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311288$70756B35-0A58-4EB3-A7CB-299D737C1AE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d701d4ab2eabb5c877299b967bc01c2e297974b","datavalue":{"value":"Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311288$0DA5BC3C-E9EC-4B5E-B029-9F748606FDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817c12554bde4197aca719d15fbc1c086f8c1ac7","datavalue":{"value":"\\(\\mu\\) CRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311288$C607A997-B545-4DC7-A5B1-24400391A2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234f3f981bb7ca44ccd44a76df81997fa4a52abe","datavalue":{"value":"First-Order Modal \\(\\mu\\)-Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311288$B6D5F24E-14B9-473B-993C-E8E3F5D07324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d93300c6625d13dbcc2dbd42fa73fb1f1a70765","datavalue":{"value":"First-Order Boolean Equation Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311288$DCF89FB4-7188-4465-BDD2-97B6618255F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92f16d407ffba996fdf923405a17fd1fcf4d1355","datavalue":{"value":"Data-Dependent Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311288$6BCE363F-1C45-4E6F-B00B-21245C9C393A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678e1131b46646fb5bfe0a22a606e47660306351","datavalue":{"value":"Infinite State Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311288$DFD0F289-A1F5-41F9-BF4B-56A7738B85C0","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":"Q5311288$A869AD66-E9CE-463A-9EA2-9441E1AB9FC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa1ed786298c388d027caeab769f41b7a5bc76c7","datavalue":{"value":"https://doi.org/10.1007/b100112","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311288$9CF81D56-0D8C-4EEB-A451-7156CC7FBBE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0274dbcd86821706e9de55e0d86536c3e55b2b00","datavalue":{"value":"W2604845086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311288$45937329-88BD-49F3-95D2-C095C822EBF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99ecafe502a6089d589afd3ab2b462479562d05a","datavalue":{"value":"10.1007/B100112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311288$265EEDB8-8863-4639-B0E1-A1049329D120","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651f9b5ddd654c3ba88bb7daf6d2b34a0c2ba690","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3c1aae67cff70e060b48d5dd116abde7e69fda","datavalue":{"value":{"amount":"+0.8475000262260437","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":"Q5311288$04FC10DF-EBF5-4E5A-BC73-12C97860C803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad24936036c0a44cf39cec794943b33c28c7276","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfc0c393200be788789ca1e250489c1ba8100f3","datavalue":{"value":{"amount":"+0.7745321989059448","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":"Q5311288$3D292719-9E4F-4CD5-8800-39F43308616F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb1cae236b76638b22305e8b38efe59fb15c9d0","datavalue":{"value":{"amount":"+0.7625141739845276","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":"Q5311288$545AB874-F9A0-4F37-A33D-6FB993A6A4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332e772fe0a808e87c8b45b623fb424c6372a321","datavalue":{"value":{"entity-type":"item","numeric-id":5311482,"id":"Q5311482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824ad176b58ac9af9a64f3c7a2c5770d8eb5a484","datavalue":{"value":{"amount":"+0.7590557932853699","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":"Q5311288$3DA138CC-BD67-476C-AC52-B168D7D157F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e0fa948fbea4a7194203f8a523604ae27ab54e","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4148aab1edc6f0e9084109b2470f751ece1dca83","datavalue":{"value":{"amount":"+0.7556359171867371","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":"Q5311288$FC467B09-5E75-4B6E-A12B-D2FCF50F8014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311288"}}}}}