{"entities":{"Q4993336":{"pageid":7022913,"ns":120,"title":"Item:Q4993336","lastrevid":41216495,"modified":"2025-04-20T06:54:49Z","type":"item","id":"Q4993336","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359406"}},"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":"Q4993336$BCB5EFF6-1B8B-4583-8DC9-5010495B2592","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12982dbbe7ed9dac2b2585df68ed7be43fd4a73f","datavalue":{"value":"1462.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993336$86A937E2-94FE-49DF-AE56-BF100E87185D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e93a0cd05b273179f9b07d27a043ad61db98b3","datavalue":{"value":{"entity-type":"item","numeric-id":860831,"id":"Q860831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$918C6E59-9687-4A44-AC64-2FF3951B8BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3692c76e27dc49b695ca2d8a287922220322cfc","datavalue":{"value":{"entity-type":"item","numeric-id":636368,"id":"Q636368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$94F3E15A-7858-4302-994B-A7B95B36398C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993336$5499550D-E87E-494A-A15E-6226EF67B1DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993336$672D8132-DCC9-4BED-B8F4-24DC00B84122","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1afcac6028594c63fd3884cf7c657b19026d0fbd","datavalue":{"value":"7359406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993336$14DA2AE5-4E4D-4680-85FE-FC6AA5CC7CD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993336$EAF7261B-B127-4FCB-8BEE-410E469532FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993336$15B4C9D4-9AA7-44E6-B714-27F93F725A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e3fcc84d92c0d7097f8bd852a680cf5f6fd2ea","datavalue":{"value":"contractibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993336$1444FAFE-B8C1-41AD-9792-AD91010D9ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993336$8437608E-0E72-4983-8C30-0135C65D2A94","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":"Q4993336$40DD4D03-80DE-4E0F-B4FB-E0A378B77B2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8eafabf0cddf70d8185a67fa02863c2bd424ef","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$84ACC5A9-3EF4-4A1F-8EC7-3C7294B74DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8043ff418094b71ff31e7c9711a4b7ee52fcea","datavalue":{"value":{"entity-type":"item","numeric-id":2958523,"id":"Q2958523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$39822D66-52AE-4D49-9F46-3DEDCC8127D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22233bee52ccb8eea1284858112deaddc3149c88","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$75BBEECA-E18D-48CE-9CBF-2B958EBE5E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$E1D51116-A70E-44ED-8694-38FD575F8253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$28BEA0F0-6EEB-4CC9-94B8-9A39C8BB3BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a6ffd77942bd15f7449f6b2a2adcf503d14194","datavalue":{"value":{"entity-type":"item","numeric-id":534703,"id":"Q534703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$69E26D0B-C1D6-4EE1-BCCF-A6F7FA7B56C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78aaf3d3394afc6f6c4b082d0145138c19c2ff4d","datavalue":{"value":{"entity-type":"item","numeric-id":5283420,"id":"Q5283420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$AA93EF3D-FE7F-4D2F-BEB1-8608444D438D","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":"Q4993336$1BEF0967-E5F7-426B-BA53-E74C42894C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2e18d1df9fdf7c997855f23fd7e29219c01e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5940925,"id":"Q5940925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$8E396CC1-E25F-4A7A-B938-4A1E53928B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f2e87d38f6bd7cc8556ddf248042671c77a37","datavalue":{"value":{"entity-type":"item","numeric-id":2790165,"id":"Q2790165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$56B9CD64-5AAA-48CF-BC81-E373B55D0668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ede258dca46757f1614622a2eb32acf7085c663","datavalue":{"value":{"entity-type":"item","numeric-id":1936110,"id":"Q1936110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$747FB5CF-3CC0-443B-8505-5E7F3BAEEE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fbdbd74ac1072771d7af15d76366572f6c6486","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$78DDC651-6755-41E4-832C-5FD5D21B7A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$5CA65327-796F-482E-BFA8-92C2104E5596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$7431D7C7-7E63-4A11-89EA-99CF4DA8FF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9722cd4a2e3273cba83bfdf2161aaf8991717b","datavalue":{"value":{"entity-type":"item","numeric-id":1398468,"id":"Q1398468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$5A6C4A9D-6BB0-4CBE-8557-AB052CEEFB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993336$67D66468-D639-4DC6-99D3-F002B108D92D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab2c46096de1a167b041de085abfc821c808c63f","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993336$0F142506-B92C-4965-B30F-202E0A0CB5DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90ece50c455dd50cdf55a88690655d14aa89fee","datavalue":{"value":{"entity-type":"item","numeric-id":2703720,"id":"Q2703720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ccada248300f337e636687ba0678e5f5261ded","datavalue":{"value":{"amount":"+0.9200932","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":"Q4993336$0B800DBA-6B5A-4D73-8DEF-8F94FECB064E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f25569916a6af76d970bf09be43653e8ac2c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5377696,"id":"Q5377696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d149c68680b3cffca2659c9fbf71697031c4a67","datavalue":{"value":{"amount":"+0.9182261","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":"Q4993336$CAB1DAB6-977E-4339-A9CF-3BE67D38F21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bc92fe9ec86073d7420e0578740e9dd61f5de2","datavalue":{"value":{"entity-type":"item","numeric-id":1623116,"id":"Q1623116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d3117f024d23fcfd37a66dfccd0adefd9c9e4b","datavalue":{"value":{"amount":"+0.91284984","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":"Q4993336$D44DD403-999C-4B6E-84A9-2C0925769BA5","rank":"normal"},{"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":"5795c456c52484684829171d994d37b6a05f9ac5","datavalue":{"value":{"amount":"+0.9128108","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":"Q4993336$43F812D9-2D58-4119-8B45-825B96EA7DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc9da7381ec3a27707b7f272c726702fbfd9b37","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef055f89511d62144a0a8f12077a4efb8d2ef9e1","datavalue":{"value":{"amount":"+0.9117725","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":"Q4993336$1E52D8AA-BE63-4A57-910C-352CA17F780E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c31fe7b2b7fd2f8553bd66b6d8f6b5c012ee15","datavalue":{"value":{"entity-type":"item","numeric-id":5089024,"id":"Q5089024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7a0fbac34945a1560fd117fe3a5f9a21b71dac","datavalue":{"value":{"amount":"+0.9057245","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":"Q4993336$362383BD-03CD-4A2B-A621-923FB42BA983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87402d23545b8a131f875c032bcc525578873922","datavalue":{"value":{"entity-type":"item","numeric-id":6044128,"id":"Q6044128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3170895a93d18c9525cc61aaf267bc79a013fff9","datavalue":{"value":{"amount":"+0.9044492","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":"Q4993336$A46CF85C-B784-4A5A-8EC4-61407838907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4351e34d20cf2c58a515baaeba4ea69233b51d","datavalue":{"value":{"entity-type":"item","numeric-id":5931130,"id":"Q5931130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585cee3629bfa1af4905c209f5c03aad5f646c28","datavalue":{"value":{"amount":"+0.90430474","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":"Q4993336$41BAD801-44E8-4F65-8D4A-437896A42A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e978bb9f5abdbe98aa13af5dde6b9088161a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1693596,"id":"Q1693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287a56174ba830d40653048121c681c61306792d","datavalue":{"value":{"amount":"+0.9020755","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":"Q4993336$9697D403-8CD5-43D4-B07E-3AD3A718D479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0123132d9c3430443a81ae16b71c7d61bdbe2ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5416219,"id":"Q5416219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b571e3f02c89fa012e53afbb69c6398a612e232","datavalue":{"value":{"amount":"+0.90142775","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":"Q4993336$55AA9792-080B-4B43-BDDA-0D9757341DBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4993336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4993336"}}}}}