{"entities":{"Q4608682":{"pageid":6638265,"ns":120,"title":"Item:Q4608682","lastrevid":90558572,"modified":"2026-06-04T20:41:29Z","type":"item","id":"Q4608682","labels":{"en":{"language":"en","value":"Parameterized systems in BIP: design and model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851952"}},"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":"Q4608682$3D3430F4-3126-4F10-8FC4-23C4CC6B6683","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43c329b21ad01367e95e7239ceeb890523c5a3c2","datavalue":{"value":"1392.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608682$F1112EBA-717D-4E22-8F3B-9E9F684BAFD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608682$FDAD8A04-82FA-4501-B70D-C5D4F0973B3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608682$FC2FFC73-0817-48EF-B97A-73222B0C774C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608682$27D21D1B-D10D-40AD-898B-DD3B25B6BC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608682$F34DA24A-8BF9-470C-89F3-C464277AF69A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f71fa78de197ce544d23ef59ef9cf68f7d2b8f3","datavalue":{"value":"6851952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608682$5B316EC3-952E-4B41-8A2B-F4B2AC63448D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb978003568ed12186af450a7b1dfc93d2792f8","datavalue":{"value":"rigorous system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608682$3C441693-66CB-4EC5-BC25-064BC10534F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a35724875f6edada3804d82dc9bd8d2cf9906ba","datavalue":{"value":"BIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608682$080B7D18-BA05-425A-A44C-CE463A273406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608682$EC1F2317-C5D7-4A85-B53B-8409344DFFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ef3d714487246507a51b2702c1e134ed233139","datavalue":{"value":"parameterized model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608682$1D77E1C6-9168-481F-86CB-F9A0078B9576","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":"Q4608682$F694F220-041D-499C-A931-EFD211811FB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bda200f2c87971e505d990f2c9982261b7ed9c9e","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.30","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608682$4FFBAC1A-6B88-456A-AA71-87898EFDCFEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee969ca05ffd7d06ee9fcfbcb5e8e81b1cf36951","datavalue":{"value":"W2415471432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608682$36635705-C8C4-45E8-AEA3-0842C8A6F777","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2c0480e76f3556112621192eebc1cc00e7d5b05","datavalue":{"value":{"text":"Parameterized Systems in BIP: Design and Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608682$DCF923D6-2C34-4515-BABC-FC3164E6CDB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e8832e456f62c6834f86a55c57a1b3ba5832c1f","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608682$A41F649F-904A-44F3-88D2-E37B921DF6FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb485917607610b9d84df3c17415bdb13c6557c4","datavalue":{"value":{"entity-type":"item","numeric-id":5150073,"id":"Q5150073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4028e1f8cac208237e00e7afb1c844cfe5ca3a3a","datavalue":{"value":{"amount":"+0.7873202562332153","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":"Q4608682$2201D78A-FF48-44F5-AFC1-E843F8DE5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f2631b3f36a46d68cd9edc2f9dad8ead4763bf","datavalue":{"value":{"entity-type":"item","numeric-id":5015356,"id":"Q5015356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bf00a51a9addf8215572a813a1767a2aee34d9","datavalue":{"value":{"amount":"+0.7558343410491943","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":"Q4608682$36AEF14A-D407-4295-BBEF-2D4446E8AADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d46cff0eae9932fe04467af9e864d6701d5d0be","datavalue":{"value":{"entity-type":"item","numeric-id":3614835,"id":"Q3614835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca9885157f0cc42d400f2a7746b004d99d56cae","datavalue":{"value":{"amount":"+0.742701530456543","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":"Q4608682$8F76E77B-E224-4366-BC9B-50BBF15D4BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2900dbe11fba5a09226027d416e8d023c32e58df","datavalue":{"value":{"entity-type":"item","numeric-id":3021171,"id":"Q3021171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbb99272da23af1de6840addbf198bc996c8dbb","datavalue":{"value":{"amount":"+0.7376980781555176","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":"Q4608682$CB9C6EB6-CB80-45A2-AEEA-CE283FD454A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede137086f685454b547e4c101069ed16a05c0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5166713,"id":"Q5166713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cb70736c992cf21baa36c578d6e4a4595a0afb","datavalue":{"value":{"amount":"+0.7359949350357056","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":"Q4608682$FF006260-2638-4455-A940-45EC4F747937","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized systems in BIP: design and model checking","badges":[]}}}}}