{"entities":{"Q5415631":{"pageid":7445205,"ns":120,"title":"Item:Q5415631","lastrevid":92373260,"modified":"2026-06-05T01:33:46Z","type":"item","id":"Q5415631","labels":{"en":{"language":"en","value":"Proofs as Polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294831"}},"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":"Q5415631$F7CB8DCD-44E9-429D-A749-3660528B62BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb11d64ec7ac2409e9cb437e66a96dfc2296f732","datavalue":{"value":{"text":"Proofs as Polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415631$CB20E717-C316-4C75-9E26-34DE0D3A28A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0680b73716504cd66e3224b91f0e89ab5b50c862","datavalue":{"value":"1286.03161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415631$7781C6AE-9751-4BF5-BE90-AD761B55F080","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d36d31f804a7251d6e5c2fcb0c40accc7881c7","datavalue":{"value":{"entity-type":"item","numeric-id":534709,"id":"Q534709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$E782818D-AA49-44D5-81A6-EF761454DE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$524749C4-0462-42B2-B239-1696B45F9B9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$99E1FBDF-3AC8-40C7-B5D6-8E213EBC8276","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415631$2C156A4F-4A0C-4BDC-8BBF-1B5ED75AB933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415631$220804FE-2A41-42EA-A263-7F966D3AFDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415631$B92BD32A-85C1-4855-9C96-B821B1CF3497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415631$C2B89DFC-5618-469F-8DEE-BA713D26FC9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0501c94a88a1958e1779b6372c2eb1f198bfec29","datavalue":{"value":"6294831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415631$DCB8B030-41D0-434F-A257-10C58F59230A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a82277bbe473528241978984f20c76f7f8f712","datavalue":{"value":"geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415631$7FFB12EE-D20E-4CD4-B98A-869C7E156A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415631$D1D10D49-E70D-4EBA-AE48-07BBED55622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4045323ecb780eeabac5ac2da1c1b0a6e3d2b182","datavalue":{"value":"traced categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415631$4BB266CC-59BC-424E-9BA5-9376D4AD40F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2164e1586d4a5ad385835d54f7941b4323f031d","datavalue":{"value":"unique decomposition categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415631$E416E964-E7BC-4028-A636-BC290D20667D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9b82e0fe77588099d1996abb692cfe3dff6fe5","datavalue":{"value":"characterization theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415631$8D78BB8A-9F17-48F9-AD0C-8A412EDC4D54","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":"Q5415631$11E9FD39-ADFA-4B9F-82D3-7A3B79139C0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22f4a790d1f95d82a2a3606f0feaf36bf3567dc2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415631$9844E052-2833-40BC-8D16-659A6DE9DB7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77839e372a0281fdfda0b65bfcb7ee9c930cc6ff","datavalue":{"value":"W2124058279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415631$7F31AB19-BF84-4C58-BD81-78A593F66CF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f9a411bcaa82f68e52092d79e5583055ef896","datavalue":{"value":{"entity-type":"item","numeric-id":6104362,"id":"Q6104362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$57943904-E6BB-413D-B454-BD7989C5B482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fc405d82697a671b0ec0b92b9342f8c2268798","datavalue":{"value":{"entity-type":"item","numeric-id":1818626,"id":"Q1818626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$FCF72261-9A4C-4172-A1E3-B71C67A7B03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee5d222aba101a0acbf527c26af2c58471ddfe5","datavalue":{"value":{"entity-type":"item","numeric-id":4792973,"id":"Q4792973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$25BC8588-EBF1-415E-B5B7-78D348B401F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b678264d2d2d9e0f9750b5f2983826108b789e68","datavalue":{"value":{"entity-type":"item","numeric-id":1327394,"id":"Q1327394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$126D6D95-6CA6-4C26-8E7A-621D164875EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bf5865cd07ece1ba1ad76aef5a35df3bc8decc","datavalue":{"value":{"entity-type":"item","numeric-id":1588062,"id":"Q1588062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$A26B0F74-AA54-4F71-8E1A-9AE4F91C9EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$AECECB45-726D-4564-939A-CD56D03F0B80","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":"Q5415631$C109B1B1-6624-4A24-ABBD-15C95F2585C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$63E90794-53DF-4B1C-B382-1EDCB1439B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1bd80ab943fcd1494b0aadc3e5364b81327341","datavalue":{"value":{"entity-type":"item","numeric-id":3203017,"id":"Q3203017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$4E46D4F8-2945-4471-9E80-8FA6858A3312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$0B84661F-3AD8-4649-9D31-42CAD4F0CC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3d96665670ba04fa010c756d53babdec44ea88","datavalue":{"value":{"entity-type":"item","numeric-id":4842981,"id":"Q4842981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$98DA1F05-FDED-4EAC-B68F-A7BD9BF23DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d5c23e3f5f7f6af57b8564d86fdef84705ef3e","datavalue":{"value":{"entity-type":"item","numeric-id":4487270,"id":"Q4487270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$600B01F0-2286-4DF2-A2F4-C29FAA5BF821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5d548584c028db5c5bf0690cbeb3e9237fb5b0","datavalue":{"value":{"entity-type":"item","numeric-id":817846,"id":"Q817846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$35A5F79A-6742-408B-8B5D-626F1ABC9608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561eaf028244df9e5afc5a50488ea6be0a7af9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2849878,"id":"Q2849878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$090EFF64-0920-44BD-9E12-61AF094A3DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917f4f82293312e76890560dc0df3b9e4f8526ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394579,"id":"Q5394579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$D12FE538-AF65-4D14-8E16-EE63FA80FB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a3d0ed7023be1c8ae3ec113b8d877461b12ef5","datavalue":{"value":{"entity-type":"item","numeric-id":3591432,"id":"Q3591432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$D91167BA-6A95-4748-B832-8A7CBB7A1ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f55ce7a0033f267017eaa754b9f303d49b3795","datavalue":{"value":{"entity-type":"item","numeric-id":1398466,"id":"Q1398466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$83FB5FB8-7462-42FB-B639-6E29C8D96E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$0CE5FF63-4A70-4D33-AA60-6873CA5AC076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415631$BF243C54-F7FD-4426-B14D-6D8BDF915689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf765d6f25e12235ff1149f7aa4f1669757d7908","datavalue":{"value":"10.1016/J.ENTCS.2008.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415631$C33E6307-60B7-4913-B446-AB6103976707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afaa477750a93726329250f732e1c1686e9ecfb","datavalue":{"value":{"entity-type":"item","numeric-id":2484506,"id":"Q2484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1693e21761ea10e37e1796647143f29f6220bc","datavalue":{"value":{"amount":"+0.8874377","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":"Q5415631$A1383B9B-45FB-4B8B-AF66-2291482C8353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c690d513be3a7a38c2fa68deeb305c7ad5e7d36","datavalue":{"value":{"entity-type":"item","numeric-id":2462255,"id":"Q2462255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de3fddcf5e610dee14d0076942fe000a7be663a","datavalue":{"value":{"amount":"+0.8855159","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":"Q5415631$BEF0A563-20EF-414E-B6B8-5F664F327C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104812a74f51e8777ea5bbc9c23c4390eaf10a3f","datavalue":{"value":{"entity-type":"item","numeric-id":791702,"id":"Q791702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2269165182f93518a28e7b1763beadb8b442ea66","datavalue":{"value":{"amount":"+0.8854798","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":"Q5415631$C9B98F41-9A93-4235-802C-898EF9D0EE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b22e8bf7633496aea1056b37c95e70b6c3a9107","datavalue":{"value":{"entity-type":"item","numeric-id":2468914,"id":"Q2468914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"526bd745aaeadc74801b80b57049629e39a49475","datavalue":{"value":{"amount":"+0.8848503","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":"Q5415631$A45EFB33-559D-435B-8027-C97512B4E16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e99b5337c9c6c6438835109ae6d064e17ffa65","datavalue":{"value":{"entity-type":"item","numeric-id":5905476,"id":"Q5905476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3a9b94711169e928dff3ed0d066fb878296ddd","datavalue":{"value":{"amount":"+0.88145095","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":"Q5415631$0DE80358-F1BB-4BAB-8E50-DE2849DA07FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d647e15f20422763daf59850d126c898f1a8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3722593,"id":"Q3722593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3a9b94711169e928dff3ed0d066fb878296ddd","datavalue":{"value":{"amount":"+0.88145095","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":"Q5415631$A795BD16-59A0-4E62-93B0-5FB7BEEFFDB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs as Polynomials","badges":[]}}}}}