{"entities":{"Q4501589":{"pageid":6531182,"ns":120,"title":"Item:Q4501589","lastrevid":47014806,"modified":"2025-12-26T01:28:25Z","type":"item","id":"Q4501589","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500568"}},"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":"Q4501589$176C3B50-262B-4E96-A9EE-87FEAD529A6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4abc586aa03d45d3dfcff380c18bb54a6761c29","datavalue":{"value":"0954.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501589$8DD00830-9D86-4653-9D93-E6F30EC57E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac4d8cb9bda1fc38288f1973a92ad77353eea93","datavalue":{"value":{"entity-type":"item","numeric-id":4249178,"id":"Q4249178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501589$4E61961D-C771-4449-A078-024C2752CE03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6ee3df6eed3e87a230816a62b70508d73d827ec","datavalue":{"value":{"time":"+2001-02-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":"Q4501589$E4FDD96A-627A-4AD5-B1B3-97CD90260D23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501589$39BE863A-100F-44FD-AB4C-86DE47BC3AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501589$AF853E60-F4F1-4111-9E30-871675321944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501589$CF825886-BDA3-4BDA-B9C5-0AB87F15A42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501589$6E1478C6-C5E6-461F-A3AD-3B2CD2E8CD01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6258b244312ce0f072786b623a3852dc939f371","datavalue":{"value":"1500568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501589$483024BC-0062-4503-8019-55AC4F0D448B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2af256c8672da3de8ad786bd968f4b9c903099d","datavalue":{"value":"constructive classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501589$D2E2B5E1-B928-4503-8ABF-9BA590FDD8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501589$7F6E6EE8-CE34-48E9-9BAC-E8ADB98BCC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b67f646b5c78df86e54dda0bfb35844430530c9d","datavalue":{"value":"normalization for classical natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501589$D8FBBEA0-A5CA-445E-8CCA-E2144C6D9CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d1a7341496252706cb24146cd0a090cb00f858","datavalue":{"value":"denotation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501589$86DAB441-9C7C-4F92-8955-11BE791D33C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501589$D65D8E7E-C4EB-48EE-9B2D-7D0377FE26D5","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":"Q4501589$EDAE5197-5FDD-4B58-95E6-A9DC5AF1C500","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8d37e32c68b44405ddb0c6dd685997788d0dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5249031,"id":"Q5249031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4febb7d8f0a4076d8edece297eb445493beb63cb","datavalue":{"value":{"amount":"+0.850134015083313","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":"Q4501589$A3EACA21-1E62-441C-BDD0-8866FC5A1055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a17f1df44ceacc83047a3b7a43e782e7aad9020","datavalue":{"value":{"entity-type":"item","numeric-id":4249179,"id":"Q4249179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cb78e31ee59f2a69368ab3dcd6e4eeac422010","datavalue":{"value":{"amount":"+0.8469078540802002","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":"Q4501589$529A570B-775B-4F4E-8781-36A1A275E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711dd7a3624c26147aae5bda2c74b485a53d387d","datavalue":{"value":{"entity-type":"item","numeric-id":4411843,"id":"Q4411843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d134a39d28dd09305f1c809ee31ff50c77e54544","datavalue":{"value":{"amount":"+0.8133134245872498","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":"Q4501589$4F03CF15-3066-42A6-A3F5-45AD6CE07FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae0ba9505536d3f0b78c45eebf87c11a1d7e89c","datavalue":{"value":{"entity-type":"item","numeric-id":845711,"id":"Q845711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b7874bcf83797e31f80cd6f350194a503a02ea","datavalue":{"value":{"amount":"+0.7824141383171082","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":"Q4501589$0EDC47E7-501C-45A6-A90D-A7C8854FEDFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501589","badges":[]}}}}}