{"entities":{"Q582133":{"pageid":583900,"ns":120,"title":"Item:Q582133","lastrevid":62935938,"modified":"2026-04-11T09:05:39Z","type":"item","id":"Q582133","labels":{"en":{"language":"en","value":"Step failures semantics and a complete proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130056"}},"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":"Q582133$86C0F479-471E-42F1-A12D-3A4580F4DC69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71bbb0f9fdf4cf4fc161182b96e9d0a979ec55d5","datavalue":{"value":{"text":"Step failures semantics and a complete proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582133$255F0273-E2BC-4ECC-8D87-5751CC1808B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"073ec66d478e34f14e620c29f706c064389c12e9","datavalue":{"value":"0689.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582133$8A28DF99-D62A-44CC-BE08-9A549DE75676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de7fb65b119457ca10a1bdd259f82e4fbbcc76c6","datavalue":{"value":"10.1007/BF00265151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582133$2111FFF0-ABD9-42FF-BF80-84D32E5BDDAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a8c3030df4023386bafe1ba843a2887d4e7eca2","datavalue":{"value":{"entity-type":"item","numeric-id":582132,"id":"Q582132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$7D5BF3E2-A46B-4513-B4CA-B9B96CAA80BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$6C1A4FE4-1F2F-4F0F-9353-05CD705642F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$2ADDDB55-F705-4B43-8386-7D0586F60234","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q582133$530E0BA7-B842-4C25-8DE7-BEF9AEDFDD27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582133$168DC6DD-EB28-45C4-81FD-014543C96C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582133$9A464952-8382-4CD7-A348-DB928F98A263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582133$69681888-F529-4A35-87BC-2C686221714F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f96ab53b34d68629ba7b60e57e23dcbec25d3300","datavalue":{"value":"4130056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582133$4E602E02-3DDE-4D06-BB7D-750382A8A25D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8710feba3ac62faea4a8522baa0c66e6b134ff","datavalue":{"value":"Hoare's CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q582133$889E868D-7827-4B54-B80F-D7AAB72A5B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3ea1a2996b57ff51ba5a24be5f6ba8a35fef36","datavalue":{"value":"step failures semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q582133$45F9FF0F-3EFB-4E53-827D-F239AC9623FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q582133$C060EC50-DC55-423C-8A2C-23BC20646B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q582133$039A26FC-4087-4563-BCA5-19F2F49CC411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a719199dfa285d39aa1b3089178dd2debd94af3f","datavalue":{"value":"linear semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q582133$B5D37F22-DA38-4117-9F1F-1B6ED53FD15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2a4cfad57760ee1f385e812f0c4fc8c053d61f","datavalue":{"value":"deparallelize operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q582133$53689C3F-EEB2-4183-BC7B-72CB6398414F","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":"Q582133$B4EB8912-0B06-4D97-8158-044E5427B7CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00cf9fd96e8e3372302cfb0e3ff3232e1e284d41","datavalue":{"value":{"entity-type":"item","numeric-id":1161282,"id":"Q1161282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$88D18E53-48BC-4266-9094-D3CB7EE867C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$6E8FE40A-FB93-479B-A2FA-4E7EC4946952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$0BBE0C8F-CA1D-491C-A59B-6322BD77E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$1175980F-0DCB-4358-A9AD-8B6BFCC4272E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e62688cf92597212f4df037fca83e1c910599f","datavalue":{"value":{"entity-type":"item","numeric-id":1088402,"id":"Q1088402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$45DC2B21-B532-4E9A-8D07-7B51177D459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a3198740699571592af31764e6d0199a85a6e6","datavalue":{"value":{"entity-type":"item","numeric-id":3030233,"id":"Q3030233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$707BA839-B18B-4752-A4F8-D41A4D006B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7468c4023394b3ea3c8450d2f7ae2e84e316c6e","datavalue":{"value":{"entity-type":"item","numeric-id":3774958,"id":"Q3774958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$98DB5E03-1FDD-4716-82AE-10683FA82494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$FE03B920-FC05-4CCF-B72E-078A41954380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdee236e5bc560533f60d3e26b033c21437edcb","datavalue":{"value":{"entity-type":"item","numeric-id":3821598,"id":"Q3821598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$6C134D36-5840-4CF5-805D-BB3894BED20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$24DF6634-4BA6-4F26-9D6F-EDBA0494BAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f230e0c6f84622662a17f7b7525f9c1408851","datavalue":{"value":{"entity-type":"item","numeric-id":1051420,"id":"Q1051420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$8506774E-D828-4665-A0E3-1C7E4B1D3335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a2974a221da09b9f40d75d462e88d40fd4b32","datavalue":{"value":{"entity-type":"item","numeric-id":1139946,"id":"Q1139946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$D863EB6F-6576-484B-B266-75A0107553AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52269c610adadcff26528deece015a685bb99129","datavalue":{"value":{"entity-type":"item","numeric-id":796298,"id":"Q796298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$815D720F-0F00-4EC6-A14A-008C1593475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f67c1e63f57083d3ae4a372ffffc556fc42611","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$F809239D-D670-4588-93DC-A81D745B85C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$F58D4FD6-05F8-4770-8134-FEFC0F4110CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$1937CD5A-121A-42E3-A0CF-274DAE839685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$24AF5281-F3CE-48F6-898E-257EE53A2950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac4cb7b296a728973758e537d27a8a465251280","datavalue":{"value":{"entity-type":"item","numeric-id":3815533,"id":"Q3815533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$7D9661FD-57CD-45A9-9C5B-4CBA487D9B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360313c2019dad4fc2828cb13cc91516645c1489","datavalue":{"value":{"entity-type":"item","numeric-id":5748880,"id":"Q5748880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$04C63A12-8992-4984-AF1D-522C06D38B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9197cbc9665692cfaf763a42b30a099e1811e19","datavalue":{"value":{"entity-type":"item","numeric-id":3675511,"id":"Q3675511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$FF05A233-8720-4F12-B4F3-84A4A19EB54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$30394CEF-D63B-4608-8850-13DDDFA82F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$92403F8F-0A51-486B-8C09-0476168C2ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b721cd3525f2d41eb2e353d4f22f90cacb67d","datavalue":{"value":{"entity-type":"item","numeric-id":3325068,"id":"Q3325068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$F5B79140-D856-4AA2-8DC8-468E5C6CB12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$3EA1ECC1-6731-41D1-941B-A7B6AEF68C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$23C3679C-5E72-4C2C-B0C3-F65FD1A21A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b4729304e81d783772a1b41e3289edd332cad1","datavalue":{"value":{"entity-type":"item","numeric-id":788496,"id":"Q788496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$7C2F3AEE-D355-49D3-A462-B35B0CF7E7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272d5b49852a6cd67e5df5a80f567c7faf508307","datavalue":{"value":{"entity-type":"item","numeric-id":3907056,"id":"Q3907056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$8D85CA07-0C93-4A6E-9D3F-ED13759F0D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$906D3EA6-F796-4CCD-B0BF-4191A3F8D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$AC5A65BE-3D07-49AB-B39B-0355A58C714E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cef352b40d156a31ed39445789b3bb718874a5","datavalue":{"value":{"entity-type":"item","numeric-id":3753474,"id":"Q3753474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582133$8643FD9C-09B7-41BB-A76C-AC9AF7B16C66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672476eba36975c73e7b4d2315638012e6592586","datavalue":{"value":{"entity-type":"item","numeric-id":3753474,"id":"Q3753474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f34a3423fade2193b1c94f3a2c692dabf2e2e85","datavalue":{"value":{"amount":"+0.9270098805427552","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":"Q582133$37BD2ED6-34DC-4B42-9DBD-B0EA34662111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8631275ad52acd3616dd087952e119a419a7cc32","datavalue":{"value":{"entity-type":"item","numeric-id":3702497,"id":"Q3702497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246bdcdec794cf6417bc63a7bf11827a859819be","datavalue":{"value":{"amount":"+0.8007834553718567","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":"Q582133$183863BD-2E21-447C-9198-E4EA1A35A328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3bcc655fb1c9520a8d05f506e240a767cab56d","datavalue":{"value":{"entity-type":"item","numeric-id":5756603,"id":"Q5756603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1190a546ea289ede937e3859bf43b38e217864b4","datavalue":{"value":{"amount":"+0.7714212536811829","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":"Q582133$83C456C6-D179-4CA5-B93F-882603F8F374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9706812d5187b3b52f9fd3ad222135e8b28cdd48","datavalue":{"value":{"entity-type":"item","numeric-id":2994489,"id":"Q2994489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d48eb711d1abad5a9d617d3aa326e8a7ac6e96","datavalue":{"value":{"amount":"+0.7675358057022095","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":"Q582133$19FC70F8-3FC8-4A31-B904-3BB859F6264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a174a7df7b2eff1ee782ed6b9a467a8441110ab","datavalue":{"value":{"entity-type":"item","numeric-id":1037248,"id":"Q1037248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47176a63b26c73566f7385c5ca5cb1e3b0bb42b","datavalue":{"value":{"amount":"+0.7652235627174377","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":"Q582133$4046DCB3-080C-494D-99E2-3822B4647BDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Step failures semantics and a complete proof system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Step_failures_semantics_and_a_complete_proof_system"}}}}}