{"entities":{"Q5178897":{"pageid":7208469,"ns":120,"title":"Item:Q5178897","lastrevid":91474520,"modified":"2026-06-04T23:15:45Z","type":"item","id":"Q5178897","labels":{"en":{"language":"en","value":"Types as models: model checking message-passing programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416255"}},"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":"Q5178897$3E98E1BF-0B73-4EFA-BF56-ABB9C4B55AE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2cef6ab9633436005c41949561f734f7834c28f","datavalue":{"value":{"text":"Types as models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178897$0D2041A8-CF98-431E-BC90-526DEE8437E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7410db2276fd987966ce292967730ae7a9488989","datavalue":{"value":"1323.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178897$FD454649-6671-4F1E-B7E4-ABAC641EBFBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eccc56f2a90cc7adf931840f2d09df16054eea6","datavalue":{"value":"10.1145/503272.503278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178897$D27C35D4-B323-4DAD-BBF4-7D1B83CCE950","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178897$A5B89484-9612-4F93-8135-F3EABF122C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178897$CCD68129-E90C-44CD-A44D-00B95C14E4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1680139912b893dbf24793a201b57f8a0fbf4194","datavalue":{"value":{"entity-type":"item","numeric-id":765512,"id":"Q765512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178897$003B1E28-ABD4-4DCC-A1A6-E72C082D05A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-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":"Q5178897$7EE384A0-9FAC-4607-A96A-688B627ED938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178897$77A205ED-CFAC-42C2-91D2-249BF6C05D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178897$7418409B-E298-41BC-8492-1C24AF4A20E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178897$4B94D2BD-94FF-4527-AD4C-F897A45273EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178897$55AFAF2A-F69B-48EE-A8E9-77E2F1EE21FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50090072298f35b67b44861b90a1840fdd67f0fe","datavalue":{"value":"6416255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178897$7350641C-DDDC-4038-A5A8-D9DB085E236C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178897$ADC96A15-2780-40A0-A95A-C5647B8087E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a557776217bf8c27ff1474396465b9e88385161c","datavalue":{"value":{"entity-type":"item","numeric-id":23420,"id":"Q23420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178897$70AA7785-2EE3-4334-ABC9-532B9814A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178897$3E947B45-CAEB-45B1-97E8-E5125D068DCD","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":"Q5178897$F7631C1F-98FA-4D2F-B381-6B873D9E37C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fcdbf04aa623b8ac9a0f8dc4620e5a3138a914e","datavalue":{"value":"https://doi.org/10.1145/503272.503278","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178897$E2EAB728-76E2-4E81-BF9E-48A17270BCEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80ead023b0300f31a4212c3557581d3954c5379c","datavalue":{"value":"W2044550200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178897$BE8A381A-CDFB-4D6C-901B-EF9F77B64FD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d9ca57d4fc9ba55a27a8df00198d7399d2b5a04","datavalue":{"value":{"entity-type":"item","numeric-id":5747527,"id":"Q5747527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178897$11B69878-8F50-48A2-9BE0-92E7C08D65BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65d4cd7fff3d16e88ec481184cc6b8b4e3df130","datavalue":{"value":{"entity-type":"item","numeric-id":4778708,"id":"Q4778708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31265015174be36dc935f389cd5b3e194365ad1c","datavalue":{"value":{"amount":"+0.7597423791885376","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":"Q5178897$53E76654-6A50-47ED-983A-DB8A9C7A168A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31265015174be36dc935f389cd5b3e194365ad1c","datavalue":{"value":{"amount":"+0.7597423791885376","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":"Q5178897$4FCDB03C-01AD-4A7D-BA8E-B814CA88925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27200a44368e0985279ee15424b803d552774ae","datavalue":{"value":{"amount":"+0.7465461492538452","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":"Q5178897$6B8E8DEB-93B3-4A50-B822-73F33E106562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2bb163be73038794cfd0f948d9ae30dedcb800b","datavalue":{"value":{"entity-type":"item","numeric-id":988201,"id":"Q988201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27200a44368e0985279ee15424b803d552774ae","datavalue":{"value":{"amount":"+0.7465461492538452","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":"Q5178897$A48E4C92-3733-4BA7-8CFF-E34C0F2DF897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293a51f6b984b83b9789cfbd3aad07a210bf7963","datavalue":{"value":{"amount":"+0.7426199913024902","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":"Q5178897$C5437A77-D386-4335-A0D2-8F23F8A3FC26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types as models: model checking message-passing programs","badges":[]}}}}}