{"entities":{"Q5457387":{"pageid":7486946,"ns":120,"title":"Item:Q5457387","lastrevid":40913821,"modified":"2025-04-14T02:21:45Z","type":"item","id":"Q5457387","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263148"}},"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":"Q5457387$D1893DA7-B5E0-4F56-AEB4-2526091C5D53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56292b7cea1e49d0ec469921d9f44c1f78b65eb1","datavalue":{"value":"1146.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457387$982C6038-CB87-43F4-9FDE-7A9F509548BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc74f53862f4f290e2401f492556ea9e0dad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":450955,"id":"Q450955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457387$C54EE208-16DD-473A-9519-EA24B35F4796","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f9febd79edc09e0529544fa9ed79527a572db90","datavalue":{"value":{"time":"+2008-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5457387$AF3DC136-B017-4A5E-84E8-C0A46A325B25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457387$E88265BE-D9BF-4017-AA45-867E4E85857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457387$C5759F76-84E9-4480-9EAB-1C862FA582E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457387$6F8D45DB-29CF-4285-BDDC-632981623FA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bae803da6489f97c730b3bce57c5a4d04d7c77d","datavalue":{"value":"5263148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457387$3BA76321-A3D3-42F9-8033-6E61E7D944CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457387$C2E57DB1-3713-46F5-A3B2-56F6DDAB06F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457387$9E2407F0-4232-4490-8F9C-B9F08E9A42B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457387$D940FD6B-91C2-4221-A9A9-17950D9E6836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe2b5413d23899bfc4fe3c9950b4de046a89f02","datavalue":{"value":"circuit proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457387$11D4BB9F-62D2-4A11-9BE9-E93FF9D640A8","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":"Q5457387$F27E1DBE-DB6F-4541-B9D2-1E2F56E8F155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c0ba369566a0fbb2932b5eb41380926af0d1f9","datavalue":{"value":{"amount":"+0.90492713","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":"Q5457387$145B291D-47CA-4328-8A04-9306ED00ABF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1a7a170ef22a12126d4c07d61b87f67a2de77c","datavalue":{"value":{"entity-type":"item","numeric-id":1850954,"id":"Q1850954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0c1bce217ffcd0ad1c3741fbcc41378f0185f4","datavalue":{"value":{"amount":"+0.89494395","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":"Q5457387$DA41A9D0-0C9D-46DB-89FD-4D552C801531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab51c5253b5448865e308a79662b57a794754c93","datavalue":{"value":{"entity-type":"item","numeric-id":2695534,"id":"Q2695534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028fdc0cb88bb3f4a5c75a0154ea49dc832c4373","datavalue":{"value":{"amount":"+0.8917836","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":"Q5457387$0774D81D-3C34-498E-99D7-5C2A1A5169C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e0d17050f52afbcebc05fb6e2dc95eec60aae6","datavalue":{"value":{"entity-type":"item","numeric-id":3656762,"id":"Q3656762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c084bf5a4152a1d6b381e5c3c0205d77d848cc23","datavalue":{"value":{"amount":"+0.88893104","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":"Q5457387$0C937D48-68FB-439E-8445-EBFFB2786D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c147fa7a3c69e760c70766b4e5aabf17b49320","datavalue":{"value":{"entity-type":"item","numeric-id":6054106,"id":"Q6054106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a74e55e262fe45d3c1a8a954ab5f8fa4ede7201","datavalue":{"value":{"amount":"+0.8886863","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":"Q5457387$2B1FD020-E651-4DA3-BDD4-FA56AF02C123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedff2a5fd0ec7cd0603ee32671f98cefcfa47f6","datavalue":{"value":{"entity-type":"item","numeric-id":5850981,"id":"Q5850981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9566fe23d5ac6b95b578d09b047907ff958db147","datavalue":{"value":{"amount":"+0.8869086","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":"Q5457387$A6AFF77B-3D27-4E04-BBAC-F6C15CB2CE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f568e93d54e2f02a5fe7ee1131eaf2b1ceb5e6c","datavalue":{"value":{"entity-type":"item","numeric-id":5019595,"id":"Q5019595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30442cadc9792b7478880ac7b4cfbfd26b088296","datavalue":{"value":{"amount":"+0.88632625","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":"Q5457387$63A0FF24-354B-4170-872F-1ECDE66A526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a0807f3da8d99a10fce0a8de150db3c73518ed","datavalue":{"value":{"entity-type":"item","numeric-id":4354885,"id":"Q4354885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f8ecebb611a2a94a6ebd73fc471388f5e81e02","datavalue":{"value":{"amount":"+0.88353217","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":"Q5457387$2CE58218-A805-4424-A389-B9A1F41DA052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fa2b5445fe8f5ca0e72deb293dada7f1f810aa","datavalue":{"value":{"amount":"+0.88207984","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":"Q5457387$7CF5923B-CFEB-4C8F-9D49-9F4F4A482089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2e281e4e1225975bcacbaa1aa8b0d4a8380550","datavalue":{"value":{"entity-type":"item","numeric-id":5427256,"id":"Q5427256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299a6c83631f0af6216d9584524e820fe1e9a986","datavalue":{"value":{"amount":"+0.88205826","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":"Q5457387$6E6DD65F-41F3-4C86-9314-DA7C1C46F6CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5457387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5457387"}}}}}