{"entities":{"Q2272926":{"pageid":2283669,"ns":120,"title":"Item:Q2272926","lastrevid":71734398,"modified":"2026-04-14T00:12:01Z","type":"item","id":"Q2272926","labels":{"en":{"language":"en","value":"Parameterized compositional model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106061"}},"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":"Q2272926$70A00970-B98D-4462-BDF2-030B942DF708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b83edf1e9268e07fc10395cb413b25d98a834cc3","datavalue":{"value":{"text":"Parameterized compositional model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272926$C85C03EB-C572-4B90-8634-ED47B53F13BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b30e61ead0885a78a2a627af81ad4027686a6b3","datavalue":{"value":"1420.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272926$0CD72FC9-E000-4145-82A1-A26A1C655767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1239abc63e4bf5ec2e9712bedaa932e8abf1514","datavalue":{"value":"10.1007/978-3-662-49674-9_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272926$3FB9059B-6125-4CDB-A924-D7C3BE59153D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272926$BDA86B64-363B-476A-A18A-0C59485DD89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272926$063EFF45-9FC1-4F05-AED6-D50DFCA350AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272926$C095D630-4169-46ED-BFB4-DD7D6C5B15FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272926$3CBBF4D6-A328-4FB5-8CB1-F5E38766EF81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c9de052cb1a582e6b62b1eb3588a6254927bef0","datavalue":{"value":"7106061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272926$DCA6B1E4-24C7-4170-AC4E-FFA7F1533FB0","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":"Q2272926$176E30A6-B7FF-401A-99A3-18FF5DAA437C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f33fcbab9d339299ba58c3040269ac03b89128f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49674-9_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272926$0AAD3BF4-B1C8-472B-A591-A4E9C7A70CE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39592beb4a11729648a85fd1ff4b5ab678743ed9","datavalue":{"value":"W2462602917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272926$59C4F155-4E9F-4B2C-8F5C-88CC261823BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0084de35ac1b46e21839c662b4f8292b4715ac06","datavalue":{"value":{"entity-type":"item","numeric-id":5311266,"id":"Q5311266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7750933c72a4893fcb1d2a5b37edc16d1b02029","datavalue":{"value":{"amount":"+0.8241931200027466","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":"Q2272926$6489B32A-13B0-4536-898E-6098526F1C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a1679851b25e04099141d3158a9af7b045f268","datavalue":{"value":{"entity-type":"item","numeric-id":1635829,"id":"Q1635829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90cd84b4482e78a9ac970222dceb1aac628f06c","datavalue":{"value":{"amount":"+0.819506049156189","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":"Q2272926$9E04EF53-98F1-468B-BD3E-441C27F92F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85fb2f67a2f7c58dc3bea40d13f31f6037990cc","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0b88f5beb4a9c657b1b5d3345dce38e1ec244a","datavalue":{"value":{"amount":"+0.8194565773010254","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":"Q2272926$46BEC21B-391C-47D5-97A2-3B99E8F34C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82527b14d149aaa0d5929b733d923fa2a9fe5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9486bb9ad26eeb3600cdefc3746c278a2c208910","datavalue":{"value":{"amount":"+0.8112455606460571","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":"Q2272926$33255DA7-499C-4FE4-A5A2-D82A1F5A7B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf050f6dc020970dc21f6588e2df8bc4f5c5159","datavalue":{"value":{"entity-type":"item","numeric-id":4417935,"id":"Q4417935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d923d7c6aebc1fba7bd753abe6a93793b1b8dda","datavalue":{"value":{"amount":"+0.8109608292579651","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":"Q2272926$96870311-C40E-4025-A081-B0F692CBB173","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized compositional model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_compositional_model_checking"}}}}}