{"entities":{"Q437028":{"pageid":438795,"ns":120,"title":"Item:Q437028","lastrevid":61818606,"modified":"2026-04-11T01:52:40Z","type":"item","id":"Q437028","labels":{"en":{"language":"en","value":"State and progress in strand spaces: proving fair exchange"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057738"}},"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":"Q437028$069F9309-32F1-4F7A-BF70-262419024696","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c344921dfdb1391167d161068d41e82fd70585d9","datavalue":{"value":{"text":"State and progress in strand spaces: proving fair exchange","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q437028$76C1CD94-462A-4C3C-8E82-48F3E4EBA283","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f11b7e2798dc19a5dc4b3433feb10297ca5ecb94","datavalue":{"value":"1242.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$5102E6D7-06C5-4E5A-A230-CD96D22F386C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed3ea61918f77787173b7c1e9095fc1727d95271","datavalue":{"value":{"entity-type":"item","numeric-id":437027,"id":"Q437027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$58F51A17-1318-432F-B824-A93889DF4187","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$6A1227C4-0D4B-4A50-A40D-1D9FE5698227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-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":"Q437028$F41F844D-F250-4DE6-8008-F03558D9E3F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$B88B791C-CDDE-485A-9C65-8959456AB4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$051E59BF-4347-47A2-A74C-1FA7BFD61299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$4C7340BF-9090-47C3-BAD1-04526EE7EDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$90E923EE-D543-4257-AEA3-0AAC311DDA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$7A2CB08C-485A-40AB-9AEB-F4F3CCE46D3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"698e4d63fba822fbd78e0cdd303f9c32b74f5cdd","datavalue":{"value":"6057738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$FFA1A304-C641-4085-BB49-06A900966876","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178dc6054dd34939a3c1a52a214bfb090a392bd0","datavalue":{"value":"cryptographic protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q437028$0C3A1EBC-D2CB-49BD-902B-515A4A3FE618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895bf8201231b6fce83a0a8f0d82857ba32a5f82","datavalue":{"value":"strand spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q437028$CC8A6547-7E84-4610-9A86-B26CB3B4AA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q437028$BD58245F-846C-40F1-83B5-DE7555B57F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0cae911eec3d832f62a20e69d6dd8e326e533b1","datavalue":{"value":"fair exchange","type":"string"},"datatype":"string"},"type":"statement","id":"Q437028$03DEBE3D-56FD-4B77-919C-F32EA00E2ED4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$2615A005-8D16-4F56-B8EB-7F1E187CE876","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":"Q437028$D91AE12A-8C92-4512-84E9-864D261656A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2aa3cc1039f742ca0e53886da16ae9daf8405e83","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9202-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q437028$E70666B6-99CA-4C1C-B9C8-EFFC878FFE86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4b433022a6eb065b0a80f3e17eecf6e2555c458","datavalue":{"value":"W2044073799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$723F8528-0338-43F5-8285-753AD3EF5856","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b1c2c13c532bb27040e0956c1a227708a34e12","datavalue":{"value":{"entity-type":"item","numeric-id":4249668,"id":"Q4249668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$F25B50EE-392C-4230-8CC2-0F8F202EB2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$88C4B223-56F2-43C7-9B6E-7644C0F89C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360fbbc4a40117ca67c37319b5d8378f3b811743","datavalue":{"value":{"entity-type":"item","numeric-id":5900577,"id":"Q5900577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$B149C887-0481-4718-B9D7-35E1D327B7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d1cd18ad4e1c7a83c2322b2db670292805497","datavalue":{"value":{"entity-type":"item","numeric-id":5758128,"id":"Q5758128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$3E02698C-7B94-4282-97C3-5593C76DD07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$8B2C7DCF-9C75-4F16-BC18-651F80FB56F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38169c652726b928f44ac0f28fe76aea72d62095","datavalue":{"value":{"entity-type":"item","numeric-id":4941873,"id":"Q4941873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$98E033B2-8640-4439-9422-4BAED4605FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b47ac2ae73fe12563f18a1677de6764fc1b869","datavalue":{"value":{"entity-type":"item","numeric-id":3617737,"id":"Q3617737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$D0AE0A05-7B73-4927-800C-6DC2DC6A0DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0584045d36bcb0b717d88f7c9c9afd4e3a2876de","datavalue":{"value":{"entity-type":"item","numeric-id":5394799,"id":"Q5394799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$46E02D8B-1126-4B89-A5E2-B2C03D8E1DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a8dd6d07dd6ae960ffc56968d5ac03d5dce852","datavalue":{"value":{"entity-type":"item","numeric-id":1603655,"id":"Q1603655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$641FA1A8-5911-4F1E-B48C-BF1D9A4D0A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603e25e3566ab7185f046aaef4f34fa4f2ab2910","datavalue":{"value":{"entity-type":"item","numeric-id":3619471,"id":"Q3619471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$D675B425-61E2-4724-B52D-781915B4E3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7dc59e953386bf384bc21c5235cd96eab79c2c3","datavalue":{"value":{"entity-type":"item","numeric-id":2790106,"id":"Q2790106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437028$2F119ACB-01BE-4006-BA51-04140D0B67E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88d4f50c989d3434ac1101cf164d4bc2e729a0d9","datavalue":{"value":"10.1007/S10817-010-9202-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437028$0AD1A032-BC29-4984-8DB1-662D564DDD5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c316a0949639d161e15386a384e30f606ea5662","datavalue":{"value":{"entity-type":"item","numeric-id":5712254,"id":"Q5712254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b435165fd63ee7590e8ac0ae8a1031710dd90239","datavalue":{"value":{"amount":"+0.8100236058235168","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":"Q437028$FA197DB9-AF96-421E-A308-0DF29E565BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63be283a7aa410d257eff5ae3a39699b64d79bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4413343,"id":"Q4413343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe3044196aa669354779728666b91bc9e021451","datavalue":{"value":{"amount":"+0.7510672807693481","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":"Q437028$0D0B42A5-CC73-4C11-9869-AE13AF866D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e878085c7a58c11d5140949b5d9003ae9325d67b","datavalue":{"value":{"entity-type":"item","numeric-id":2841217,"id":"Q2841217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e58f20617e2ac62656f1a4a2f56adcc90b7526","datavalue":{"value":{"amount":"+0.739202618598938","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":"Q437028$E1E057F8-973D-473D-8CEB-9D845A84498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0801b891eb24f125bba5e02e3ed85012c718ed2","datavalue":{"value":{"entity-type":"item","numeric-id":882700,"id":"Q882700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8860dcb5c83ef8df5164e6dd15c0a33ea55be590","datavalue":{"value":{"amount":"+0.7320245504379272","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":"Q437028$3AAA2AF4-323B-4CA9-98AF-A22033FABC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6343e7e97a1b2758f1079de2a981fba9b65e9060","datavalue":{"value":{"entity-type":"item","numeric-id":2321532,"id":"Q2321532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a966081c57a8258afe6de3900b9ce68e4fc881d","datavalue":{"value":{"amount":"+0.7287750244140625","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":"Q437028$E4FC84C4-8824-4BD9-AF4B-A5E09EADA915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State and progress in strand spaces: proving fair exchange","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State_and_progress_in_strand_spaces:_proving_fair_exchange"}}}}}