{"entities":{"Q4842972":{"pageid":6872552,"ns":120,"title":"Item:Q4842972","lastrevid":40772754,"modified":"2025-04-04T15:40:36Z","type":"item","id":"Q4842972","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 786491"}},"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":"Q4842972$1942AE5E-0736-4428-95CC-770AFB813442","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b15ad9f326a53cfad16bb7abdc341a52b4d015f","datavalue":{"value":"0829.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842972$AAD2C816-59E0-4045-9104-8CB48C108B70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842972$C053DB13-3452-4CED-A9FA-E9CBAE3917FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d0bbdada3c9be42b370691f727810aaafa99222","datavalue":{"value":{"entity-type":"item","numeric-id":1575866,"id":"Q1575866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842972$F432D376-00F4-48DC-B67A-73CA08BF0AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842972$4F0DD857-959D-4E53-B68B-4886DDAEB5F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c57d92cae029ef5848a159f56fc2b8986d924bb4","datavalue":{"value":{"time":"+1996-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842972$BB8AAB40-4A1A-4CED-A25D-93BF611207B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842972$AC3F7EED-50DA-4809-989F-708D11915C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842972$63859B8B-7D24-4293-B25A-644EFAB7C469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842972$EF2410BA-69C5-434F-B2E7-3937487D86F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6df5896f3c9f3befe52da3c5f2ef8ecfc9a921c2","datavalue":{"value":"786491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842972$408F9EE8-735C-4C70-9598-B798974055C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c57b52e448db6ed9623e16fe98b74edde894b0","datavalue":{"value":"interactive proof semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842972$86B0822F-B703-45E8-AED5-5E8479CE961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccd45f8358392c3ec5433cc328747270355d7a87","datavalue":{"value":"multiplicative additive linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842972$67B7E82B-BCC5-4F27-A18B-9A3773A76CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd9d67707919285e3da03410c7d6459473c74d5","datavalue":{"value":"dialogue","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842972$B7B5DA14-9F05-46CE-AB75-75A6EDB6257A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842972$BA88E16F-32A4-4D11-B4B2-71EFCCC0C2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e4e4c5575f8a32a878fb6a5445c7528aa4e8ae","datavalue":{"value":"cut-free Gentzen-type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842972$B5C7580D-8AD7-431E-91E3-C5EECF3A8811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20487cb2d87b35806205d9c9578eb1073c22cc7d","datavalue":{"value":"stochastic game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842972$B68C30E7-59D6-42F5-B47E-AE793DEF51E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39411cc62ce78ebd41da7eb9d170a39ae6dbba3","datavalue":{"value":"prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842972$F19BC423-3BF7-4608-8DC0-D460BCB78AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"692a180ddc2529c555f0d458d473c942caf0f216","datavalue":{"value":"verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842972$22D0849C-1009-4B3A-8628-C15CEFA5F8BF","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":"Q4842972$FC5FB867-90C1-4506-AA91-DC0271148DBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dffc96431c8c460da523100f3bca4824ae0697a","datavalue":{"value":{"entity-type":"item","numeric-id":5404962,"id":"Q5404962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facae91457e82d59e0184f8470f978c7388a549a","datavalue":{"value":{"amount":"+0.8922021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$4B005E4C-5AD3-48AD-A9A2-E8A4A9D977B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f4d7525d535a83acf868f9e902e6c84184b30f","datavalue":{"value":{"entity-type":"item","numeric-id":2041967,"id":"Q2041967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4d0db56ca37a7e97a95111bacb152cf4240e91","datavalue":{"value":{"amount":"+0.88903356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$D36C4BA2-5A1F-4271-BACD-DF90C5E73E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0fd8e9b2b0d66d91caf77b83a770566d85c52a","datavalue":{"value":{"entity-type":"item","numeric-id":3011971,"id":"Q3011971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db19a7b41090eb69552b2ee6f1a9e3f2d167086b","datavalue":{"value":{"amount":"+0.8857574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$5F66BB81-8102-4832-B059-ED2B1577AE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763a71dbe6662a51635a2d80aa4804ff878ec275","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff002518685422b0b0b74a36587ce92752be3953","datavalue":{"value":{"amount":"+0.8852991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$9A08AF00-6C27-4A9D-916D-3E14B1348B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179cbe81ea4dca0c5bd5341caef729cd4422b421","datavalue":{"value":{"entity-type":"item","numeric-id":2892686,"id":"Q2892686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc74983eba71b9fe87184d455bdf1650d924166f","datavalue":{"value":{"amount":"+0.8822539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$FBD5AF4A-F454-4205-BFBC-292EA7CE33FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d297f6860ba63a4752b42d120a699735fbd08b4","datavalue":{"value":{"entity-type":"item","numeric-id":3063969,"id":"Q3063969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc74983eba71b9fe87184d455bdf1650d924166f","datavalue":{"value":{"amount":"+0.8822539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$EB7C5418-053B-4DF5-92DB-160A83F72D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8a0134e8d6627cd91ebe249c356d149921c7d6","datavalue":{"value":{"entity-type":"item","numeric-id":1951297,"id":"Q1951297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a032ebd34da5b68de5462064ad81531fa792047","datavalue":{"value":{"amount":"+0.881014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$96EBD957-16A5-40A6-B932-B9BBED067B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdcaf8e6b474449c697d5c59973b7997098a863d","datavalue":{"value":{"entity-type":"item","numeric-id":1197583,"id":"Q1197583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adffc77a9f83e11dfcba0018b03743120c9d572b","datavalue":{"value":{"amount":"+0.8758673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$74B5A95E-24EC-442D-93A9-34ADBCA6AAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa61de9746c03f9458e5fbccb5f90dd4b50505df","datavalue":{"value":{"entity-type":"item","numeric-id":516033,"id":"Q516033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce280658987de6a24a1c83cd7380e7bd93f34867","datavalue":{"value":{"amount":"+0.8728664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$31B6FEE9-4A2F-4EA7-8C5E-B0DD3F14E444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e00492223d8a74fdffca3bd01a0982fa7c35cf","datavalue":{"value":{"entity-type":"item","numeric-id":1583245,"id":"Q1583245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98a74a7dc70c15cb3bc4b23c9bddd86cb4ebc96","datavalue":{"value":{"amount":"+0.8717717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842972$E15526D5-8D42-4204-BBEE-FB7D0EB37002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842972"}}}}}