{"entities":{"Q4375803":{"pageid":6405402,"ns":120,"title":"Item:Q4375803","lastrevid":46994121,"modified":"2025-12-26T00:33:13Z","type":"item","id":"Q4375803","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114034"}},"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":"Q4375803$AA5A4145-6B27-4F49-9204-E7D4679B8CF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a843ddf7bf058a28ad2dd97bfb48ccbfdccb1c3c","datavalue":{"value":"0886.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375803$B7EAAC2E-23E6-4480-86B1-79F3D7AE8918","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375803$888FD4CA-4866-48C6-8EB0-841534ED8EBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b347c1d8ecdf364bbce1657b40174d833d0dfdc1","datavalue":{"value":{"time":"+1998-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375803$BE300536-3CEA-48CA-AEE6-E8D22376AA7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375803$F0D9F594-FFD1-428C-8E87-3E574CE989DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375803$5567559D-6B72-495A-854A-C094F4095F22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45def37de69610e08688a2d1da12948ce8a6b9b7","datavalue":{"value":"1114034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375803$8E7CF7DC-A787-47C4-B1D3-7F08B408A6A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f6abdaddf878fde25fcf1b0ed1114872c68b2fc","datavalue":{"value":"subtyping polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$6D4C9B83-FDD0-426D-9D29-235596B8F69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$237599E3-0FCF-4124-984A-ECD1A76BFC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$3CFFEA14-900D-4C4E-B1A1-46C0D39D1E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$7AC22485-D625-4724-B4CB-8C8062F9F64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$23E3070F-8632-4C33-87BA-55E795F33163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$865BA14F-A01C-4015-A578-2304094417C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$E09B82BC-D258-4D6D-94E5-FDE3FF14D135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648a8b1a4ff287794c82684371a13fd38f951633","datavalue":{"value":"type reconstruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$CBE2DA45-E317-49ED-A5D6-57F44EED40D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375803$B75C3D41-34B8-43BB-A273-959105626FE4","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":"Q4375803$041E92F6-73CE-4A2A-BF57-187D3B1345E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e56fad770b21aac099f7fcd075ef7eb694223e1","datavalue":{"value":{"entity-type":"item","numeric-id":1854408,"id":"Q1854408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c02cb51c7c57e77510bc36acf51db15917093d","datavalue":{"value":{"amount":"+0.9952116012573242","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":"Q4375803$BE09EA16-146D-49DC-ACBF-201AB3ED57DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b884a2808af6016251c395ab044a85303d4e63","datavalue":{"value":{"entity-type":"item","numeric-id":3146272,"id":"Q3146272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920ac4657df3203ece705e99e6c946da4159fefb","datavalue":{"value":{"amount":"+0.826043963432312","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":"Q4375803$5400A794-DF9F-486E-AFA1-AF26F6AA245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918f2781deb536cb7abada9a9087642f80fd8cef","datavalue":{"value":{"entity-type":"item","numeric-id":4699295,"id":"Q4699295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b30c568c8211ea99654f3ffc15bb658661ae30","datavalue":{"value":{"amount":"+0.8010881543159485","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":"Q4375803$65A0DB3D-0BF6-4E2C-BE6E-E29D8F0EB98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dadcc22f297979c84a3782968bf213d23f8d3e4","datavalue":{"value":{"entity-type":"item","numeric-id":4507489,"id":"Q4507489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795903016dca60e0ae2947f55d79c3025ee29cbd","datavalue":{"value":{"amount":"+0.7885440587997437","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":"Q4375803$86E3E3A4-8B16-4F13-AA99-0E7B70D93454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7301e9199198a673eef4ff7b34422b8fa97e3bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2500487,"id":"Q2500487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ba1fec83e5c1c6cbfbc171730db7fc0c9f7866","datavalue":{"value":{"amount":"+0.7799391746520996","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":"Q4375803$7A7F0446-B6AF-4B2B-85BA-D613B57B0A82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375803"}}}}}