{"entities":{"Q5694881":{"pageid":7724441,"ns":120,"title":"Item:Q5694881","lastrevid":41795449,"modified":"2025-05-08T10:43:02Z","type":"item","id":"Q5694881","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2212138"}},"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":"Q5694881$AB665A8E-1895-4802-96F2-DDC3972FEFDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"859dfbf5f906bbe3a2704ff0942d8f531ac8b563","datavalue":{"value":"1089.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5694881$35888FDB-5745-4EBD-8443-292765321946","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5694881$C96DCE3C-10C1-4D8A-A4B8-3C318D50A0FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"697e0f05cdaf85411737099438dabbab7d8d256a","datavalue":{"value":{"time":"+2005-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5694881$43007704-7DC8-4CC6-B458-64CBB6803FEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5694881$5BC5C85F-6B50-4D1A-9EB5-1A375ABEB27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5694881$61E2BA52-288A-4D35-A6EE-119E77AAF04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5694881$4063A87F-41ED-464B-BC86-0530440A71F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5694881$45549F6E-40FA-40F8-B86A-3025D7711625","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffc1684bbf540c66378201a325f06f9644e7f811","datavalue":{"value":"2212138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5694881$EE544344-9ED8-440E-8A57-4E0CC9BFCE1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00778cc8302e54679808696d876b6463d1676c84","datavalue":{"value":"expository paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q5694881$FE2ECB9E-58B6-4F41-AB8E-DF89E7973EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5694881$28054FE0-D0FD-4C59-B264-E3ACD0CC5551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5694881$9E932D9F-3842-4E1A-853E-7145B40E3908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad260ff3254e617bb17fa48400dedff707771a9","datavalue":{"value":"hard to prove tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5694881$DDCFE6D5-0671-4803-A11E-32AD36247346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0effaedbdbc4b3d2dad5494ee3b6be3e1750c86","datavalue":{"value":"truth table function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5694881$889822B2-B678-450F-8A1E-785B2A4EF0A2","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":"Q5694881$D49D9DAA-BD20-495B-97D4-6F43B1C23CD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24bd61806512267ccdbf17961278609211f2dac","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","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":"Q5694881$0705A8A5-EF53-450C-B4BB-E624D498F8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e9b2b95b5a43a7f8c78fd485731abbfe2631ae","datavalue":{"value":{"entity-type":"item","numeric-id":4823142,"id":"Q4823142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fd2dd11d6914b0c22f5d085ab0fb1e81cedb12","datavalue":{"value":{"amount":"+0.965912","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":"Q5694881$2635FE5C-D4C7-4C01-8F75-411C2EDF4ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a5ade52fb9e59b6346eb5141b90d5ff43b3c0d","datavalue":{"value":{"entity-type":"item","numeric-id":6064569,"id":"Q6064569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb05bcc225a4aef96022bd36d5d2c61a3ecdce51","datavalue":{"value":{"amount":"+0.94618756","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":"Q5694881$4CD9DF89-896B-4FAB-936C-50FA733431EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c2af1de7f58122c0be9cb361053d7c235e616","datavalue":{"value":{"entity-type":"item","numeric-id":451111,"id":"Q451111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ce295de66f6db0e792f7ccec033940a46152fc","datavalue":{"value":{"amount":"+0.92298317","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":"Q5694881$86A12341-12E8-4751-A2E8-36F53206F2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edc724641ef028f3cc3def106b33d20603931dc","datavalue":{"value":{"entity-type":"item","numeric-id":3789557,"id":"Q3789557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4ea58ae8eaa18455d7cdf0df4d930b7bd5887c","datavalue":{"value":{"amount":"+0.9225007","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":"Q5694881$38ACB0A9-FCB5-4129-A68F-87E2E0EDD57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee40bc788c6b193ddcdd4e394794c8c5afff2d","datavalue":{"value":{"entity-type":"item","numeric-id":4729781,"id":"Q4729781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4ea58ae8eaa18455d7cdf0df4d930b7bd5887c","datavalue":{"value":{"amount":"+0.9225007","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":"Q5694881$A97AE908-5A9A-49DA-8953-305D25B41A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3910956a1a92bf742c4701a392d563fe91a5b0e","datavalue":{"value":{"amount":"+0.9220705","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":"Q5694881$BE593F36-2FC4-4227-B297-D28032B05A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3910956a1a92bf742c4701a392d563fe91a5b0e","datavalue":{"value":{"amount":"+0.9220705","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":"Q5694881$6FB9B2AA-3B8E-4DDA-B212-73B3497F7DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b47d5008fb5444114c966ed6f511fa02db28fb","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3910956a1a92bf742c4701a392d563fe91a5b0e","datavalue":{"value":{"amount":"+0.9220705","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":"Q5694881$5E3860BD-5977-41DB-A039-8DFDB11DE8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3f7c93d713abbc3351371e7962089974f86353","datavalue":{"value":{"entity-type":"item","numeric-id":4390867,"id":"Q4390867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3910956a1a92bf742c4701a392d563fe91a5b0e","datavalue":{"value":{"amount":"+0.9220705","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":"Q5694881$BA00D484-FA64-4241-A286-E528D0A14FA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5694881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5694881"}}}}}