{"entities":{"Q4263877":{"pageid":6293478,"ns":120,"title":"Item:Q4263877","lastrevid":46670430,"modified":"2025-12-25T09:12:45Z","type":"item","id":"Q4263877","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1342286"}},"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":"Q4263877$65075F26-EF74-4768-8DD5-73F7F23D2C61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4c70226efa59ed0858ba909ff85df53718ea62c","datavalue":{"value":"0931.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263877$026618CB-0A93-4108-9169-B802AFE9BFE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96174252baec8d9c7b0d46707fc890ce57b3eb3e","datavalue":{"value":{"entity-type":"item","numeric-id":2763629,"id":"Q2763629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263877$410F265E-ACC2-410E-A3CE-E84B7AF76715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263877$9AFE3BED-181B-4DFA-BDC6-36BF82E54E30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33806c8c2ba8f7b230d4619aa4a9edf120b16817","datavalue":{"value":{"time":"+1999-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263877$E012085F-933D-4DCA-94AE-DA5DC5B4E6EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263877$6A30D558-C1D6-4A4E-AB51-AFFB457B10B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3ac990babd779ab59a1e43b7bd37773a1f3f5fa","datavalue":{"value":"1342286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263877$20E1D1EA-5ADB-43EB-ABB6-DB5235AD6678","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263877$C2BFF736-CBC6-4999-AC45-4807AB94AA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e67df9da48e56dd81bfe4093f272d716e89bfa7","datavalue":{"value":"term calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263877$378351C2-029E-4A83-873D-4793AE87E74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8484d26187153711c40ab51cd6f832c78a93205","datavalue":{"value":"intuitionistic noncommutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263877$730CDC5E-743D-4B9B-93C4-B6A33E3FD9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263877$4F007A78-83A1-4960-BBE7-48320E41E258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb9f1774a388f09cc9e3abb778085ed34970c8b","datavalue":{"value":"canonical forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263877$A591BABE-17E8-4DFC-B51D-1F38A21BAE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a923ea1f19a48fa7c587d0d5d3770914bf9e90","datavalue":{"value":"implicational fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263877$35085904-9F11-43BC-A905-5F01A2BB2773","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":"Q4263877$7B2A75BA-0F94-4206-B5D3-578EFFCF90EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6448074e4b3dbbcc45d55632bdaa4bfcd3ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":4261096,"id":"Q4261096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f74adb53b72b359d625bd449eda33bd622061ce","datavalue":{"value":{"amount":"+0.912883460521698","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":"Q4263877$ABF303AD-902B-4AC7-A19D-6C60BE18CC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16361bdee4d0ce6141885d3450936c86f68c7d47","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d1c2b19de5cd44607dad95709912ffb9103db9","datavalue":{"value":{"amount":"+0.8462204337120056","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":"Q4263877$7DBA82A1-FEC1-45D3-AE7E-5773531D002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338b6d597dd36494889d3f54616cb6313da959fd","datavalue":{"value":{"amount":"+0.8435114622116089","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":"Q4263877$4A8FE86E-AAEF-46C5-B583-4833D5177291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa1009ce93a2784ce6a9644d44a57fd852fa559","datavalue":{"value":{"entity-type":"item","numeric-id":4656555,"id":"Q4656555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8d22379d985f94e88a0813321392406a70289f","datavalue":{"value":{"amount":"+0.8282597064971924","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":"Q4263877$FD65E81A-A26F-4215-A84D-427DB87A9F61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263877"}}}}}