{"entities":{"Q4941997":{"pageid":6971579,"ns":120,"title":"Item:Q4941997","lastrevid":41823682,"modified":"2025-05-08T18:25:14Z","type":"item","id":"Q4941997","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1418442"}},"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":"Q4941997$7FB9BE49-F8B1-4DC9-B7A4-0BA7BEA7C46D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba24e5d134f1c3ddac3a40940fec5fb61f6fed4b","datavalue":{"value":"0965.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941997$B6D32030-06FE-4A0B-9CF9-A6272C57CBE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f787d07d4505eafdf50703f147356adcc6b42f0","datavalue":{"value":{"entity-type":"item","numeric-id":429953,"id":"Q429953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4941997$FD88695D-8B49-4E8C-A3D3-CDCD5FBBA881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65528b725fe74a698d1c6a1b19d0e94ff56ea02b","datavalue":{"value":{"entity-type":"item","numeric-id":887822,"id":"Q887822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4941997$070A1017-2EB3-4CC1-A6CB-7D1F1199127B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b450668c82a8cd1fc850a44d0109b0a4a4df4467","datavalue":{"value":{"time":"+2001-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4941997$B6F6C1F4-FEA8-46CA-9881-4EF41A01ACF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941997$887A27D5-98E5-414E-B64D-960DF52D482A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941997$4F17F018-CCD8-4E27-9A8D-EEFB56A0AA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941997$2B24483E-CAAD-4639-9DDC-BD30A4C8934D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96cb5f39dbee9bb6828e75b38577c29aa7dfa652","datavalue":{"value":"1418442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4941997$1BD0317C-8217-420C-8055-ADBC74784CE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f804020684e26dc8b1827380c6bc9e58f9222bf","datavalue":{"value":"basic propositional logic system B","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941997$0133B36F-6F9A-4C65-B5AE-8CEF6E5256D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57abbe45df97623466451dfcaea3ae51c3cd46ea","datavalue":{"value":"extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941997$23E0DBBE-02DE-4A04-9A46-7F860A91059F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941997$75F2EFFD-1941-413E-A4A9-D6A4A5B0F92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941997$9437170A-2A4E-446C-92CA-811CF970A954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941997$BB6D5C3C-55DD-4ABB-94A0-602451A8B040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4941997$D671083C-9246-4E3F-A44F-D1C968E71AD2","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":"Q4941997$D9F11D18-7A60-4235-A89F-C4332B502EBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ad7ebd421df3708ebeeaa6cf8967de26d3ac51","datavalue":{"value":{"entity-type":"item","numeric-id":2804336,"id":"Q2804336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be85d151f11329054141538429201aac8bccfb7","datavalue":{"value":{"amount":"+0.8993269","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":"Q4941997$426EA3F5-0803-4839-8D50-458A08D86404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f5d967cbf22dd090be436318898c324ae4076f","datavalue":{"value":{"entity-type":"item","numeric-id":2427076,"id":"Q2427076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98aab8cd98be0a49d0db8e5187ddfa7c23b1c37","datavalue":{"value":{"amount":"+0.85923","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":"Q4941997$9AC748A6-B860-4B1B-916A-D8F83B138E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4870bc4d1614bc53304c7e5001c4786f411f0561","datavalue":{"value":{"entity-type":"item","numeric-id":1699729,"id":"Q1699729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f58d08a9330650e8e499054bb39f764d7ea1226","datavalue":{"value":{"amount":"+0.85802305","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":"Q4941997$4B23B241-012F-4607-8AA9-38E683E4005C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0fc8cb3825399493351e5bb5953b415f707bbda","datavalue":{"value":{"entity-type":"item","numeric-id":2989971,"id":"Q2989971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d00df892701adee8c47138f5fcff560c72b176e","datavalue":{"value":{"amount":"+0.8508709","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":"Q4941997$FC9D7A49-6664-40D2-B778-54BE68E37A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313e78cb1ce18d318c60390c3f885268515a3339","datavalue":{"value":{"entity-type":"item","numeric-id":5416160,"id":"Q5416160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b6dca472f61014a2ce1af87c65f5ffc251c5f7","datavalue":{"value":{"amount":"+0.8508273","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":"Q4941997$1F646D58-7F90-4621-B2F4-C0E06745CDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c551ca61831d6b0dc8ddeeaae52519d981843f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4915591,"id":"Q4915591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ee692a88783c890d2896674d02230376cb14bd","datavalue":{"value":{"amount":"+0.85072654","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":"Q4941997$7D34314A-F4AB-4389-AB1C-99924E87D98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2225b48726ca1a815866271dd3e612cc34f5e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2307718,"id":"Q2307718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd50e10b7ef25657b3a39d41fd2b15e9037df01d","datavalue":{"value":{"amount":"+0.8468261","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":"Q4941997$3A5EF641-4E57-4F64-9C85-20A7951C8F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c43fdf8a1f65c82f781fee64d5d83fa27bfd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3083096,"id":"Q3083096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef97d5110476fcf8c9f542743d1c9aebd326030","datavalue":{"value":{"amount":"+0.84568685","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":"Q4941997$FA1F581E-4F89-42A5-8DC3-CC0E1D3484E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822edb9367d19c9c46261fdb65efd735c99bdabb","datavalue":{"value":{"entity-type":"item","numeric-id":2810125,"id":"Q2810125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260ce02e36c7ab6285c9658b53fe143fa57d7f0c","datavalue":{"value":{"amount":"+0.8427871","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":"Q4941997$F65BCF82-61E2-439F-9A25-D3E570F751FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed07df2b1f6110a584710411b3ff8f5d475f1c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4283226,"id":"Q4283226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c6a0cf5bb96ef5315e10a42d887b22c1c36cad","datavalue":{"value":{"amount":"+0.839476","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":"Q4941997$0A5D1201-FC30-44C6-8EDA-20D5037C9BD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4941997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4941997"}}}}}