{"entities":{"Q4217606":{"pageid":6247207,"ns":120,"title":"Item:Q4217606","lastrevid":46655295,"modified":"2025-12-25T08:32:22Z","type":"item","id":"Q4217606","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222110"}},"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":"Q4217606$B20BD922-CBB0-4841-B429-2925CD80B626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae8b3c42371589d5aac37aaf0e1830d359144a54","datavalue":{"value":"0936.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217606$30248DA2-1BF5-41BA-AFAD-91467DA642A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3fbe021fe8a37c72cf77df6028e0dcbf50af45","datavalue":{"value":{"entity-type":"item","numeric-id":601134,"id":"Q601134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4217606$C31CD5F5-A926-483F-A232-7CDD52715107","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca57a7d89bf0dec15e3184fdb1684eb793d104c","datavalue":{"value":{"time":"+2000-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4217606$B22060FE-0141-481D-885D-635E3112DC43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217606$A56E0B86-F695-486D-B37B-C0D659B9A15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217606$EB754A49-8483-4FA4-95B0-EF879AB8BAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217606$B20E7882-16E0-45AB-AFED-DAF0AD7F1D32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"089c3cfe7f34fff1534611a9313d17d9c6dbaa7c","datavalue":{"value":"1222110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217606$E2C64031-7ABF-4D6C-8421-D12BC411152A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a172e08a925137946d2c240781c44183d571ff8","datavalue":{"value":"multiplicative and additive linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217606$40803E4E-A432-4DAD-ACBD-E4F4C1273F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217606$8EC7BA01-8875-49DB-B06C-D4E83C498FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0087890b014930c50ae5a58e4b8f1de8926b1be6","datavalue":{"value":"proof-structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217606$D3DA88C1-2FA3-427D-B32A-2080AEA2F32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217606$F6164976-C175-487D-9247-5395E4ADFAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ef6a6dbe3f6818e8885b9872ec6cd3307cfed8","datavalue":{"value":"correctness criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217606$77B9ED83-6E8F-4283-9F6C-52DD7A39DC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa9d22c785debe51a81f66f23f2c0b7c6797b71","datavalue":{"value":"boolean weights","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217606$B9F7C0A6-0AB8-49D3-BA7C-F3C0BAC28EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217606$A6BC1649-D2EA-4B22-AC85-E943C5460A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217606$19A126BF-3DB9-4FBC-B3BB-25D036521A22","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":"Q4217606$9B152B9A-E566-4D13-9F78-616F932B0321","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b37468d28424d36c3021152c551704c3d423fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70268b3be9d6251e1d05de0a1be4eb594bb9127","datavalue":{"value":{"amount":"+0.8278806209564209","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":"Q4217606$B98FCE97-1705-4992-BE82-20A5FB93ADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615efd293a10244d37f814b4eb58ee101fc9a85e","datavalue":{"value":{"entity-type":"item","numeric-id":534705,"id":"Q534705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46934890775e09a1f2959ffd0d4ea648fa80b074","datavalue":{"value":{"amount":"+0.8174916505813599","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":"Q4217606$7D9AE51D-3A19-4B5E-9D4F-52FE8AD1015F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d124ced210b5a910800c0a9a70e8c471fc29415","datavalue":{"value":{"entity-type":"item","numeric-id":4635623,"id":"Q4635623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ca4e92b321eec4c76c4cf59d1eeb081fdbc717","datavalue":{"value":{"amount":"+0.8139371275901794","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":"Q4217606$3DDEA1B6-2F41-4ECE-AE3E-D8AFCDC50B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cfa5a292c05ae87a6d6dcbdb2ae28a02d2c098","datavalue":{"value":{"entity-type":"item","numeric-id":4328819,"id":"Q4328819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8f4212a26bf9998fb62b3877ad3cb8394e58cf","datavalue":{"value":{"amount":"+0.8105478882789612","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":"Q4217606$64CF83AE-385B-43C8-9B57-F80664C83819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4217606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4217606"}}}}}