{"entities":{"Q3564041":{"pageid":5593945,"ns":120,"title":"Item:Q3564041","lastrevid":51000389,"modified":"2026-01-16T03:51:24Z","type":"item","id":"Q3564041","labels":{"en":{"language":"en","value":"Scaling up model-checking. A case-study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715367"}},"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":"Q3564041$A9E605CA-35CF-4849-89FC-1B8EAE62CAAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce106120271494ce9a0d80e08ecf72f4526acd1c","datavalue":{"value":{"text":"Scaling up Model-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564041$6B5BB7C2-FE53-4866-BC54-D73FE0344F90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56565085f669a0bb6b2deecb862f75d934dfe0a4","datavalue":{"value":"1215.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564041$F6F81F04-E601-43AE-9014-B3CB39543B30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a97a807c8c6653f54821fca2aba27caaa53dfb2e","datavalue":{"value":"10.1007/978-1-4020-6254-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564041$25E8BCAF-0307-4376-A92B-FBB622B82D47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdee19312bb9738759e36369bbe995d2d2594f2","datavalue":{"value":{"entity-type":"item","numeric-id":3564039,"id":"Q3564039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564041$ACA0C121-D6CD-47C9-A9C5-2434417F24C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d00667d8a012b900d32d99e36d86500bca3655b3","datavalue":{"value":{"entity-type":"item","numeric-id":1749250,"id":"Q1749250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564041$C14DF10B-7B43-4C94-B5F2-D08751955CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98afe9424a8a65b0ea27a88fbd5732318bead14","datavalue":{"value":{"entity-type":"item","numeric-id":3564040,"id":"Q3564040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564041$AB0818A5-FB0B-4F24-9F02-265A0B63C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4426182ab210f0026cb1d2516c86321c2524dc53","datavalue":{"value":{"entity-type":"item","numeric-id":267411,"id":"Q267411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564041$687F1186-57A8-41B9-991E-4DD1573DE302","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d9b736323840be59c9483c610131b93c4ace334","datavalue":{"value":{"entity-type":"item","numeric-id":3564010,"id":"Q3564010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564041$65F63879-32BC-472E-B336-FB7EBA645C03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564041$6BCCB35B-AA07-42B0-953F-0189EC0217DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564041$1FDD0BED-A3B4-49C8-80DF-C555D8CE1A0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54efa8e433db5fb6e157bfe9e8819c1c14e889fe","datavalue":{"value":"5715367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564041$CF165291-2E15-4E66-86DA-8FD36E65DC37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3355b1bb0699573158854b8e2ee0c7545b6f0c2f","datavalue":{"value":"randomly selected statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564041$292AD7E9-891E-490E-B1D7-A6FEF89FA360","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":"Q3564041$E45817D0-7913-4BA5-A2BA-52FDC4CD875E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da183d5885cfa425a6e92382f190cda8a4fc56de","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-6254-4_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564041$C1618AEB-4869-4C5B-BF53-C3EC92F8914B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"781be8b40b5c2d8294df8a62245093e4974b9679","datavalue":{"value":"W2282585061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564041$B7D82EF8-007F-4976-B29E-9E58E84753E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bff7b6c8023eb562e0665d4bfc1a227a6803c19","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09091d8722b5d427ddf3ad569ebae998507ca09b","datavalue":{"value":{"amount":"+0.7363829016685486","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":"Q3564041$493EBC3B-AC99-4163-A601-13ADEAB5A2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb92c5bd1113759f0fc0caa02e7022abe78385fd","datavalue":{"value":{"entity-type":"item","numeric-id":4536593,"id":"Q4536593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4486dd2754adecdacd6d18739a0d5e32e867c2d","datavalue":{"value":{"amount":"+0.7279170155525208","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":"Q3564041$9A56EFA9-8F2E-4705-B6EB-542E35C5EAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feca7f6f6c2212e475be0ffaf59b794582bbf172","datavalue":{"value":{"entity-type":"item","numeric-id":4509910,"id":"Q4509910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e47981b61b6dfd44c978b85e785e03c531e45e","datavalue":{"value":{"amount":"+0.723768413066864","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":"Q3564041$C50C84D6-D5F0-4F7E-A831-885139144B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5eca6144a10b557846f357d55bdd6d978dbad52","datavalue":{"value":{"entity-type":"item","numeric-id":4934532,"id":"Q4934532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e47981b61b6dfd44c978b85e785e03c531e45e","datavalue":{"value":{"amount":"+0.723768413066864","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":"Q3564041$EEFDBC97-D572-4B6E-82B3-890923F04F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfc1e4d6930a9171b000b7902a304d8ffd328fd","datavalue":{"value":{"entity-type":"item","numeric-id":539218,"id":"Q539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c8b15ea747d148f1ef80a0647cb24b2389b174","datavalue":{"value":{"amount":"+0.7195114493370056","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":"Q3564041$1C616D0F-9318-424B-AB35-DBC97415179B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564041"}}}}}