{"entities":{"Q3384877":{"pageid":3395580,"ns":120,"title":"Item:Q3384877","lastrevid":88077221,"modified":"2026-06-04T13:34:54Z","type":"item","id":"Q3384877","labels":{"en":{"language":"en","value":"Classical proofs as parallel programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447733"}},"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":"Q3384877$0AD2F6A0-D9AE-4693-A40A-C0E9D9ABA056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$A3880BB3-3018-4CC0-B74D-109B46128265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$FEB4924A-948C-4725-9F6B-A3D2A0ED7C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42bee7817e5a0e44e265abb433bc2f33ece0a2be","datavalue":{"value":{"entity-type":"item","numeric-id":1989343,"id":"Q1989343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$5AEC3319-633A-4667-A6F2-EB1A0DF14474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-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":"Q3384877$C47DBED0-D60B-432A-BA69-E691BECAF206","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe955b896dee1eff83a77076538b564b76325797","datavalue":{"value":"https://arxiv.org/abs/1809.03094","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384877$1C0640C8-3217-4D04-934A-25AB9AFCF0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7aa874d112f6dc9d637748239c867422bdffee81","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384877$4C61A6CF-0406-4726-A6C6-AD94EAB62038","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384877$BCA0542E-B91A-42FF-996D-ED9C11320D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384877$E548B055-7FFF-4C7F-A07E-7383292AA78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384877$0CD9943F-8521-4AD1-A29C-03AAC4BC0930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"040ad471ace086f4fc3471ddcb5dbdccb80e975e","datavalue":{"value":"7447733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384877$D588BD51-78B6-4DAA-A071-B25E5D59A69F","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":"Q3384877$B323DFCA-7F22-4F01-8087-A8EEE6794B6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e03d971434166662553fea7d297a953d7106b1","datavalue":{"value":{"entity-type":"item","numeric-id":5144622,"id":"Q5144622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$8955D50C-7845-46CC-9EE8-881CF96A9F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$0A2B7DDA-3826-464B-8902-7FB9B8639CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$02F8EECC-F26B-49B4-8CE6-5A0B10401485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70578058965d2cedd8dbe1f19fa5de0174951ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2753680,"id":"Q2753680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$B9180CAA-88DD-4376-BE16-71507109AF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3b246f171d64dd343afae5b27fc203d245679","datavalue":{"value":{"entity-type":"item","numeric-id":4934334,"id":"Q4934334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$0896541E-8527-4DAB-92B0-42DCFE2DEBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$12D8EB71-84E8-4CC8-9245-198AB9DAB5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dc71408bfc822fcfb26590a9ac4a240325ab9b","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$03EF59DE-AD3D-4472-89C4-1B83159749D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$D9FFEC50-F1DC-4A18-95C7-3ED20FBC8F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$6475B420-37D0-4C33-950B-51B68A933CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$9A8DEBA0-FFEB-4F70-B97C-54CCB836969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$36A5149C-582C-42D1-8A70-26D7E346DAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$8918BB81-8815-40C1-921C-A7AC8ABA6BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$12DE0C20-E04B-4525-9FD6-2A63756671A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b3c64205d4c40af3ff992b08da0a8c0d27b403","datavalue":{"value":{"entity-type":"item","numeric-id":5326295,"id":"Q5326295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$5FA8A65B-A6AA-4CDA-9457-3710C9770EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$2E9EDBF8-FA26-41EC-8B5D-6CAB61CAC0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384877$F869D1BD-EF97-4FDC-A271-896CD30129A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2739fbfff016a5e366eac26cb88c1736bd7b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8fd800dcfe7761fa9bc86f349a705321927e4a","datavalue":{"value":{"amount":"+0.8535415530204773","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":"Q3384877$910379AD-9CF4-42F4-AACC-2C8E87CCBE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8666ed9331dd0b79d5048e10e8d9eb901e034449","datavalue":{"value":{"entity-type":"item","numeric-id":5055999,"id":"Q5055999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1f907a6ac0d77a00b6d97c7b19d18a3849a817","datavalue":{"value":{"amount":"+0.8081170320510864","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":"Q3384877$779BCD1C-3B57-4542-A57D-7B53BC45F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2e38d64a3a45f26d240e1dd0b80ff002ee5c75","datavalue":{"value":{"entity-type":"item","numeric-id":4370352,"id":"Q4370352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee87056e9238590b1769b97f8a94eec947f99fc","datavalue":{"value":{"amount":"+0.7924765348434448","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":"Q3384877$C81B5DE1-5163-4E1D-8D37-18722B85E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f814973f2cc21b2aa6ff68e6c5de6f3725cc9079","datavalue":{"value":{"entity-type":"item","numeric-id":4530146,"id":"Q4530146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1939bbc5b823f5b0c04826d992d710dcc8915892","datavalue":{"value":{"amount":"+0.791538417339325","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":"Q3384877$8EFD6794-8B32-4DAC-9C39-B0FB1AA38C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical proofs as parallel programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_proofs_as_parallel_programs"}}}}}