{"entities":{"Q1749133":{"pageid":1759875,"ns":120,"title":"Item:Q1749133","lastrevid":69128598,"modified":"2026-04-13T04:57:59Z","type":"item","id":"Q1749133","labels":{"en":{"language":"en","value":"Intra- and interdiagram consistency checking of behavioral multiview models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868753"}},"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":"Q1749133$6A8FB287-1F69-4210-B59E-DBD22E3BB21D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6970903971640b659fca092b156c9f20c387e555","datavalue":{"value":{"text":"Intra- and interdiagram consistency checking of behavioral multiview models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749133$7271C9C8-1D4C-4A37-AF31-2EC48A2C295F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6df6cc2fce6337f1e3a3a184baa6ce8d0b57c66","datavalue":{"value":"1387.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749133$E201B940-064B-46BD-988D-DC5EA8B20C7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bda8b17f08150caf64f597dee070f456da18b592","datavalue":{"value":{"entity-type":"item","numeric-id":1749129,"id":"Q1749129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$9A7D9E11-2F22-4D46-9753-E44104B21537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02bab05d34b21a3a25b1458798a97ca9c116ec86","datavalue":{"value":{"entity-type":"item","numeric-id":1749130,"id":"Q1749130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$4D31ABF4-1BAC-43D1-8A8D-D1E497314CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b25f660413993e782d2ee610c2c97aab855883c","datavalue":{"value":{"entity-type":"item","numeric-id":1749131,"id":"Q1749131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$6E859741-2F58-43E7-A2B7-84720FE5129B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$4E59F92F-AB66-4792-934A-CFE569737BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0220313ef97ab14147e47f1737cbbd6398a6b7da","datavalue":{"value":{"entity-type":"item","numeric-id":1749132,"id":"Q1749132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$C58CFE0F-EDCB-4E01-86BB-FE5877EFC316","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$443940D2-366B-4D45-B883-A5247B4B8FAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749133$9E2B2FCE-F610-479D-A3D4-DE1112D15591","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749133$F214A601-3F4F-4D9B-9116-08F2933E36B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749133$46649902-702C-49C3-9529-4CB833CA6FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749133$466AF5C7-E2F7-4C26-8F01-2E239CADC73E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc889100c4b37696867856aa0f619828d81a1355","datavalue":{"value":"6868753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749133$036A409C-95F7-47FF-B932-5B3FEF8C0AC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32050442e49347e2834345faa1105e6a52fdf01f","datavalue":{"value":"multiview modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749133$D149B989-E149-4278-8973-94545A171085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6cd0fe8b5db87cde19e4d2089f78100f0e8462b","datavalue":{"value":"unified modeling language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749133$05A518D5-6C3A-4257-A1FC-6FF9F8CC3DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7491970eb69570d8a1e20b0cf2695f5eda1a01","datavalue":{"value":"consistency checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749133$E10805B2-54BD-4BD4-9A5D-52F14C76C3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37bd8cee5afb13e25fb0d8131c9af9e127681577","datavalue":{"value":"SAT encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749133$77B2780A-D5F9-493E-B21A-5A9A7392D6C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$EFA2A5C4-B11C-4BF1-A583-666A2025E254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"560fb465472ddc450906ab47cc0fc10e6717af24","datavalue":{"value":{"entity-type":"item","numeric-id":21454,"id":"Q21454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$18B3CB92-E1C2-439F-A916-DF7EA254C2B8","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":"Q1749133$B81D3FDF-463D-42D3-9942-689798A2A2E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b67ac01ef1e7b97adf664047bb62f7819321b848","datavalue":{"value":"https://doi.org/10.1016/j.cl.2015.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749133$987C7429-FFF7-47C2-BE4D-B0D1788F046F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8332edb71b21317eba28c6ca7fd857fa9ad43d5c","datavalue":{"value":"W1710803789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749133$A93FD04F-25CF-4C8F-B73D-1DDAB12713D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab180ced3b47c2b8623bcd604030684fb550dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":617925,"id":"Q617925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$F7A8C6C3-56F6-4D2C-BC3E-4DA7CB8D70B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$96C99A41-B626-4C10-8FB4-BDE6908E71CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c001af4cc00442f420aef6cafb4b13fb019be316","datavalue":{"value":{"entity-type":"item","numeric-id":1749133,"id":"Q1749133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$E91EC7D4-3B31-49EA-A283-2D76D5EAE525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe928bff0040e9747f4525f9e669d4af34e2772","datavalue":{"value":{"entity-type":"item","numeric-id":3402288,"id":"Q3402288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$EE2D4664-805E-4CA7-8E96-0A16469AEDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b64c34bc8e369ab1a56b936e389f0e93eddad0c","datavalue":{"value":{"entity-type":"item","numeric-id":5308370,"id":"Q5308370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$E7612224-8D40-49EE-B30B-01D3EDD65B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$9B829C38-4DE3-40E2-84C3-B63E57683299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$7D49273C-63DE-4A89-9842-D66801413E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d40709e387527e42c939c4c6f5c08a05ca91f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3012970,"id":"Q3012970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$8E7EA7F6-D774-40EF-9E13-270B7C9AE0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749133$AA99D017-E730-4FD0-9B9B-5C066CA8E0A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c9119cec99ab1ee9cabfd09de48454d5579c36f","datavalue":{"value":"10.1016/J.CL.2015.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749133$2355695A-BEB3-4E45-B0BB-0B8C489EE8AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6b66ee47d9eba38f6db3e490c8c0967adefc30","datavalue":{"value":{"entity-type":"item","numeric-id":1708178,"id":"Q1708178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8d2255b28b216ecb6ec1c1dec5948b6153105d","datavalue":{"value":{"amount":"+0.8037444949150085","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":"Q1749133$1C1E2151-DEC5-4A71-8484-D4941FD8C614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d06f405e0bdefdd7fd5bbdb6850b1b4e34c3f5","datavalue":{"value":{"entity-type":"item","numeric-id":5902549,"id":"Q5902549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742a70a0296e38c91b66b00d99780d4e393f8250","datavalue":{"value":{"amount":"+0.7961154580116272","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":"Q1749133$B50FA42D-8DBA-4218-A307-9221433AE8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d34be700f81d262fbe030e077c22631b16856df","datavalue":{"value":{"entity-type":"item","numeric-id":5305761,"id":"Q5305761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ce26de050b072f24d9fd0b043af6cadf1297f4","datavalue":{"value":{"amount":"+0.7687769532203674","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":"Q1749133$F2FA755F-94A2-4AA0-9727-A787B5EAAA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52cb310e817913d44ecdfc7859361c38c0407d6c","datavalue":{"value":{"entity-type":"item","numeric-id":5465489,"id":"Q5465489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6eba01054785fc8404daef9692c2f876ff82c4","datavalue":{"value":{"amount":"+0.7662293910980225","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":"Q1749133$980D6093-9D3B-4E64-A4E4-31F6B9A51CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b0a5426e86c17c482dbbd0aa569e1f06ddf86b","datavalue":{"value":{"entity-type":"item","numeric-id":1858428,"id":"Q1858428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf56fbc33b460c251306f17623e9fc1970bada53","datavalue":{"value":{"amount":"+0.7660536170005798","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":"Q1749133$D8F354B3-F1FB-490D-A62B-00D72FCBF45B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intra- and interdiagram consistency checking of behavioral multiview models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intra-_and_interdiagram_consistency_checking_of_behavioral_multiview_models"}}}}}