{"entities":{"Q4212926":{"pageid":6242527,"ns":120,"title":"Item:Q4212926","lastrevid":96530633,"modified":"2026-06-05T11:31:31Z","type":"item","id":"Q4212926","labels":{"en":{"language":"en","value":"Relational semantics and a relational proof system for full Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1208094"}},"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":"Q4212926$B0E55931-6CB2-41D8-90D2-B65252A3F25B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c076560abee918edcf71dc6ffd9d7cdba64f7a10","datavalue":{"value":{"text":"Relational semantics and a relational proof system for full Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4212926$79C265E9-9A6E-42AF-AAE4-D368A0298046","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ddc7fa71f7dc4d2b5863170d65490eb1aa291f1","datavalue":{"value":"0926.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212926$A54F9531-70CD-4D23-AC6F-DD9E253AD811","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e59661b8a9748e3e189a3c0a4c6df00ee03480ec","datavalue":{"value":"10.2307/2586855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212926$68233C3B-FDF6-4113-A072-9F5F5A6762E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a3a19e5951e9c43e667436e7cc0790d99ea306","datavalue":{"value":{"entity-type":"item","numeric-id":227766,"id":"Q227766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$ECE1F7CE-B362-45FA-BF68-A1D08A989E5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38736b16377d65c133558922b8d6a1a038ca7912","datavalue":{"value":{"time":"+1999-11-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":"Q4212926$3B2D060C-3935-4842-9F13-6F3B9367CC2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212926$0E7D89E0-0E37-4343-8923-A15261B531E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212926$6A2B3949-C529-40AB-A2E6-EF0CA88684F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a4a579e2f9c1f0681d04fe956337ec5ea125927","datavalue":{"value":"1208094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212926$2FA67A8C-1620-477E-8CCB-1E610E971FE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b76b88230f365a3c50d1fc2b7b82246d978f88e","datavalue":{"value":"full Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212926$1AAE39FA-B889-44A7-8B86-C71B565A65E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212926$7DA8E224-3A3B-402E-977A-E618D07423DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212926$B72AB4C7-69C4-4AC4-83A6-33B70C444E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212926$63B681EE-6B60-4C44-BEE4-B66B1B98FC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4212926$FCABD4C2-B7C0-4E65-A7FA-F8C09731BC66","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":"Q4212926$D335CC1C-74AB-4851-823E-6D6A25B39AC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0368fd34bde3f937e3cfbaac6a46e65d1b27895","datavalue":{"value":"https://doi.org/10.2307/2586855","type":"string"},"datatype":"url"},"type":"statement","id":"Q4212926$496BD933-13C1-461A-A765-FA1E36F79ED3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64d4ea4c6d631641a9e7cb68e9b18842fdf04ce9","datavalue":{"value":"W2052756194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4212926$35B156EB-B8EA-476F-8850-DE9D60DA884C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4c8fbd6fb38bb8ed4d9018b2d47e906aad68c1","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$DEAC35AB-CBA1-44A5-8715-8CE5002BFC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d60b044b1850ce2096965e6773060dbf47e3c64","datavalue":{"value":{"entity-type":"item","numeric-id":4032669,"id":"Q4032669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$FE68E428-93F2-406D-AD28-719F59750835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$8805BA20-7D16-44A3-AAEF-1B75DCF51A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d159655db040654f25d54689f98b3a3abd7b19f","datavalue":{"value":{"entity-type":"item","numeric-id":1277794,"id":"Q1277794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$2AAACB13-A7AE-4532-8347-DFC3999ABBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a782c8f72fea36e1de25cf14ddbdf540dc4f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4295227,"id":"Q4295227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$01B7F9ED-2F2F-4B20-8E2B-05F74D743131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df75431271723f6978ad2aa758c96fc05b9eac0f","datavalue":{"value":{"entity-type":"item","numeric-id":1344886,"id":"Q1344886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$27400D31-1E16-411B-BA73-4DC489AB2BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$A7A3FCBE-F8CC-4BE7-943E-C970221F35D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4212926$3A7F899F-7B4A-4E07-8012-4E0FC4FDA249","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb759d76704748bac1ae8f7240df662ed7c6271","datavalue":{"value":{"entity-type":"item","numeric-id":456962,"id":"Q456962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f7e034fa273df4842c3e87ecac870de0394748","datavalue":{"value":{"amount":"+0.8464096784591675","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":"Q4212926$4F464AD8-553B-4B70-BBEC-2B9484F7CF3C","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":"56c67ac10335ac0f9cb437daa131f14049da2589","datavalue":{"value":{"amount":"+0.8428114056587219","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":"Q4212926$A89D24ED-7F36-470A-B0F1-CE94E7A5BF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d12c8260435ccc7a513cbf2237d513df4e06445","datavalue":{"value":{"entity-type":"item","numeric-id":1337611,"id":"Q1337611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c659e080468373896f269c5a71b744d42b9ef133","datavalue":{"value":{"amount":"+0.8288942575454712","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":"Q4212926$2072EFDF-4F70-45B9-9355-6BEF6AF466A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff0df3602aad140001d0e816f3b60779c64993f","datavalue":{"value":{"entity-type":"item","numeric-id":4357322,"id":"Q4357322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d3e3b50771039ca5b7c304cae1fe9ab658ccec","datavalue":{"value":{"amount":"+0.821853518486023","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":"Q4212926$2FD88715-076E-4E5A-A8E6-94400DB6AB5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational semantics and a relational proof system for full Lambek calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_semantics_and_a_relational_proof_system_for_full_Lambek_calculus"}}}}}