{"entities":{"Q2423772":{"pageid":2434515,"ns":120,"title":"Item:Q2423772","lastrevid":74198154,"modified":"2026-04-14T18:54:50Z","type":"item","id":"Q2423772","labels":{"en":{"language":"en","value":"Logical characterisations, rule formats and compositionality for input-output conformance simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069251"}},"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":"Q2423772$3E9C4554-F3EB-44AF-A46A-245EA176B4CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92dde1d5e9166cd5a51041d6adb8e2d42e0edeb8","datavalue":{"value":{"text":"Logical characterisations, rule formats and compositionality for input-output conformance simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423772$4A636BB9-C1D6-496C-B98C-73639ED7E4B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751c4f68cc463ada2ec28df343291a5b595fd601","datavalue":{"value":"1423.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423772$6A819A81-8638-4925-A327-2804E1DCB6DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$D3C85067-8E00-4F72-A5A5-4C0CDBB07D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7478430eb26658d7e19e913ffefd51e148e64d","datavalue":{"value":{"entity-type":"item","numeric-id":2403820,"id":"Q2403820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$34959987-6EA3-4C4B-9279-7CB084F80950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$85F716B3-13EE-4071-A506-D4898433ACB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"741c53fc912477e5a1a01bbb10608ec4748d1085","datavalue":{"value":{"entity-type":"item","numeric-id":843210,"id":"Q843210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$E212C275-9CDA-45D6-AEF7-EEF471A3BD90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$F9B9B423-F76D-4007-A7DB-02660CB41D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2423772$81D51054-D279-478C-A6AE-5CA4A908CC11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423772$6A865FAD-0E57-493B-87FC-E80B35502B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423772$51E749A7-B813-4C8E-8306-5EE09580FDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423772$3280935D-B294-42BF-8C79-09BEFC154EAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0041ea61fd89b31393c8e3177930c3bf58d15eb8","datavalue":{"value":"7069251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423772$18B68620-3FA0-4D5C-8190-FC69384FCF97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"136ab350b91aa7526715b2294f52ae92cc8dfe37","datavalue":{"value":"input-output conformance simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423772$478A0EEB-FC31-4D13-B1F7-4321059216A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423772$FA570259-1BC8-4622-A416-35F8D82E075C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70f2b66d80319d5c576190c5bbba86ed8f1068","datavalue":{"value":"rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423772$2DF3DF28-F587-42C5-8217-583582872A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423772$5D5B1E96-BAD5-4B36-9183-C111B1118E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8531273b707400db5002931577f083de3a064ede","datavalue":{"value":"modal decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423772$45934DA6-1A58-40A2-9A7D-BA76B1B232BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$F2E9575F-83AD-412D-9DE0-01BD6CF1AFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$F345B580-5482-470A-9F43-2472A2FB35E8","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":"Q2423772$E7881F8F-D139-41C4-BF4A-8A28F5DD93AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"651ffe38225f1eb74ad6814a942b9e3500b5e6bf","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.04.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423772$2B277106-783B-4A16-886A-C55F123557B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05e844c7f0c553bab5e95ccf87ca88face918803","datavalue":{"value":"W2936935908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423772$B77B0BD7-BB35-457D-9611-AF7371C60FD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32998adf8a72dec4fa53d0a050f21591d857daf1","datavalue":{"value":{"entity-type":"item","numeric-id":3584922,"id":"Q3584922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$B4B6A2A2-15FD-4FE9-A74C-D3B874E06932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ad14952dbd1734045a92ecde7faa085a2d87dc","datavalue":{"value":{"entity-type":"item","numeric-id":2971123,"id":"Q2971123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$7CD13E42-A48E-4584-963D-CDC240EB9DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$A2843F68-6437-42AB-94FE-9D24FD9613AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f0edd7e060f38db6ad7ad22f939c539dacf135","datavalue":{"value":{"entity-type":"item","numeric-id":2883115,"id":"Q2883115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$9C023060-C92D-4EB1-AE2D-0B9E0FB86899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abbed46c999b43d8e706b83544f22810e1f7af2","datavalue":{"value":{"entity-type":"item","numeric-id":338614,"id":"Q338614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$AF01884C-C12C-4A5F-B95E-1F92645D0714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfdb923653a9756b26bec76370e9c030224aafdc","datavalue":{"value":{"entity-type":"item","numeric-id":3455865,"id":"Q3455865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$3B4DB691-8C5D-453A-96AA-A8AC58DD34F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$1E5531AE-3891-400F-8F0F-25ABA3251EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$8EC709E9-19E4-4FFF-BBE2-9C606B293402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372d4a80b006dcff5f0cc64b3b16ae37620397e3","datavalue":{"value":{"entity-type":"item","numeric-id":1194327,"id":"Q1194327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$1BA7AD00-C80E-4C43-A55E-FF2E8E5781F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$9222F9E4-10F2-41CA-8F48-320E066EDD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$27C8D340-F225-4143-9F74-D983881EB69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cb3841cb9de99ab18385b9593c3ef6b8c99848","datavalue":{"value":{"entity-type":"item","numeric-id":2838240,"id":"Q2838240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$C8DC94B3-3C99-4884-B0AC-EFFDFC8C22BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99343653940d45cce79180132fe998dc95509469","datavalue":{"value":{"entity-type":"item","numeric-id":3525087,"id":"Q3525087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$5D7424CF-17A3-41DB-9C14-EB7E1620A7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$1DA288E1-53CA-477F-A90C-4E2FAAC9770C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$9AF0B837-4161-489D-9540-4FDD128419F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f169d1d0deaac447dc236e44ef2dcda7febabf","datavalue":{"value":{"entity-type":"item","numeric-id":3343432,"id":"Q3343432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$C1DAE188-9D50-4ABB-BD63-3845CBE35481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d65c1c242c9aa979c851b1be83f435c42bfb9d6","datavalue":{"value":{"entity-type":"item","numeric-id":1785863,"id":"Q1785863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$43DF3A78-8653-44B9-A134-085E91F725D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$AD70D5BE-CC9F-40F4-8646-4D44EBB14E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$B0D9A4AC-9306-4A4F-B84C-11792D8EEECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$3FF04422-5D25-4410-A751-A4C1511F08F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d20edb64bd40b7b69e2d74076f68d8a2f026e94","datavalue":{"value":{"entity-type":"item","numeric-id":511941,"id":"Q511941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$A868D304-3121-4C35-A4EB-4C3BC78DD649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739ecfba3b12ea1cb28dfadbdfaef9c3794f6638","datavalue":{"value":{"entity-type":"item","numeric-id":1275455,"id":"Q1275455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$D8F63FEC-1C66-4145-A6F5-045C44AE7818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$B6C68F4F-FA30-4DCB-A622-A8F8E85A18B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$AD700FBB-F5A6-4924-9B20-AE1BCB09AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$3C5D29CD-FB21-4D53-B163-D12BD2BE2F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$82579F12-FA70-4D94-BAD8-3FBAC7932D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$3DA4D847-490B-4899-87C7-45E4AC2C4FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$E259616F-7CEC-47EB-9B75-A42FC484FEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$F7B1378F-07D8-46E2-B521-31F8BE36B068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a018764f0b9350fc40ac73cf6c173817a8d205","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423772$F348287F-CD95-408A-92A9-676A976B1AB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14d79d30975e2d18c2ea1513972a082523de63d9","datavalue":{"value":"10.1016/J.JLAMP.2019.04.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423772$678EE4C0-C0CF-4625-8AE9-235792F16833","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3532f29262858018be72377bc766742ce663843","datavalue":{"value":{"entity-type":"item","numeric-id":2971123,"id":"Q2971123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c107c27d4b9cb72c287c71decf44b215ea72538","datavalue":{"value":{"amount":"+0.9664614796638488","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":"Q2423772$3DBE1370-F228-4397-92BB-085C80FA513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38152ce290fb5c2c782ab3cdbe1b63360e282cee","datavalue":{"value":{"entity-type":"item","numeric-id":1785863,"id":"Q1785863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce44a59f4ecd4ab3e5685d21c54611c97018bbc","datavalue":{"value":{"amount":"+0.794193685054779","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":"Q2423772$1BB1CB2B-A219-4F32-B8FC-A0279D8CBBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ba29b4a9504baba7d2e12d66c32f5efca9b37e","datavalue":{"value":{"entity-type":"item","numeric-id":3585031,"id":"Q3585031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c4a9370a86063a6b4032fda262b65a4b9b2ea7","datavalue":{"value":{"amount":"+0.7635091543197632","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":"Q2423772$55F7D7DD-A7F2-4D69-BB97-226CFF7D9BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07924bb0d752d09faccbb08cbaf47807c804305d","datavalue":{"value":{"entity-type":"item","numeric-id":763529,"id":"Q763529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69395a3b0d57d29dc92de3c3156a98f4c2ebbddd","datavalue":{"value":{"amount":"+0.7324538230895996","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":"Q2423772$D4F18B73-09AA-456E-86C9-C422717D5B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33119db50159d00177158a94ed6e9b147547b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b26c70ef0ae1e4442c1360bf1aedde009ec32d","datavalue":{"value":{"amount":"+0.720321536064148","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":"Q2423772$0F267796-65EE-46A5-A381-88167E5B35EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical characterisations, rule formats and compositionality for input-output conformance simulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_characterisations,_rule_formats_and_compositionality_for_input-output_conformance_simulation"}}}}}