{"entities":{"Q4833775":{"pageid":6863355,"ns":120,"title":"Item:Q4833775","lastrevid":46377558,"modified":"2025-12-24T16:17:21Z","type":"item","id":"Q4833775","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 757643"}},"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":"Q4833775$6F74649A-94F7-4B03-A8BF-D4006A9D4E0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"055dceb76c8990ab51572cac4f683589be15618b","datavalue":{"value":"0831.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4833775$38AE9F07-C616-4F22-8C13-30AE039AC0A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8056e242bd9114b6b7f5b12c5335e7142df0af71","datavalue":{"value":{"entity-type":"item","numeric-id":920088,"id":"Q920088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4833775$91D632C1-9223-4832-985E-C38724875385","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":"Q4833775$0BE93DEC-B5BC-4871-8796-7AAB4B2404E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4833775$79C16FD8-997C-434D-82DD-FEAA0F6E959D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4833775$A8E35D7F-38F9-4F09-B442-81CC7AEFCA0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abb3261eed1a990a27a256e522c4ecaf5aff1b02","datavalue":{"value":"757643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4833775$5310849A-6C12-4EC0-91C6-18994A8120E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833775$DE14FF59-E66E-48DF-B498-6D426B84CBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a595a4b125ce1fa50908c629a08fcabd3e593","datavalue":{"value":"canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833775$A8DC0B66-7B87-420B-B96F-D2DB8F882730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833775$0EDAFA8A-9EE7-4014-AAFF-188B7BFE2652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374ddce4d8c4ec87aaaede8dc6e06437baafe3a1","datavalue":{"value":"dyadic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833775$C259CDCE-1FD3-4DC0-BD58-6BC7FA5DFFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833775$8761F962-9F09-457A-B2DC-B4476909AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d17f9bc1a917cec419ea40d29592b251c27bf58","datavalue":{"value":"embedding theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833775$F52DDEEF-C1C4-4986-A503-7F4ACEEC63FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4833775$71527C21-5306-4411-AD27-7181204CF71B","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":"Q4833775$A1023754-1D5B-4093-9905-000C75C635A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d6d7832a652bbf8bea72df35ac1f46d74a7a28","datavalue":{"value":{"entity-type":"item","numeric-id":1709707,"id":"Q1709707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519110b7e01f12ddd5efd96cf71bc018a1b29e17","datavalue":{"value":{"amount":"+0.792817234992981","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":"Q4833775$53A1169F-1B1B-4E70-9567-01542991C300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef525d9b17c81bd28c54ab31c3ccf89697726a3","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1449cb0343be7fe3645867fbf7f1c586fcb4d651","datavalue":{"value":{"amount":"+0.7732874751091003","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":"Q4833775$DD7AE8C6-E09D-4D5A-B91A-698D02461C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6574b72c4eb47bc0002f465bfe871799da7126de","datavalue":{"value":{"entity-type":"item","numeric-id":3389495,"id":"Q3389495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4442747bb500513fe1ce32d87d82a0c94fe38fe9","datavalue":{"value":{"amount":"+0.7707732319831848","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":"Q4833775$9DE84F36-BF75-42FB-9547-BBFB61ABB912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64a0f36456347c5841dc4ca23649783b8ee74a1","datavalue":{"value":{"entity-type":"item","numeric-id":2398205,"id":"Q2398205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ed7cd845966abde37ddac3a7d2f48a60e7462f","datavalue":{"value":{"amount":"+0.7649694681167603","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":"Q4833775$BFE2EE49-C0B6-4C8F-812B-579B9679A60C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4833775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4833775"}}}}}