{"entities":{"Q2709807":{"pageid":2720546,"ns":120,"title":"Item:Q2709807","lastrevid":79119497,"modified":"2026-05-06T13:11:28Z","type":"item","id":"Q2709807","labels":{"en":{"language":"en","value":"Verification of parameterized protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587159"}},"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":"Q2709807$55D3E8C4-0EFD-4C05-A461-F0C16025A48F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f2400a588c2969b6a28254493e4b44b3abda008","datavalue":{"value":"0970.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709807$38586A61-E25B-4006-8712-601826ACD912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2ef287c99c795a57bdc3d96415d61669f64adb7","datavalue":{"value":{"entity-type":"item","numeric-id":2709805,"id":"Q2709805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709807$DD99CCE3-C17B-469F-8C68-F39989382029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d8d54f7dce4aea3812b6a9ebdadda53eff68523","datavalue":{"value":{"entity-type":"item","numeric-id":2709806,"id":"Q2709806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709807$86D91DC2-0F3B-408C-A26A-9476EE7AFEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709807$AE11FF85-C47B-4C75-87E1-D21B97286A89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0314b5a051dfeeb73cb27a5aea010a13792ac7cc","datavalue":{"value":{"time":"+2001-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709807$3C3FC3AC-7C21-417F-923B-A1A0EE47C228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709807$BFF52C94-846D-484E-8657-0124C215D754","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7752dd830c63c4f912ab5819393cf519d2d164f3","datavalue":{"value":"1587159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709807$32C0C317-46CC-41D3-BF82-DF724F263746","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4aa57a38c358fc37bf0cc12a199726e12c93095","datavalue":{"value":"WS1S transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709807$30FEE793-7353-47DB-B14C-E5AAE3F4A95C","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":"Q2709807$CE9FD52E-4BB3-488A-A575-239D3EA738CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb68b0fa7408b2574057bb98810efea340816a52","datavalue":{"value":{"text":"Verification of parameterized protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709807$D48B4491-57AC-44A8-844A-AD136405BEC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709807$20525DA7-EC33-46DD-B837-4068C3C91458","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb966305748ee6c04761860cec6aa177d6f8f5b6","datavalue":{"value":{"entity-type":"item","numeric-id":2766662,"id":"Q2766662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9702253894f74d1ee7058084398cf2f833593ace","datavalue":{"value":{"amount":"+0.9608578085899352","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":"Q2709807$B24DCE43-2EC1-4CBE-8D17-3A69631DBF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f7262e5e9dbf8cb770ab48646b01d382419d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4518895,"id":"Q4518895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57964480b817299627a993fc5c8788d161a9527f","datavalue":{"value":{"amount":"+0.9054648876190186","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":"Q2709807$229BFCA2-9D7F-43F8-A266-25F3B8C16274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb05a308d940d8e31233094376df54376462e944","datavalue":{"value":{"entity-type":"item","numeric-id":4223070,"id":"Q4223070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984bac242e93204345ab4b289ee135143a36d639","datavalue":{"value":{"amount":"+0.8706755638122559","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":"Q2709807$C9370112-27F4-4BAB-A44C-A6D90CAEFA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d1872a8c5da11723fad4b3daebf4ce3bd7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4921504,"id":"Q4921504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97051228223474a9f5431b911644a864a4ad2758","datavalue":{"value":{"amount":"+0.8568737506866455","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":"Q2709807$2BFAAABB-3AC3-4415-93C3-A3B4897CEC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe60cf7e45b810b5db81f1664008c85ec11838ac","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec73e4ed1ba2d0350edd0141246bf5b3ec4259ba","datavalue":{"value":{"amount":"+0.831559956073761","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":"Q2709807$D0110FA2-2808-4AC2-ACF6-0816E29945B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of parameterized protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_parameterized_protocols"}}}}}