{"entities":{"Q3190112":{"pageid":3200820,"ns":120,"title":"Item:Q3190112","lastrevid":52089953,"modified":"2026-01-20T22:17:14Z","type":"item","id":"Q3190112","labels":{"en":{"language":"en","value":"Parameterized model checking of rendezvous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344618"}},"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":"Q3190112$D94A88D6-CB48-4351-8920-4D3571DD37CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5535b1093c1292acbf33881570aae458782d27d","datavalue":{"value":{"text":"Parameterized Model Checking of Rendezvous Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190112$17264A86-B4CE-4D73-A645-9420791EB701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1891fc3a8e63ed3b2f27ff85fa79997b8a67811d","datavalue":{"value":"1417.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190112$365C5285-55B8-498D-B1D6-79AB15E93B23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ad55ed1920481685655ab493fb0a50c2b17f3e2","datavalue":{"value":"10.1007/978-3-662-44584-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190112$43C0462A-BB68-4B96-9C3A-FA2D00FEF7F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb346d256664a1bd135e45cfac6662095ea6a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":385024,"id":"Q385024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190112$976CFB91-A481-4AED-AD8D-2B0988EE7AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190112$19C8250B-3F48-47DB-B455-F062DD2DDE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcb15ab2871a2195980fb91a8d23fb8b0bf1afc","datavalue":{"value":{"entity-type":"item","numeric-id":1635828,"id":"Q1635828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190112$E008C3CA-1A51-4E41-B031-A2FCA62E3A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190112$F62F9EB6-9A48-436F-B007-4CAC82A49AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ad5fa45ac6ce8871f5cbcc41158f8d0dc054f82","datavalue":{"value":{"entity-type":"item","numeric-id":456392,"id":"Q456392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190112$3688C27C-1BF1-48D0-9946-D1880CC9EF01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86291768d824471544e7172134ed7e1910c45b89","datavalue":{"value":{"entity-type":"item","numeric-id":3190104,"id":"Q3190104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190112$A159EFE4-A525-44D2-A13D-E3376A29578F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190112$0196ABC8-110B-4518-B905-2941423D9FAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190112$DC05DE54-C408-43FA-900F-EC3993EF9C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190112$4AFB479E-8621-4BEB-875A-6FE6361099D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190112$1E7A4B18-46CB-4118-AFAE-BB0F75A0B6F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9193ddc5ba6d9e1d444f96e81565fcbdc693bdfd","datavalue":{"value":"6344618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190112$AA555355-30E5-41BF-8D99-B7F7DDCBF61C","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":"Q3190112$70D0CFD2-4953-42B9-92C6-6EBD31746E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbac4b7a3fdd61c74c096681b90fe1ea29617682","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44584-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190112$760B51CD-F4A3-4C75-B9E5-C0085FAAB326","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59803609b72a32df9e166bb4c42e723b3da743b7","datavalue":{"value":"W2735546981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190112$E129EF08-7054-47F9-9336-7356657AEE3F","rank":"normal"}],"P1643":[{"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":"2aa6aaabbc7ff9a3f8d40a7f8d92391a5817207b","datavalue":{"value":{"amount":"+0.9910014867782592","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":"Q3190112$B537D2BA-7844-4FD1-BE94-F250F2B4E46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed890a10157a83ba5968310a3c7f10b631ef0733","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628a91fa3f9aabbf0e2ca81eb9e491eca8d0c31e","datavalue":{"value":{"amount":"+0.841282069683075","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":"Q3190112$AB2A050A-BBFC-4200-BE9D-26789D350484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8074c88ff1da48946ddff6bf6393d09de744cff1","datavalue":{"value":{"amount":"+0.8255497217178345","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":"Q3190112$89022569-FC2B-493C-BBA7-B4D024E45F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea01d914082b4e177b7a684824a21dab7e5087bd","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"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":"Q3190112$00C44ACE-2FB2-4C31-9697-763FD635819B","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":"81c54b1d04fdf0b49ec6695cce38e605c622cccd","datavalue":{"value":{"amount":"+0.8045526742935181","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":"Q3190112$22912B4E-D83A-4F02-ADEB-FA30D6BCFC5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3190112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3190112"}}}}}