{"entities":{"Q2894270":{"pageid":2904995,"ns":120,"title":"Item:Q2894270","lastrevid":84902504,"modified":"2026-06-03T05:06:38Z","type":"item","id":"Q2894270","labels":{"en":{"language":"en","value":"Partial model checking using networks of labelled transition systems and Boolean equation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051083"}},"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":"Q2894270$D2D1A9DF-7EF1-42E2-AA5A-651BBE074E89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"395a988afd5b5f92d0a35b697ffe0e78c9e960e5","datavalue":{"value":{"text":"Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894270$F8186ADF-994E-4487-BF73-B177E3BF6CA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b315c9c6add9b80e42607c0600ada4ce5679ff4","datavalue":{"value":"1352.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894270$89BEB9D8-3125-4E08-A6DA-F0AC5A0AF49D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d1e18eb36faafcbb039a503b53609faffb7f57b","datavalue":{"value":"10.1007/978-3-642-28756-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894270$6F035C07-4A6A-492A-A832-A4441AB99547","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894270$B9332EB9-E77F-4FDB-A839-14C8C17CFEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894270$B46214E6-3210-42E3-BDCE-A393C583275A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894270$D86DB611-F58C-4249-9BB5-46120DB8F09D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894270$2DF25421-453E-4BBA-93BB-5A74C9963A44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a77969083d8572e82f16289a8dbf32052f55281f","datavalue":{"value":"https://arxiv.org/abs/1309.6947","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894270$B8459DB4-0B57-43B4-A370-35A47A1AE04E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894270$9EDDF92F-9110-41A0-A44E-71B069353894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894270$F28FF4E9-F902-49CA-AF69-3101224867C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93ea710b975340902c6595f7667d6ae13e387462","datavalue":{"value":"6051083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894270$3B4CE249-2583-4D85-94FF-8B253BC33CB2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894270$9C719FB8-77D3-456B-AE88-6EC562278C99","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":"Q2894270$CCFC9EFD-57BD-44A5-AD04-7B82456CD860","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8667bb04cd60f4fc023f213dd87a5a037eb460c8","datavalue":{"value":"W1848561722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894270$EC6D8592-5CAB-4EFF-B094-82D918A2819E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2c1cd39c50c03fe715c5e427b49ea871cc596b","datavalue":{"value":{"entity-type":"item","numeric-id":2851668,"id":"Q2851668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d290af2de9e3eed8fb79f2e0162a785f6f49a3f","datavalue":{"value":{"amount":"+0.9956974983215332","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":"Q2894270$910D6154-32DE-4099-97DD-F28CDAE362A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039a88c86d67e2568012f7c190189295d008ea3f","datavalue":{"value":{"amount":"+0.8017584681510925","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":"Q2894270$0EAFF898-A7E6-47E0-9778-360F79309B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e453b55fff9aa4dfd4ce23c9986a02d2e13412","datavalue":{"value":{"entity-type":"item","numeric-id":1856172,"id":"Q1856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec84d9c5d01f4c803d6709c4bbe40bfc625fa73","datavalue":{"value":{"amount":"+0.7881099581718445","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":"Q2894270$B4C49F89-E9F7-48D8-B793-798A8605EF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050b4a2623d15e751baed2a171c14980626a591a","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249c838d2a8c0d9db9d24c8b8e53df884efbe17f","datavalue":{"value":{"amount":"+0.7534012198448181","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":"Q2894270$839BE859-8DC9-401B-AF1D-312AE18CAEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c1c2b2d3843e535b4dfccf4b3236ca76955c47","datavalue":{"value":{"amount":"+0.7468125224113464","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":"Q2894270$DC883C1E-A794-4654-8529-6AA950908C8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial model checking using networks of labelled transition systems and Boolean equation systems (scientific article; zbMATH DE number 6051083)","badges":[]}}}}}