{"entities":{"Q2892785":{"pageid":2903510,"ns":120,"title":"Item:Q2892785","lastrevid":51497363,"modified":"2026-01-18T12:39:43Z","type":"item","id":"Q2892785","labels":{"en":{"language":"en","value":"Model checking languages of data words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049310"}},"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":"Q2892785$86074092-0958-4DC6-AF5D-6C6EABB06962","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20b88f59c5138783b247835cebde0c8e66bcb3fe","datavalue":{"value":{"text":"Model Checking Languages of Data Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892785$9BD4C93E-C53D-486E-A177-E7B44D510BE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e66aaf6129f750bd792e9da109f9fb77a41e9361","datavalue":{"value":"1352.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892785$CF75BD1C-FB38-4E50-B163-9BCC333E320B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01470b2b253009374227cfb307c114ae1fb24869","datavalue":{"value":"10.1007/978-3-642-28729-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892785$7B3EA8FF-9B39-442D-8954-B7C1B37186C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892785$761733E4-C09C-43D3-BF31-F7092AF423CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"779331bd55b2a0da146c8a2d7ee46a3c6f3f0863","datavalue":{"value":{"entity-type":"item","numeric-id":472792,"id":"Q472792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892785$23721447-C9F1-4091-9A41-475E0B7CA90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892785$AC8AB8D5-EABD-4E91-BE2F-A34D88A6FD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3796e2b09efc9ac94e6c12485881d0be27760550","datavalue":{"value":{"entity-type":"item","numeric-id":1323354,"id":"Q1323354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892785$E2B7BE09-CEEB-4244-BAD1-7A9E77EF28AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892785$5DE46067-12CD-4D80-8DE0-3E6B63705F56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-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":"Q2892785$89FD8696-4E60-4BAE-A70C-142B82A863C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892785$6D8919FE-1CE9-436F-BF19-899CC1A2888D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892785$5D5216EC-4235-4222-B64A-90F85379EF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892785$0C611DAF-323F-4AFB-9EBA-70C98A292625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892785$FFE66D23-4E95-4DC7-A634-068F95837103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa40a8ced64e6328fd099e64e8a0be9d7424d163","datavalue":{"value":"6049310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892785$868F5018-E9D3-47FF-80E9-743271EA2411","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":"Q2892785$E42C856D-7BF0-4804-B9B0-AC183AF3A4E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba46d365b74fde5b07d9160cd842d482b50187a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28729-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892785$08B7B879-8B01-44F3-9DCD-AE8294DEF42A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9041f4cb4aa527dea7d6c623e0c33dd79c5a7d6","datavalue":{"value":"W206883444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892785$F293F347-EE8B-436C-AC8A-C4F917CB1BA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9546f247433ed0a3d3165b5a7a4faeae78c00671","datavalue":{"value":{"entity-type":"item","numeric-id":2355386,"id":"Q2355386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0b30e1f486e48c64c4886f9faafed6300358fd","datavalue":{"value":{"amount":"+0.7569696307182312","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":"Q2892785$E35BB904-1232-4F8F-8909-E2755C4A716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334b05beb9f1c74c70fbe8d60045097fab894cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5271053,"id":"Q5271053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59404cb0145548855e7fa648e8e49c4a83cc5ad4","datavalue":{"value":{"amount":"+0.7533063292503357","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":"Q2892785$171B2343-A617-4AE9-90C6-E246DB22328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72da9b448b5c182c9d925d10ac66be601ca41d59","datavalue":{"value":{"entity-type":"item","numeric-id":2937781,"id":"Q2937781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ec9580fc1918eca62a9ba25c0236f029721268","datavalue":{"value":{"amount":"+0.7532495856285095","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":"Q2892785$F5E3026B-48F5-435B-A06D-228F678546DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974dd739822416770b29b5987bb33e801aec3fed","datavalue":{"value":{"entity-type":"item","numeric-id":5111652,"id":"Q5111652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd86fea360ec4c8b88e74716f673ef2a83a95aa","datavalue":{"value":{"amount":"+0.7516348958015442","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":"Q2892785$F7CB343B-297F-40CA-8A7E-FCC3D284EFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad492fc4626cc547a2b95164de5e1990eb50b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2398213,"id":"Q2398213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afcda10325bc7f2717ca6f4dbae2f4ca0ab2eec9","datavalue":{"value":{"amount":"+0.75035560131073","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":"Q2892785$8A78CA8A-C1AE-4B95-8EA5-4DC3EF85217B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892785"}}}}}