{"entities":{"Q4443208":{"pageid":6472807,"ns":120,"title":"Item:Q4443208","lastrevid":48217822,"modified":"2026-01-04T00:06:41Z","type":"item","id":"Q4443208","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024631"}},"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":"Q4443208$3EC5FAE1-400B-49F9-B1FD-120706F39F17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12b54ac975d143993d6e3c16a1b68edeabf03a5a","datavalue":{"value":"1036.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443208$497765EF-5453-4AB2-A83B-62356EF31447","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":"Q4443208$31B9028D-8965-480D-8AB1-7CED69508BC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443208$F66258D7-57D9-4803-936B-3D5BB058A64F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6166030c5d91cf95b8f24e61920dec5cf7c42d52","datavalue":{"value":"2024631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443208$4A356A12-2FC9-4D0D-8257-D80CCE441168","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde25d90c8148f0723132db8378f9ef6b06f2470","datavalue":{"value":"type assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443208$5AB95A3D-28EC-435A-A781-1ADD399CA422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443208$AC83AFC2-8A1B-45F6-AB46-E78697C4AE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35d0f469e94b2be8cdb978af91dd2772cac0fbe1","datavalue":{"value":"classical implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443208$FE5E02A6-3E6D-4E5F-966B-0BD82AEB429F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443208$EADBD2C6-B09E-489E-8905-F50B7E95AD3A","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":"Q4443208$40D3BFBB-51FA-4819-89CC-B7B1C95D7102","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6a7efe657fd9f33c3ece5bea373ed42c641a63","datavalue":{"value":{"entity-type":"item","numeric-id":2434902,"id":"Q2434902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def243e7b82f3fe4b66bd867c0b5b3a14a431482","datavalue":{"value":{"amount":"+0.8826133012771606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4443208$2175CB71-EA95-453A-AE07-E67A580126EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe18158a6ce01f773853a6291b89d428a861bf80","datavalue":{"value":{"entity-type":"item","numeric-id":897480,"id":"Q897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b645059fbe3e0d5ad9e9dfdd1482296b84b26070","datavalue":{"value":{"amount":"+0.8356610536575317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4443208$8D0F06B3-C242-4DD0-B813-3CB33EE29080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b68116924b22bb253c5890e99728a134da1e49","datavalue":{"value":{"amount":"+0.8005534410476685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4443208$F3AB0B07-4D58-48F6-97AF-829AFCEB069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6bfd0264180dd1d561b9acf5ce8273f188d1b9","datavalue":{"value":{"entity-type":"item","numeric-id":1575877,"id":"Q1575877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f82efb02ad6b0dcca7c448b2b50b43573bd6be","datavalue":{"value":{"amount":"+0.799496054649353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4443208$10027F09-F574-4647-B239-7190E1371EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2e38d64a3a45f26d240e1dd0b80ff002ee5c75","datavalue":{"value":{"entity-type":"item","numeric-id":4370352,"id":"Q4370352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8e64b241b2449bb10926a4283a02f4e8da3e77","datavalue":{"value":{"amount":"+0.7992905974388123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4443208$529AB5FC-FDA7-43B2-A445-B6B16E995085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443208","badges":[]}}}}}