{"entities":{"Q4823804":{"pageid":6853384,"ns":120,"title":"Item:Q4823804","lastrevid":48368266,"modified":"2026-01-04T12:35:54Z","type":"item","id":"Q4823804","labels":{"en":{"language":"en","value":"Propositions as [Types]"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112320"}},"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":"Q4823804$79783966-5D8F-408C-8784-A5164E812AB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f9fa97592580b2f1130421f7344b7e8a05268fb","datavalue":{"value":{"text":"Propositions as [Types]","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4823804$C96379A7-D2B1-4778-AD49-EC39EB55D7CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3cb84b9c019dde1c03489a9b21439d088cbc7e6","datavalue":{"value":"1050.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823804$7944F589-0E81-4BAC-B1D9-CF1390A8806C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823804$6BEB25D7-1E90-4F26-80C9-B47CAF9136FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823804$FC66B5A2-66A8-47B5-A260-A50E3B65AC2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823804$6FF44FC3-7547-4AD0-9172-D2B5D772A4D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"052736f135068b19ac72a4c42a32676fbf72a94e","datavalue":{"value":"https://semanticscholar.org/paper/0903e5c7842fbd261d1e2364ff1ba7b636204052","type":"string"},"datatype":"url"},"type":"statement","id":"Q4823804$A785AD44-B86D-4A5B-9249-334B681766D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823804$F8DAEF0B-E688-46C3-BFDC-08CBD3A9129E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823804$4B81C604-887D-4268-8FC9-EF9AEA8BE034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823804$821A020F-29BD-4596-A6DD-260EC5BFCFD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b1051161d9f7b076443e26caf79e49ce5278943","datavalue":{"value":"2112320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823804$A3F98556-3CA0-4C41-889B-6F765F13524C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823804$4DE44E63-00B8-4FE3-A36B-831E9D53518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823804$541EBC70-3FE5-4750-B3C0-4A8E15D71F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823804$DA93DF18-5E86-40B7-9526-805A7E93D12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4d5dfdeccf631b39fb75aca99469529cb1cfe1","datavalue":{"value":"regular categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823804$8734E8EF-2069-456B-A41D-5C5E84792746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823804$3C1CF75D-279C-47A7-9D82-1759FE0420FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0efc5d70add9b2132c39119c70178b0e03cd9a6b","datavalue":{"value":"bracket types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823804$D606E684-0001-4F98-B793-042686187DC6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e410aa8efb8274b477975c6a1e90523a04b3f3cc","datavalue":{"value":"Q115902571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823804$D3E12781-CF42-4DD4-B076-D7C7201FC125","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":"Q4823804$06046CC5-63E8-4644-A09E-3195FE7DCE14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3e2b6da12e44c9dd9f3d99d6ed99aeef72879d3","datavalue":{"value":"W2121730419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823804$CA96A319-27C0-462C-AE04-06148287927C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbbc26b623ad0899f8b0585570c154cc3bddcd21","datavalue":{"value":"10.1093/LOGCOM/14.4.447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823804$6F9E7C97-9B70-47F0-933D-4B2C2482CC8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823804$67688C6E-5318-476D-8731-E29C14D0A939","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed29d9908d77cfe49d55c60c6557d2016fe3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f34d1df6d3d5fb5602ffd67820619da622fb60","datavalue":{"value":{"amount":"+0.7449639439582825","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":"Q4823804$DAD4580F-BE6A-4352-94D8-AB15B2204219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8da43c5742c2daae0d692e9a46ab9ddf66ef57","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684b97e25588eb3ec1b6371a38e85af3dcbdd98a","datavalue":{"value":{"amount":"+0.7120808959007263","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":"Q4823804$87599634-0A05-4C70-8DBA-26E56C568940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0e5de0a08aa75185556627d4a6f5a65aa341af","datavalue":{"value":{"entity-type":"item","numeric-id":4513576,"id":"Q4513576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa3e102fcc7a36e6d5e3c289c99b4667ba5a851","datavalue":{"value":{"amount":"+0.7078169584274292","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":"Q4823804$B92B1193-68CF-499E-A973-D2B0AA05143C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5348f7970ff00c39fd4396ee481e25d5114de055","datavalue":{"value":{"entity-type":"item","numeric-id":4006238,"id":"Q4006238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b32085c1cafc776b0bd06c458b63c449a76690","datavalue":{"value":{"amount":"+0.7071504592895508","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":"Q4823804$2B8FD78C-4261-4D5A-A8BE-71D0F78CD315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616f5d4128240f17ff9799537ace9f2781459e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4715672,"id":"Q4715672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705f85c06d50ac989071aa347034ec34b6b99323","datavalue":{"value":{"amount":"+0.7071287631988525","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":"Q4823804$BB4004BE-B11D-48EB-9C7B-16E9BAC3F959","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4823804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4823804"}}}}}