{"entities":{"Q2820698":{"pageid":2831436,"ns":120,"title":"Item:Q2820698","lastrevid":83732306,"modified":"2026-05-07T10:32:34Z","type":"item","id":"Q2820698","labels":{"en":{"language":"en","value":"True concurrency of deep inference proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6625891"}},"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":"Q2820698$4C1E6E8F-7857-4C96-8429-13807C83F9F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0672fdfffbb600294dbd2adca43df318bb4051d","datavalue":{"value":{"text":"True Concurrency of Deep Inference Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2820698$0D8DDDA6-3449-4030-9947-A75CB4A5CE18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4bfff918e93a0466a38524d0a47668d62ff2f74","datavalue":{"value":"1478.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820698$3995645D-0701-428A-BEA3-530DE30AF520","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6f10d88ce4c055852817a80319de4aa9c38b4e1","datavalue":{"value":"10.1007/978-3-662-52921-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820698$5662F627-1DC0-41C7-AE4D-23C4A12E278D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eb7c906224cb25d5c90b525202d2d3da1ea1cb5","datavalue":{"value":{"entity-type":"item","numeric-id":1041041,"id":"Q1041041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$D7F809AB-1717-4258-B9DB-3F250D45E438","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$6D1C894F-E826-4A54-8911-5EB27EF5A31A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a92f0ef72cfcb252a53db66962ae3118731f7fca","datavalue":{"value":{"time":"+2016-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2820698$DA74E56A-C7DF-450E-9555-C7A74BEE0698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820698$B1CEFC9F-77BC-4095-BBE3-C384E2C2338C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820698$598A4F67-B570-4006-8B68-D28F24942E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820698$37212FC4-9812-4D33-A29F-7993E2F6C7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820698$C0F0D8A4-499F-4C81-BE87-D4E445AA70BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3aeab698ffbdd2548beb7c561c16aabdfb5b7ed","datavalue":{"value":"6625891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820698$692CE735-4602-4B44-9BF3-F1C8012E3C9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$217AB340-0ED8-4E0A-98AE-261BAA3B3CDE","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":"Q2820698$EE263B34-6078-4A44-8676-6669DEBE02ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64e5bc0215876c694cc6cd58dd637b6fac7ab721","datavalue":{"value":"https://doi.org/10.1007/978-3-662-52921-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2820698$08DCD6B6-86D5-4212-A4B4-06C9C63AA2B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"407b4e8b2c30d71f31ffdcc490eee9db736e2a8e","datavalue":{"value":"W2501878985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820698$0781BDED-86AE-4A3F-8F01-BC8F067EBF74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8d4724fac31c84be8dfe751236a3355fca52b0","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$402B92D1-D52E-4899-9D9E-45B39EE718AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$FB79ECD7-3965-4D05-8B82-A37A24761B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$9BBB5E85-24BF-428B-9C4F-A30B54834165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d590a8f70bc72c2b3c07f87de20b83fab847d9","datavalue":{"value":{"entity-type":"item","numeric-id":3518275,"id":"Q3518275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$C35C021B-7C4D-4698-83CD-C0BA36CC6F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf499e29c0e8e2f018546e104c07e47e84ff64d","datavalue":{"value":{"entity-type":"item","numeric-id":5389140,"id":"Q5389140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$957BA515-0975-44DC-BD14-EC616957B142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfee6b34bb750e1b5f7c79a01601574f2c6a8051","datavalue":{"value":{"entity-type":"item","numeric-id":2478549,"id":"Q2478549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$41218DC8-B5C8-4AC9-B6A0-110D421DAAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda812cf22e141e4f8a0952a0f3ed2d5a8b26382","datavalue":{"value":{"entity-type":"item","numeric-id":1041042,"id":"Q1041042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$C3C019B3-CDC9-4D7A-B139-51480845C9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d36f849c7a3fbf12842e58e9f5f9780c6eebef","datavalue":{"value":{"entity-type":"item","numeric-id":5415654,"id":"Q5415654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$93C84BDF-F2E9-410C-9041-6C264E6E16C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$D3777AB2-D342-4BA2-A0B5-ACED6D6A3E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820698$A63CC11A-7AFE-43D0-800F-9FC977781F5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e19cabe13341f67aaef2cf0b284b7eec0db861","datavalue":{"value":{"entity-type":"item","numeric-id":5419489,"id":"Q5419489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06a1c0b0fffbfaa3af73734cf87a9d62a93a191","datavalue":{"value":{"amount":"+0.7794294953346252","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":"Q2820698$257E2846-11C8-4DBD-8E1B-84FAC3B71477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6dbb346f4d6438497a93358f9fc5d941f401797","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ebde04f5133c0ba0bf07eb08f62185a13a3695","datavalue":{"value":{"amount":"+0.7670508623123169","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":"Q2820698$47C22699-8EDA-4DFD-99BF-E96C6ADEFA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d74465c155a44dd034da0a2fe7c997591e1b1b","datavalue":{"value":{"entity-type":"item","numeric-id":5505576,"id":"Q5505576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4335e5edbc09d015d78c066fcf485627a4f577be","datavalue":{"value":{"amount":"+0.7493779063224792","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":"Q2820698$947A4A1D-2C24-41C3-948A-8417808AEF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e995298ffe3a7f5c2bbf62514844ca9135cc34","datavalue":{"value":{"entity-type":"item","numeric-id":5415654,"id":"Q5415654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46ffa3b55dce750482cd7c9bb5735532be3d057","datavalue":{"value":{"amount":"+0.7466994524002075","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":"Q2820698$F5A19394-9B0A-415B-9295-527D423EBE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5593f45110a7f3260cdff3094265b40896fdfba","datavalue":{"value":{"entity-type":"item","numeric-id":5310657,"id":"Q5310657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9420bbdfc02ca9a0d38a8c05a14f6aa022fa64","datavalue":{"value":{"amount":"+0.742420494556427","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":"Q2820698$FF31078E-5EF1-4FA9-83DE-03C15BC2397B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"True concurrency of deep inference proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/True_concurrency_of_deep_inference_proofs"}}}}}