{"entities":{"Q4917056":{"pageid":6946637,"ns":120,"title":"Item:Q4917056","lastrevid":51704651,"modified":"2026-01-19T14:17:22Z","type":"item","id":"Q4917056","labels":{"en":{"language":"en","value":"Model-checking view-based partial specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158651"}},"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":"Q4917056$B9072262-F5AD-462A-9283-2E9B5E13278A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f39d134bc5d47a3779450a8a4fca06618ecac432","datavalue":{"value":{"text":"Model-Checking View-Based Partial Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917056$4C032D7F-9E86-431A-BED8-D5B5538BD305","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61b365b238d91cc62552fc57aeeb2e838145c231","datavalue":{"value":"1260.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917056$EFC0C17F-D573-4E5D-AF21-55256AE4BDDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7429a700f4c688cfb4e008611370ecdae33dff4d","datavalue":{"value":"10.1016/S1571-0661(04)80962-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917056$BCEF675B-D938-4C96-B6E3-56FA08FCAA53","rank":"normal"}],"P16":[{"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":"Q4917056$05570883-DA95-472B-A184-67151925F84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46993edd5743f9db81a53feae5fee1656404e0ab","datavalue":{"value":{"entity-type":"item","numeric-id":4420274,"id":"Q4420274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$91CEFEF9-FC20-42D3-A11D-A20895DD8557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$4D81BCD1-AF46-4E0A-ABC2-9BB96439DA25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917056$B986622E-CE0F-4DEA-9001-81513ED2809B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917056$DB3FDC4C-C18E-431B-AB0C-EAAE04FE9830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917056$9DDB6D9F-9535-41F2-B1D1-B560C33EB22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917056$36B65ECF-E23C-42A5-B442-C6C7395AD84F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd4c4d4ec44b92af844eedac0066caa2c8679cc8","datavalue":{"value":"6158651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917056$6B0F977D-101F-4354-A66F-48E00B406A1F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322474c315dc49310ac70dcba3ad80c782f903d4","datavalue":{"value":{"entity-type":"item","numeric-id":13987,"id":"Q13987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$B49500D7-ADC7-4B15-A3E0-6F62BD8FC51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9618f1966f868e8e3a428464ad18cf2f054ba57","datavalue":{"value":{"entity-type":"item","numeric-id":21463,"id":"Q21463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$4E3673DD-E82C-4674-B501-3D0A225F6EB9","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":"Q4917056$99A12AC6-8DCC-4EF8-AA78-51C4BA04068D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$8C0B63D4-572E-4369-8049-E8536CAB9B5E","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":"Q4917056$1025092C-1F7B-46F5-A9D1-7B5CE4272243","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":"Q4917056$E5B75E5F-DA21-4F0E-BE28-2A33F1F4C1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd453d6f130078e407204c5a4c73b56deb63cba","datavalue":{"value":{"entity-type":"item","numeric-id":1183586,"id":"Q1183586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$1DE7C8D2-1273-4AA9-A581-CC649C13E76B","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":"Q4917056$40739FB7-84DC-4D3E-B465-23DE37F380E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$15948E6D-E3F9-45C6-A72A-E51E751D49C6","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":"Q4917056$D39379DC-7BEC-4744-BDB6-9A42AE3D8F4B","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":"Q4917056$737CC291-CE7F-48B8-BD67-366A515EB90A","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":"Q4917056$193813A1-FCD7-45B0-AF21-B621F4C9FD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$B028B67C-BF2D-4EE8-8B46-4978D89905F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0098a5fe2361769e56c2cf3f68bbb09f228b1905","datavalue":{"value":{"entity-type":"item","numeric-id":1338893,"id":"Q1338893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$3EBE92BE-9E0F-4DE6-858D-3A1557247495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$FCE616B0-2A7E-485F-BF28-16E0FBC1DE81","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":"Q4917056$4FD289AA-2820-4B02-A61C-69B5447E16AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"536df8f7a4ec5c8eace2d24a27bd3cff87860f92","datavalue":{"value":{"entity-type":"item","numeric-id":1806134,"id":"Q1806134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$B9B7E2F3-75AD-40C4-93C7-4C84BCF0DB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$0AFAFA77-B1E6-45AA-A2E5-54CFFB84D1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06078eea43f158838fa3a7c376b297dae0a314d2","datavalue":{"value":{"entity-type":"item","numeric-id":5178871,"id":"Q5178871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917056$FD9DAE4E-107B-4980-8588-34E8C3375199","rank":"normal"}],"P1643":[{"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":"7753cb9e99b8f30915ff721344a630d51bdf1211","datavalue":{"value":{"amount":"+0.7854859828948975","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":"Q4917056$ABB9848E-68EC-406A-B7EB-62FF9D6DCB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9561e57bdeae0bb9b06717d09bad3b2edf754c","datavalue":{"value":{"entity-type":"item","numeric-id":1961429,"id":"Q1961429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a213af9ed1ff55af026d8931ff9ca4a5392f0c4","datavalue":{"value":{"amount":"+0.766588032245636","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":"Q4917056$623D81FB-8190-43E2-99DC-7D0A5E825B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30460fec05d6ab1e49250e244553f256b4c1159","datavalue":{"value":{"entity-type":"item","numeric-id":990121,"id":"Q990121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d83451281b9848878c0b4d54d7d37347aa6daf","datavalue":{"value":{"amount":"+0.7394386529922485","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":"Q4917056$05436BFC-3B5E-4B14-B98F-40691CC4BEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c502ff0941d8a169f2316d029902fab27cdd3337","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914851c7f7b1ff120ed83e8519d6c1cdea57b4bd","datavalue":{"value":{"amount":"+0.7354690432548523","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":"Q4917056$16AD30F7-CA9A-4672-8845-F7A68712FA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdfc92de7b5f495391a8840b4667c62f02a1d7d","datavalue":{"value":{"entity-type":"item","numeric-id":5452711,"id":"Q5452711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0151875759a0854df41a4e8e6f410a3839b2b39","datavalue":{"value":{"amount":"+0.7249297499656677","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":"Q4917056$0E50FB4B-BDA4-4EFA-9386-E2F8A0C1F7B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917056"}}}}}