{"entities":{"Q3498440":{"pageid":5528343,"ns":120,"title":"Item:Q3498440","lastrevid":48710197,"modified":"2026-01-05T16:39:46Z","type":"item","id":"Q3498440","labels":{"en":{"language":"en","value":"Type-Based Verification of Correspondence Assertions for Communication Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275795"}},"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":"Q3498440$8D9381A1-A375-4DF4-A656-52BC940CF556","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e717853bb12d77891e025e60c9ff2800bb808e3","datavalue":{"value":{"text":"Type-Based Verification of Correspondence Assertions for Communication Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498440$D374387C-4B6A-4F8C-A616-5CF89F94E75E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a27399350b6bccd2450afe757f308f35c2344d5e","datavalue":{"value":"1137.68436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498440$5A1BFEFF-A414-4729-B06C-81C26E97B78C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15a987f0a268f0413c30fd51f3d4e9142d37de6c","datavalue":{"value":"10.1007/978-3-540-76637-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498440$5C0B4E10-F122-4C36-928E-EA537F678E79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a8ce86a9db1a54beca1fcb58905d096dc623899","datavalue":{"value":{"entity-type":"item","numeric-id":3498439,"id":"Q3498439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498440$72AEDA8A-FD45-451E-A678-A0A25B239AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498440$5C2121C2-486B-4DCA-9C92-AB2DFEDBFA50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498440$2671531B-A0A7-4113-B028-608B69797E53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-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":"Q3498440$ACD5E737-D2DF-4274-B2C1-6A0EDCC519E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"116df1056d086b54a1574fdee0c0ddd0465a1ed3","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.4271","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498440$148FD423-EDE8-4D90-B996-FE60F99179D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498440$D49BCEEF-9CAB-443B-8641-730D1AD9A92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498440$7334CC36-0828-4F54-8540-63568EB83AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498440$763D4A76-E534-402B-9655-E084CAC8F26F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72c3a0935ec2dca9c2c7a06f281b3d114ca9a4c5","datavalue":{"value":"5275795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498440$B78C89E2-38AA-4732-884F-B212292F6900","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":"Q3498440$3983DBCA-E078-4BE6-B5E1-84DF4AAAF5FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"351c1e5b7f9cb0aaa730f633cd9cb72499ea066a","datavalue":{"value":"W1569589535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498440$94329EF8-7315-4BA8-B966-6D1AC770E6B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3200975ce2be913cebf01a2bb5149c6a12927b","datavalue":{"value":{"entity-type":"item","numeric-id":4917053,"id":"Q4917053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1999d207117584e23f7de93f038c8b20349dab93","datavalue":{"value":{"amount":"+0.9541557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$5B10E0A8-90E0-49D0-B8E2-C2B09E294FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b638ce690115a7e5bcf2c72feacf101f87679fd5","datavalue":{"value":{"entity-type":"item","numeric-id":1399972,"id":"Q1399972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1999d207117584e23f7de93f038c8b20349dab93","datavalue":{"value":{"amount":"+0.9541557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$948A159C-4B26-4F16-A9AF-4E182C3F9299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc7603290d86480d53897277506445f35fea8fb","datavalue":{"value":{"entity-type":"item","numeric-id":2581787,"id":"Q2581787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c66523c2d2b80735b65e31bd3a640e0bc549a6","datavalue":{"value":{"amount":"+0.881338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$8CA7D0E0-35D6-4F94-9428-673493927F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7d0b42894fe54330b5ef168d2df979a0e92fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2709807,"id":"Q2709807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bf1c4d0af43a6e1e3f37419dccfb2d8292e09f","datavalue":{"value":{"amount":"+0.87631214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$85F206C7-7687-45B2-B8C1-4BAB6B82449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a75a6e0d71a8635afb04612d2b232feeabd1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3606357,"id":"Q3606357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3ace6fb0facfdacfe7a8b631c38f3422b47955","datavalue":{"value":{"amount":"+0.8744393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$95B7B23E-C0CA-4ECD-87C3-790A498B7886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99750c9c3a274f15bd5fbd1dd08c1112095d9cf","datavalue":{"value":{"entity-type":"item","numeric-id":533921,"id":"Q533921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f430c478e30a65c566abf3945e26391b51980d","datavalue":{"value":{"amount":"+0.87002915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$0D74FBBD-82DD-4EBC-90C0-EABB811F43C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3518961eacd1dd62db3b9b3f1205b3bdf43a3f3","datavalue":{"value":{"entity-type":"item","numeric-id":2265806,"id":"Q2265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f768d10f29eb2c3bbd013b579e1928077731915e","datavalue":{"value":{"amount":"+0.86971676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$D4FBE638-3003-42F5-A9FE-D17065DC8BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e505691d27fcfa7b4b5ebbf8406ebe1bb5893dd","datavalue":{"value":{"entity-type":"item","numeric-id":420842,"id":"Q420842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1280c6d9f9a037e0e8e75b9fca4d42fe012702","datavalue":{"value":{"amount":"+0.86960393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$822918AF-DCE9-4C74-8D2E-DAA2E31442F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c1737f87e01abd9618990953ec7a2271698275","datavalue":{"value":{"entity-type":"item","numeric-id":3304813,"id":"Q3304813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0ad818da76947826d0e61d669e73b9c40f82e4","datavalue":{"value":{"amount":"+0.86749494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$A048B6B1-4338-4D3D-A80B-36B4CB3B2EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb0096e51fe72945897f2d9dd3aa6e3ce451589","datavalue":{"value":{"entity-type":"item","numeric-id":2985778,"id":"Q2985778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5292a76c09152ec18a2ee7f66b646d94376cf0f4","datavalue":{"value":{"amount":"+0.86587626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3498440$B0A99814-C82F-4178-8AFA-A7D0FC6D5E2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498440"}}}}}