{"entities":{"Q4440563":{"pageid":6470162,"ns":120,"title":"Item:Q4440563","lastrevid":41868813,"modified":"2025-05-09T05:49:30Z","type":"item","id":"Q4440563","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2019867"}},"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":"Q4440563$2CB3FD8F-6462-4BCD-B799-34A6A39912D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f39da17743570ec41f899f0ad33137e877eef72","datavalue":{"value":"1034.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440563$E97436A8-74B2-451D-BF56-C533B9CFCB6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a8fc37d17e2fcca19e80d00a7c76916307250e9","datavalue":{"value":{"entity-type":"item","numeric-id":4165350,"id":"Q4165350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440563$0CF1133F-B290-4DE8-B02F-C09ECF2134CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51574ab936c4a181fe93e3fe117f5b42d527b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":186038,"id":"Q186038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440563$253EA054-3BF6-4C9A-9180-9B1B2D69B700","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4440563$6B3491F6-13BA-4C97-A3E1-C2C8054B193F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440563$0785ECA0-D426-437A-9DCE-12E110B72131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440563$54932F20-FC6B-462F-8EC1-14D63FE64EDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b081d56a4001f2aae6ccc6de73fc51c82962e05","datavalue":{"value":"2019867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440563$2E55B9B6-F292-4BF3-976E-B88694E6D3E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440563$B935777E-440B-4A6B-AB21-63D06223BDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440563$D86A86D0-B6A7-4A29-9AE0-00C047653E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440563$B77C18A2-4AD1-45E8-9B99-5DCC2ABDA8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440563$5DEB4F15-63CA-40EB-8040-97040DBD842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440563$FC848DCB-F60C-4751-94F7-86CA47E42469","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":"Q4440563$78A053C0-F4D4-40FC-A329-B24CD217F88C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5047ae330e47a3151d4e757afd364f3d9512c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":4300132,"id":"Q4300132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba429e53fed5284fe2edd09f22a44ad5942999d","datavalue":{"value":{"amount":"+0.88478804","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":"Q4440563$27D474C2-0591-4585-BBB4-9E6136890872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6e2a43555da313eb8122f0a14dfcbb8addabad","datavalue":{"value":{"entity-type":"item","numeric-id":5020976,"id":"Q5020976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147063b313ed515d46762ffd5101e41d3eaeef54","datavalue":{"value":{"amount":"+0.86623967","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":"Q4440563$B01570D3-C8EF-4C9C-B237-0C37CF53EB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f9436e6bc268df4f03d4fe52e29107865495fee","datavalue":{"value":{"entity-type":"item","numeric-id":1090674,"id":"Q1090674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae11e59db274c7978d95ed20d2d51e16db496c3","datavalue":{"value":{"amount":"+0.8629534","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":"Q4440563$0B1E6721-A885-4F5E-B7CE-091FF0E32855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892d169cf435df66ba1b7ac05db4dc1c4755acdc","datavalue":{"value":{"entity-type":"item","numeric-id":2388433,"id":"Q2388433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb823ed09521935d8051d9193290a5b398f0a5f5","datavalue":{"value":{"amount":"+0.8568442","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":"Q4440563$87F95A86-7E32-4A5C-84D6-BAEB259BAF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f1501fb8bdb6c855e2417359f0658f589c2934","datavalue":{"value":{"entity-type":"item","numeric-id":2259014,"id":"Q2259014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1cb5fd8583759c52527c3f67bbc989f2d094ef","datavalue":{"value":{"amount":"+0.854859","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":"Q4440563$B839549F-539E-4A38-99C7-389B86BE6259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710ebf7aaca4405ef1701ed34227fb1467654830","datavalue":{"value":{"entity-type":"item","numeric-id":2767084,"id":"Q2767084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1640c0059fc30417d3f5dc272130b704d0d7f22","datavalue":{"value":{"amount":"+0.8538036","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":"Q4440563$BE0BD9D6-39C3-47A0-9029-86A30D02368D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf84873aa607654ff474162add2a713fb0cf02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3452681,"id":"Q3452681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41db19efa4447263ae11f8b13f99e7a2e4463529","datavalue":{"value":{"amount":"+0.8514881","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":"Q4440563$BE9B9D43-C8EA-4010-9AFC-1891D468A3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53573bc40434156ec6a29f1fc9484f99e4f4785d","datavalue":{"value":{"entity-type":"item","numeric-id":2084568,"id":"Q2084568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f545e63587ae515ea6fa5be64cf3c199885586a","datavalue":{"value":{"amount":"+0.8500402","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":"Q4440563$2F6D7B9E-2A5A-4D34-9540-F0EB1E24B747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7b21e7a507e666380f33f4b16dd7d399c501d8","datavalue":{"value":{"entity-type":"item","numeric-id":2986784,"id":"Q2986784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f7858ea3f1e097c3a0db240402160e2589f1e","datavalue":{"value":{"amount":"+0.8488758","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":"Q4440563$95E42702-E9B6-49CF-BB9B-0932B157823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bff0629be7892c9f9afc85eda7b35684cdf0a5d","datavalue":{"value":{"entity-type":"item","numeric-id":5061421,"id":"Q5061421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8760fcff39ac7821dc8f1210d984240232b0e644","datavalue":{"value":{"amount":"+0.84646547","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":"Q4440563$F0552BA4-5324-4A4A-9015-C29682E82203","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4440563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4440563"}}}}}