{"entities":{"Q6831477":{"pageid":15518196,"ns":120,"title":"Item:Q6831477","lastrevid":84297047,"modified":"2026-05-14T19:24:33Z","type":"item","id":"Q6831477","labels":{"en":{"language":"en","value":"The exponential logic of sequentialization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183012"}},"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":"Q6831477$99CB3C7E-1C15-44CA-B066-7AE4FEB36ACE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24c31c2d242d6f68b015b5f0782579521971a269","datavalue":{"value":{"text":"The exponential logic of sequentialization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831477$304B0332-4CF2-45B1-86CA-9B4E28E67FF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9bd6533efc68540468735b469a5b63bb03e4389","datavalue":{"value":"10.46298/ENTICS.12419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831477$4473144D-C968-4926-90CE-37A80252081F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b71f6eba3b048fde9f5cb5eba57a0302d948798","datavalue":{"value":{"entity-type":"item","numeric-id":1744359,"id":"Q1744359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$B7EA2F68-3763-4781-BCC8-1A3FA6451350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ea3643994e89a7a13ea28d5b4222395a72c7ba2","datavalue":{"value":{"entity-type":"item","numeric-id":2303596,"id":"Q2303596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$F332D1FB-5195-4A8B-83B1-1AF8345A37F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$B4885E13-B38C-413F-89BA-6102FE1AB415","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831477$271BD137-EA50-473C-8387-8D64F58F7057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831477$201ED68E-8B52-4B27-A1AB-A847143154F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831477$5D8C42A8-0A36-4A5A-869B-4BA7265DDC89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0462017e0bf2e5a863f7f97747ab7817392ffd8","datavalue":{"value":"8183012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831477$A4BCC26E-DD61-4FE8-8254-AE08E2FB6A4F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$49AFE530-749F-4A48-BCFC-092564E439C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abe83532237ea8c9b80b40e288f5960a78cd9bd5","datavalue":{"value":"jumps","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831477$E5B8C051-3672-4E38-81B2-608EC6C7023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831477$979D5ACF-C7F3-4855-89C7-CC1D16AD6438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831477$837A0EE5-7790-499A-9DAC-09F6DDD64958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831477$A7A10973-1992-4B8D-8BAC-C93E5D0F3A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ece4b9fad34fbe4144ec182f23de3b987a096da","datavalue":{"value":"sequentialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831477$4D4E8819-39A7-492E-B12D-B3CCEE2B28AC","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":"Q6831477$84F7EFC3-6430-4D55-9FE7-EF7F311A6942","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e9bdd3a85997a43806e94417f32440ed9f93bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3644740,"id":"Q3644740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$42A27865-04A7-449A-8640-CD8EFFE6FD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$ADAB6E7B-EA96-48B5-9F32-CFA9185F5418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$308A5A3A-FE57-4B45-920A-241D670CA682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e92dd05c13a971bb768dddec151dfe6cff2f451","datavalue":{"value":{"entity-type":"item","numeric-id":5394576,"id":"Q5394576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$6508889F-5AB3-4AC3-87C3-D1DC71559FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a2f74a9e88d258473730b686b7ef33dbbd28b59","datavalue":{"value":{"entity-type":"item","numeric-id":418201,"id":"Q418201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$1621FB56-AECC-4DAB-9AF5-E8DBA4D17453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c83e1f5a299ad43f64c5d8bd7f886a86adb88b","datavalue":{"value":{"entity-type":"item","numeric-id":4577985,"id":"Q4577985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$335E9F80-E056-4FB4-9867-9A93FA4AFE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315548b1c57609dd77552984d0b6b41608a13f8a","datavalue":{"value":{"entity-type":"item","numeric-id":3613346,"id":"Q3613346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$7F193FC3-8396-44BD-A823-C5C5567ABC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcf2d1fe08b181bdb0230ac1c906a423faf937","datavalue":{"value":{"entity-type":"item","numeric-id":952490,"id":"Q952490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$FF926E79-4105-4601-8B5D-1536090B6939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$A740FF9D-DE19-4399-8920-FC3CF2B98B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$D257715D-4676-46B7-84DA-7F96D6C85BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$D290C2DC-6FD4-44AB-A7E1-92336D36E45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56662cbd9e13aadd4e49a3ba2ba43c21b58f2afe","datavalue":{"value":{"entity-type":"item","numeric-id":5145330,"id":"Q5145330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$53D67401-954C-4023-A94A-C922DBA5B2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb9a13a12f6ead53d5e4eb13f6bc48e3490bb07","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$FA749C49-F647-4918-9DB3-5B04A8720215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23e4484dbe90c851fe3b3eecd6556006a3445e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831477$B1542DB3-2592-4078-87ED-F13BEEA9F6B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The exponential logic of sequentialization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_exponential_logic_of_sequentialization"}}}}}