{"entities":{"Q4833770":{"pageid":6863350,"ns":120,"title":"Item:Q4833770","lastrevid":46377549,"modified":"2025-12-24T16:17:21Z","type":"item","id":"Q4833770","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 757638"}},"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":"Q4833770$7B728DAB-ECD3-40EF-9381-8A11216F73AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24e782017e1475315325e3deb21ae8c93fb4cde2","datavalue":{"value":"0828.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4833770$A52EF3EB-EE45-4FCC-9C97-B085046CF509","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed8998192cd7e329be082a4f0b49b6247f2f7df","datavalue":{"value":{"entity-type":"item","numeric-id":1289101,"id":"Q1289101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4833770$8E9F6CE7-9245-4879-B724-B880EDEFF0E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2418d8c1ef4c5478586e517c08afa80257a92e7","datavalue":{"value":{"time":"+1995-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4833770$B0589992-BE70-44E8-9B2E-6AE498BCE676","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4833770$4BACAF23-92C9-43F5-8E93-5BC9CAB1EDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4833770$566E793B-E39C-4DC4-814D-810E13A036BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fe87af04f4d1633acddb2cb78c2fbe267e7a504","datavalue":{"value":"757638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4833770$0CF3A3B5-418E-4BF4-B525-1DB40809572D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a176ffbe47f744af7e8b91ca9b253d103c1c69a5","datavalue":{"value":"proposition-as-types interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833770$DFB3C3CE-535A-469D-B9F8-A56B1E9F41A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833770$885CEAD6-3481-45E8-9D64-357F7D1AD3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833770$91E8AE61-B108-4580-9654-BF0483BF2CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833770$43858C3E-C06F-452A-AA1B-29FF34BA42B4","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":"Q4833770$3C8480C1-7349-4B5B-BB9C-3F5631EF203A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0234589f2ebd950feb0efa0de76dafdbbee659d1","datavalue":{"value":{"entity-type":"item","numeric-id":4506397,"id":"Q4506397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2186f56835ecc2e8c61fbcb20cd2d8e7a51134","datavalue":{"value":{"amount":"+0.7834945917129517","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":"Q4833770$BE584DB4-94C4-4921-8752-433492004ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb847ebdcae208034f9620182a520029ff85766c","datavalue":{"value":{"entity-type":"item","numeric-id":1652988,"id":"Q1652988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d3705e966aa36e685f27b70e66135d66a7bb13","datavalue":{"value":{"amount":"+0.782590389251709","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":"Q4833770$D5DE28DC-CFF8-40F0-BE1A-54DE74F58DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27755096898289e2f77cd9ac114d6e3a26eeda93","datavalue":{"value":{"entity-type":"item","numeric-id":4315015,"id":"Q4315015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb3a2ea803f5ef21e1f43f42bbbcce17ba5fe71","datavalue":{"value":{"amount":"+0.7784059047698975","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":"Q4833770$57B5EFC8-0AF7-439D-A0F6-332D9D746269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f1417ecd20332477df146b867dcab0a3e142dc","datavalue":{"value":{"entity-type":"item","numeric-id":4951170,"id":"Q4951170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e792b105ca0b1db710f0c227460828be485334","datavalue":{"value":{"amount":"+0.7761890292167664","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":"Q4833770$81D3F6C7-B1D3-4431-B5CA-D0284F9E203C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4833770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4833770"}}}}}