{"entities":{"Q4449007":{"pageid":6478606,"ns":120,"title":"Item:Q4449007","lastrevid":41168447,"modified":"2025-04-18T16:15:27Z","type":"item","id":"Q4449007","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2038177"}},"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":"Q4449007$754A966C-92AA-4317-A12A-40C0C021B55F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"211846ce0ed8ed58777886044e8cf82c67f5111e","datavalue":{"value":"1034.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449007$1A8AD571-3EE7-4427-A8A5-B72FB45F6F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb68f5faca43c77dd222688345500b50a5dc9d74","datavalue":{"value":{"entity-type":"item","numeric-id":2628275,"id":"Q2628275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4449007$AD44CB73-333F-4B6C-B1BF-B23B504031FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c79719327e302b2e8896050f22e092a513d420ee","datavalue":{"value":{"entity-type":"item","numeric-id":235614,"id":"Q235614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4449007$E0E1AC88-8C48-4FEC-ABE1-73CF44630242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9126baf050ca2a9061dbf118bb26f3c0708e62a7","datavalue":{"value":{"entity-type":"item","numeric-id":1075051,"id":"Q1075051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4449007$735601A0-EB2D-45B0-9731-2ABB91175E51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"863c556dce19133542e9028bc8111bf0063219a9","datavalue":{"value":{"time":"+2004-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4449007$F90973E7-F919-413E-9494-5878C32DFE41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449007$2B9B32FF-89F7-45E4-A691-2EE646E5A570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449007$CA9E5FDA-B416-4D64-A48F-96FD7F21E9D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d277e60608e5258850ebaa31d756f360bfda1bb","datavalue":{"value":"2038177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449007$907B1002-038B-4B61-87F9-E34D1962544A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d411d3f8d7f8f1d6731ae4dc054035106dd75ac3","datavalue":{"value":"elimination rule of falsehood","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449007$713F2DE6-C455-4FE1-A9BD-FD28E9467C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca89cef00e8eb5a642a62259d8cfdd3e285adde8","datavalue":{"value":"Peirce formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449007$E44851E0-4482-4D6A-B430-ADE2FB6B4CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449007$D58036FA-17D1-487C-AC92-9E3B491B211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de62c84687ef48934f0765931f313e2036fad9b4","datavalue":{"value":"double-negation-elimination rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449007$C56104DA-9993-478C-BC2F-11B91263807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fa6badd7edb3c0a3f34209a06dc32276b43b6a","datavalue":{"value":"reduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449007$4A6E59B0-4332-43CE-B20A-3FA0DF5C6F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59f6dac69175320afa8795a031d48719725384","datavalue":{"value":"programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449007$F515873A-1936-4E8F-9E8A-252EB7A84C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449007$04BBC3F9-B8C7-4FB3-AEEE-B850679D6C8A","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":"Q4449007$6FD76566-2539-4B4C-A732-098911D392BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a40b525022ec1dccaba201ae6fd7476bf823c4c","datavalue":{"value":{"entity-type":"item","numeric-id":4856946,"id":"Q4856946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510cff085279a6a473be777532f158174f783811","datavalue":{"value":{"amount":"+0.93422914","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":"Q4449007$3BDCD968-6A07-4443-820C-A3D93A186023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd98e77500cd36eea7ad32beab17ebc6ba613b6","datavalue":{"value":{"entity-type":"item","numeric-id":3576002,"id":"Q3576002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5599fb15275db821d38c6abd0d470f30f19592e9","datavalue":{"value":{"amount":"+0.9280567","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":"Q4449007$ACF6D4D7-D29B-44F9-801A-CCB2BE17AEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7e0bbcbef3879468c0f1b7b9e44d3104aa084","datavalue":{"value":{"entity-type":"item","numeric-id":4443208,"id":"Q4443208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e308e61c837bab6d9ef398ee7653fee22eb59359","datavalue":{"value":{"amount":"+0.9192133","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":"Q4449007$0F64856D-E26D-4C14-83DF-16295129AE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669ad75f7a711b33c50c2efbd9b5cced92f92ae","datavalue":{"value":{"entity-type":"item","numeric-id":3783263,"id":"Q3783263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5ceb9149fe776acf218dad34d4f9bf5b8fd48b","datavalue":{"value":{"amount":"+0.91619843","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":"Q4449007$E83D79B4-0343-49F8-801B-EF15419C63F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a256567501ac2eb6a7ede02e6becffafe9839463","datavalue":{"value":{"entity-type":"item","numeric-id":5448306,"id":"Q5448306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa8b48b8b23d6941258199aae06061d2c2d3907","datavalue":{"value":{"amount":"+0.91541404","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":"Q4449007$3A292404-B4A2-489E-A612-A2AC8B6F7769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930efb2740a28f6fd14c8e0f71afd074a4549066","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2602f6066cc814e43a328c2bdf38a850ed6d0d","datavalue":{"value":{"amount":"+0.91270304","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":"Q4449007$0BE48198-97C5-4BF9-819A-AB871FE31E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74e4676089e17931db38119a01b070b1e0aba62","datavalue":{"value":{"entity-type":"item","numeric-id":750415,"id":"Q750415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e68e5ee2c4241c68d288e3669f4c09d16d378a","datavalue":{"value":{"amount":"+0.9095284","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":"Q4449007$AD2B1109-A4F8-4FDE-A7D1-738BE5533FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11211ac4a3b105cb0af75b9eaea63a481a76be1","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090dac45b50441948dd87c82e2c19dff88b41ec5","datavalue":{"value":{"amount":"+0.90944624","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":"Q4449007$715454D5-6703-4BC8-B87A-B04A0B7F21E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf50e02f69cc92ca4515d09baa026e7ef50cb21","datavalue":{"value":{"entity-type":"item","numeric-id":2642518,"id":"Q2642518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006ada51b199d078b2ff7716c7e31f7e7fd9ce64","datavalue":{"value":{"amount":"+0.90815574","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":"Q4449007$7267E5B4-D826-425A-9417-5B677189B811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f814973f2cc21b2aa6ff68e6c5de6f3725cc9079","datavalue":{"value":{"entity-type":"item","numeric-id":4530146,"id":"Q4530146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95884c40a29c92a4a2e56e30f3f78de6513863b6","datavalue":{"value":{"amount":"+0.9076484","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":"Q4449007$EB2740D5-CDBF-49D9-B581-5D9F18CEFE45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4449007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4449007"}}}}}