{"entities":{"Q4916174":{"pageid":6945755,"ns":120,"title":"Item:Q4916174","lastrevid":41817258,"modified":"2025-05-08T16:53:47Z","type":"item","id":"Q4916174","labels":{"en":{"language":"en","value":"On intuitionistic proof nets with additional rewrite rules and their approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155983"}},"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":"Q4916174$4C88792D-A504-43EE-B0FB-D8469BD0276B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6db764ad09dc99b271cd607077fca53089951cde","datavalue":{"value":{"text":"On intuitionistic proof nets with additional rewrite rules and their approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916174$576433DB-A9EE-497B-A6BC-4ADC21F831F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c2ecfd409742359a17d66114ed6d2e5b2af8e80","datavalue":{"value":"1261.03157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916174$4F81010E-9937-4339-8ED8-CDF9FCFB5FFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"612d495cfbbf73299f6bec8b11ac75294cbb5522","datavalue":{"value":"10.1016/S1571-0661(04)00169-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916174$1D0BFAB4-A32E-4EA5-89FD-0C69CE649F77","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":"Q4916174$288B8952-1318-444E-B023-088BDE410B13","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":"Q4916174$8C1C6263-C095-4F1C-A055-4CE66D624C2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916174$31E168C5-2EC4-4B67-A541-2E54EC6D4950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916174$CD187CE9-641C-4EBA-831F-74D75E46FC58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c6acde70dcef91099d5dc52efe9772a9b71791a","datavalue":{"value":"6155983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916174$3A9EE1DF-34C1-4E2C-9E28-AB95EBCCDF8F","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":"Q4916174$B16C31C6-FB7D-4E5A-ABB8-0E000A6BBE2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"653a72a2ee33d27f13f550234a9620f4b440211d","datavalue":{"value":{"entity-type":"item","numeric-id":4938598,"id":"Q4938598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916174$8AFC24D1-D9E1-4350-9061-54EF3B50A058","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":"Q4916174$DB1831ED-6D94-4A9A-8C85-1D6319F5CDB9","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":"Q4916174$9B749BD9-94A0-428B-8032-661A6C2A9CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916174$5A64762D-D82A-42C5-BA3A-073A0A3683C6","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":"Q4916174$B69969AC-7697-449D-AE84-DFF81EE1A7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916174$24ECEF38-32AA-4237-A0E9-08C13DA03B3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b67d3504d871a2bb44e350318bf79c374666500","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00169-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916174$CD8CE06E-0CFA-4DFE-99D0-744BF9AE8A56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa928c4474c0e599c4b695476f70d2c0d49aa564","datavalue":{"value":"W2036746827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916174$078CF12F-F896-49B2-AA96-E989E1A75F85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9296595920089982cc85c21480f0f8c0cbe3a","datavalue":{"value":{"entity-type":"item","numeric-id":4376053,"id":"Q4376053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbbc907eb441648aa6f1846329de290ad575e0a","datavalue":{"value":{"amount":"+0.87986666","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":"Q4916174$510C98EB-D84C-49BE-B6FC-9D495520FBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23c2a359e5d7ca10b36dedc183eaba71aaa1eee","datavalue":{"value":{"entity-type":"item","numeric-id":1960420,"id":"Q1960420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac89723c0614d280a35daa61aa22b968c1de6343","datavalue":{"value":{"amount":"+0.87376654","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":"Q4916174$24AB47B8-EBBA-4F46-AB82-2B24CC06386B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bf6c3dc9d7dfe10dfd2b53cad9397de8b331fa","datavalue":{"value":{"entity-type":"item","numeric-id":4411821,"id":"Q4411821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6631cfe1ac69dbfa629861bb02680301fd22de99","datavalue":{"value":{"amount":"+0.87076205","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":"Q4916174$E31239A0-D16A-416F-829B-52630871156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b103df520cb92e5331b5678f4b84f626eec5847","datavalue":{"value":{"entity-type":"item","numeric-id":2996165,"id":"Q2996165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc187d8b688c0411ac0b8a598a7f1036bfaae25","datavalue":{"value":{"amount":"+0.8639978","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":"Q4916174$B9D3F2CD-9C48-442C-81FD-2F1A0FB7ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd33f377fd715d7302650a0eac38972421736e2","datavalue":{"value":{"entity-type":"item","numeric-id":4223030,"id":"Q4223030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f3137ffd9489376ed3fd9cdee9c1e0c9b89346","datavalue":{"value":{"amount":"+0.8623674","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":"Q4916174$0BB159E7-5E08-4007-8FDC-2EBA76C79FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e81071e64ccc7c1d94893876ab0d13eb357773a","datavalue":{"value":{"entity-type":"item","numeric-id":4650577,"id":"Q4650577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeca118407e8926d6bb4cd8d3d1bb4149085540e","datavalue":{"value":{"amount":"+0.8613112","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":"Q4916174$6205C6D1-3A1F-4D11-BFD3-468E220881D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb11ec0914cd27120aabd51d69a01e9f3e4d6f0","datavalue":{"value":{"entity-type":"item","numeric-id":4635793,"id":"Q4635793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fdfb1ea8cf546c51bed3210e1e06b52009e7db","datavalue":{"value":{"amount":"+0.8609078","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":"Q4916174$16C85D38-C47E-4DFB-AE79-15A60B03BF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53725ec7a45aa2dba3d70aed8ff0afd374779dff","datavalue":{"value":{"entity-type":"item","numeric-id":4934141,"id":"Q4934141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0aa7285153c0a3eb5ae88376193c807f43c53b","datavalue":{"value":{"amount":"+0.85833037","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":"Q4916174$B1BA87BD-429F-497D-A551-FDB35503DA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e289159aac412911418892251df2ccdf1333e75","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab00bc6b2904804f00b9f2faf46661b212b427e7","datavalue":{"value":{"amount":"+0.85610354","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":"Q4916174$DB121E55-8977-43D9-A231-F701FA246BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f6657da8c5faa934971f20db3d09961dcf0716","datavalue":{"value":{"entity-type":"item","numeric-id":4993336,"id":"Q4993336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3511146b365950c7b7693cffe80ec0cb0471841e","datavalue":{"value":{"amount":"+0.8549615","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":"Q4916174$2F1FC177-7C98-4EEE-B91C-FC2AA0C360F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916174"}}}}}