{"entities":{"Q2819827":{"pageid":2830565,"ns":120,"title":"Item:Q2819827","lastrevid":79429292,"modified":"2026-05-06T13:53:17Z","type":"item","id":"Q2819827","labels":{"en":{"language":"en","value":"Proof spaces for unbounded parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631316"}},"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":"Q2819827$020D3464-C750-4EE8-B73F-7710681D7EEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e920f8ab670c3bbd1e414cf2e6d50bb963543cee","datavalue":{"value":"1345.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819827$2F88EC72-734F-4AF7-AEF6-68A6B390F0AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"878697536d2e776b88c062a8fe7296e89efad5ad","datavalue":{"value":"10.1145/2676726.2677012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819827$6FD08AD0-07F0-49E5-B1D8-62BF9853CD81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819827$EE80856A-A819-4C66-A87F-C837588A4B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fad1b91985a3c82f5ef7ee93b79eb62f914c5d","datavalue":{"value":{"entity-type":"item","numeric-id":832151,"id":"Q832151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819827$F30DEFBD-3A0A-4BF1-9803-8DC510290DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819827$7AE4A14D-471D-4623-AB27-DE4ADA90DD58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819827$E525CD1C-C881-4E73-8F76-CA1E5A33C434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819827$23540904-A0E4-4B19-940C-5C6B8E9A5350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819827$70672ABD-706C-4138-840E-8498E5E28160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819827$05F06AEE-BAE5-4F53-AFD1-9ACFE765E747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819827$3FC14A4D-A84A-4C60-8A6A-AD16369FD9B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0631aeb272c69546111229d8e559d8cc554d46a","datavalue":{"value":"6631316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819827$918D8338-A778-4489-B475-1AA354E2A29E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819827$D9F67C8F-F15E-4677-BA16-5BF9FEFC7AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819827$407580D6-D1F7-4905-9DD9-EE5C4217EE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819827$0E554858-7340-4EA9-AE52-0DC3E3CBE42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5366d984bbf48fa391baf8d35ed8d6410392f0b","datavalue":{"value":"unbounded parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819827$0CE0FB5A-30BB-4BEB-8F14-91D137AA2BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819827$1AA1B04A-BB67-45C4-BA9E-A1F25A329DA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819827$3584DC7A-227C-44C5-A5AA-3531599DE4DC","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":"Q2819827$8CA455E3-EEE1-4232-8E3A-E2AEAA7A228A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e2201d4efd8de51c2ebc6b7976317037cbf4588","datavalue":{"value":"https://doi.org/10.1145/2676726.2677012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819827$BCB979C3-E1F9-46E3-AA6E-4CE638CE7896","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac8e4fdb45532563be2322b827b64f19fde55c28","datavalue":{"value":"W2090547808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819827$E6885C03-FB93-4642-9FBE-1FF44906464F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b942297fe91cfbe7f9ed0896f9808a5cdc50380","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6d28c407dd9da333a5411be51acf3eeebe2bed","datavalue":{"value":{"amount":"+0.87759817","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":"Q2819827$D2B61BE6-5CEB-4DFF-B473-0BA83D74DBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4323279719bd291bd2ece25d652f9861b5624d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4461753,"id":"Q4461753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7f1a2de5f769de62f1a8b59eba9ad44a2183f3","datavalue":{"value":{"amount":"+0.8689017","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":"Q2819827$7142FEAE-1365-4797-A5E0-7F9F8DD61C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d85d5c5d628222cf8902533d44b0f2655cb371","datavalue":{"value":{"entity-type":"item","numeric-id":2180524,"id":"Q2180524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3039cbaf37198ffd8e68e205d207f9f052496f","datavalue":{"value":{"amount":"+0.86399174","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":"Q2819827$C3B90715-CD59-4262-9075-15CC79718CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b486062afff069143c35529f1f7fd10c6a67df","datavalue":{"value":{"amount":"+0.8611393","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":"Q2819827$A6FAB076-EA1E-40FE-A7A1-7A2D49F6AF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710689999062aba102967f0498074b1d8198c12","datavalue":{"value":{"entity-type":"item","numeric-id":2956724,"id":"Q2956724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a08512bf03ba4a346e39c1b42ff3f75f2fe8d1f","datavalue":{"value":{"amount":"+0.8581745","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":"Q2819827$AE9170F7-79D8-498B-B5BA-33A91CC29B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0606aefba66bfd8bf14fb8837c26d7c7f2725cd","datavalue":{"value":{"entity-type":"item","numeric-id":2884994,"id":"Q2884994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18115c6ccc7b5f75e9cf677d56ae60e11650e331","datavalue":{"value":{"amount":"+0.85744154","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":"Q2819827$F05086B0-93A4-48DD-B5E6-10A441E86588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf4367f368197be4f8de61acc77e4f56dadd649","datavalue":{"value":{"entity-type":"item","numeric-id":1189467,"id":"Q1189467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51bb117c25adf00965fb18b163ae7e444c7802e","datavalue":{"value":{"amount":"+0.85531896","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":"Q2819827$B5E09C50-E895-467C-9C98-B49AB20AA810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1973bb01c07e187f01f048506dcc8e75346789","datavalue":{"value":{"entity-type":"item","numeric-id":3384877,"id":"Q3384877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13af13edab43eae92c29cf3cc04601ea660f8ed2","datavalue":{"value":{"amount":"+0.84992284","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":"Q2819827$192A9943-5361-4C15-A49D-14669B70BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c02bcfdbe13a58088d4eda7329c4e3fa44ef42","datavalue":{"value":{"entity-type":"item","numeric-id":2796410,"id":"Q2796410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a64b05d65760ee845f5f759f745d86a0b678fe","datavalue":{"value":{"amount":"+0.8497797","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":"Q2819827$92BBDFFD-9BE3-492B-9179-9440A6F5FD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ef970347afd5af9e5116729e2e3a3cfd8c4b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4612445,"id":"Q4612445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d8cf12d3d0228c6b5ba12f386573c8d318eb16","datavalue":{"value":{"amount":"+0.84815025","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":"Q2819827$D31CF83F-3B00-4258-A882-3A9C382422BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5334b1fe9d5a0f4d55ed35de32707b34d1efb51","datavalue":{"value":{"text":"Proof spaces for unbounded parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819827$B1A6EFAD-5933-41CC-86C1-FB5EC21D9DD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof spaces for unbounded parallelism","badges":[]}}}}}