{"entities":{"Q1346611":{"pageid":1357350,"ns":120,"title":"Item:Q1346611","lastrevid":68661585,"modified":"2026-04-13T01:16:02Z","type":"item","id":"Q1346611","labels":{"en":{"language":"en","value":"A principle for sequential reasoning about distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741027"}},"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":"Q1346611$FD62995D-422D-4085-A537-E062F44AFFE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53448e8606d5a1e0ab142ef088ef60254f1d6012","datavalue":{"value":{"text":"A principle for sequential reasoning about distributed algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346611$1CC524DC-E1BB-4B91-9F4D-9C1CF06D16D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eacd8ba67ac74f22e2903602252e768642dde33","datavalue":{"value":"0829.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346611$1430E984-D4E2-459D-BFC4-C484463F3E5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cca39476c5a1a885a2395772c3571a6e05cdf7c","datavalue":{"value":"10.1007/BF03259394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346611$18C5BCE6-2C2A-48D2-BF4E-ACD898F46192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$9E1FDE3C-EB45-476D-9AC6-BE8B3949C15C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$B0B10906-1E43-4A52-A355-15311845787A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"105cd52c1072aef79a48ec029075a51ef3a83a4a","datavalue":{"value":{"time":"+1995-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346611$53204713-0DD1-4EF9-82F3-17BD6647D421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346611$D36F6445-236A-42EE-AF4B-44493EE683A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346611$ED02B39A-0417-4015-83A4-390CE72EA248","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d32a0655fc994d29b05ed422e1e2e0c125de7ec0","datavalue":{"value":"741027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346611$32931519-1947-499E-96C3-B628816A5EC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346611$1C2BCA9D-51DF-435E-BE54-3BB04EF2098E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346611$014721D7-1864-4EB1-B658-A827A8E58FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3073f40c80d068310e3b05c8e1341273f7e62b89","datavalue":{"value":"minimum-paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346611$7ECBBE8B-6A31-405D-A53C-8F75A0E2057F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba61a8abead030333429495c832d733d94064bd","datavalue":{"value":"connectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346611$5E2FD594-CD3D-4090-B859-78A2796BD9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9527ea6265f63439699edc7d3ec8cd45a55d81c3","datavalue":{"value":"network flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346611$EC6D7715-FCB2-46B1-BF70-CFFCC594A668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df962b96c766dc7517b4aa2d3b7476f8ac5a0f55","datavalue":{"value":"minimum-weight spanning trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346611$8FA3510F-E327-4D67-B04F-D1A70E3E4C72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$31750F8E-CD2D-4E2F-B9FD-84A51484DC4F","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":"Q1346611$F71879C8-9CD9-4B30-8157-37949F342857","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$130CD269-389D-4C13-9E7E-7E5052A6E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94223dafefd21030be656dcd94f94b2f0ec420de","datavalue":{"value":{"entity-type":"item","numeric-id":918204,"id":"Q918204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$34B8E340-0F7D-47A7-ABC8-857D64500241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c734d797d1f4b152cb8689299f989908e205cc","datavalue":{"value":{"entity-type":"item","numeric-id":1142590,"id":"Q1142590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$1CCD2756-2ACF-4DE9-BB02-7C49A4F9A10C","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":"Q1346611$C1324E78-5CC4-4CAF-822B-F05334406339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7402b71ea4bbf991c01bf95776d9a52b2b5419","datavalue":{"value":{"entity-type":"item","numeric-id":3922146,"id":"Q3922146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$4976ABB5-087F-4BA4-953D-1F6F8C257EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cd4c0fc1f5a8f42092f317e184d08f13e82f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3964023,"id":"Q3964023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$FCFF52F0-A619-4489-B4D8-978E63B970D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9af24c89d54f74e3507ebbda2e5a20f0f545a","datavalue":{"value":{"entity-type":"item","numeric-id":3741036,"id":"Q3741036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$0C678F28-21B2-46F5-A708-4CB3E6DD2C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a241ab0bb1db9db0f26d4c5fc31eb59e6982d92f","datavalue":{"value":{"entity-type":"item","numeric-id":5348853,"id":"Q5348853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$7D2A4F6D-5C8E-4C05-9145-4E1A79F180BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b507ff77ec0feccb633849d918fd8b741992ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639046,"id":"Q2639046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$25BD88E7-3460-4000-B284-A85F57FAD8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3399f5121e7c8f51f0135a441ec6aeb62d5737","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$8DE33E50-DF76-4DBF-9F21-FCD10B6866F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e09f7681257b92526d42b556170b42e07509410","datavalue":{"value":{"entity-type":"item","numeric-id":4745241,"id":"Q4745241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$80CE0BD6-1050-4AC7-90E5-FB16ECCB2F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$18100E34-E178-4487-BEF3-21AFB6E6C17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$D41F8AFE-F9AE-472D-ADED-482F57706E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c32038601f4922565a2a5ab0c949de79e87be1","datavalue":{"value":{"entity-type":"item","numeric-id":3997127,"id":"Q3997127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$5CF49552-F4E7-4108-A983-5B34DD1AEBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe3ff9b018946d9708f14baa914be943224ba81","datavalue":{"value":{"entity-type":"item","numeric-id":3951886,"id":"Q3951886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$736B4212-2C33-45AA-AB89-08BF671792CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0566d415668db9bb3d61a9252a66340084dfb65","datavalue":{"value":{"entity-type":"item","numeric-id":3313789,"id":"Q3313789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$D8D92FE0-D894-4548-85F7-A6F8D588FB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ab51af902eba195d6ce02b867e70ba8a2a70a9","datavalue":{"value":{"entity-type":"item","numeric-id":1346611,"id":"Q1346611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$F23E0B4F-1515-4864-820B-4DF4D1D79693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec5eff2cc02d7ceef478dcafef08a2a2eb8e8e2f","datavalue":{"value":{"entity-type":"item","numeric-id":3321441,"id":"Q3321441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346611$3120E333-E010-4D84-872B-8B7820292820","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"018e9ac0990da60a5638b4ecdc589a7955508a78","datavalue":{"value":"https://doi.org/10.1007/bf03259394","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346611$A4651305-8075-4229-A3DD-F8A892B092FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caa377145d53f1d329f8ba9173efaf004305cf70","datavalue":{"value":"W2045364115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346611$9F18A044-1FAA-4ABF-A9E0-644DAE442C05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfab041974cc4f007615d16a17c1805ea919b90e","datavalue":{"value":{"entity-type":"item","numeric-id":5348853,"id":"Q5348853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c95039246dee0d8b3a5d9b66bdc2de3a72e939","datavalue":{"value":{"amount":"+0.7744592428207397","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":"Q1346611$2B350E8C-7235-4472-BB5A-558950FC68D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17197a407b5b7a47c6b46d2d4ac390563ed58ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1125687,"id":"Q1125687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a06537ead475e2b2ec67bc5c03201efeaf6251","datavalue":{"value":{"amount":"+0.7623359560966492","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":"Q1346611$7331C032-0FF1-4AC6-8E84-EF990A96BDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e328eddf4f2eecc6d5962bb24ca147b4869a6c8","datavalue":{"value":{"entity-type":"item","numeric-id":3998054,"id":"Q3998054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191d46916da59db8ee1f2583e68768e31457903b","datavalue":{"value":{"amount":"+0.7589541673660278","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":"Q1346611$ABAAECC2-0F24-47C9-8F38-40B19BA5AE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f5da6a0cdee5b84bbba6c91ddd79828406e982","datavalue":{"value":{"entity-type":"item","numeric-id":2748153,"id":"Q2748153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1afb3969967051941102e389ecb57149b9a74dff","datavalue":{"value":{"amount":"+0.7364181876182556","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":"Q1346611$874C8F9B-8E6D-4BB4-B8A3-D27CD36FBB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b9b5189887c7366207a7c1588c95e87636b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":6162106,"id":"Q6162106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729b20662c22d9680ad5c85646ea68c5082232f3","datavalue":{"value":{"amount":"+0.732527494430542","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":"Q1346611$DA8256D2-5610-42DF-92C9-7C95F199E188","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A principle for sequential reasoning about distributed algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_principle_for_sequential_reasoning_about_distributed_algorithms"}}}}}