{"entities":{"Q3724306":{"pageid":5754212,"ns":120,"title":"Item:Q3724306","lastrevid":50734658,"modified":"2026-01-14T23:46:19Z","type":"item","id":"Q3724306","labels":{"en":{"language":"en","value":"Completeness Results for Lambek Syntactic Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954880"}},"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":"Q3724306$EB7DEA42-D9B1-44BE-8231-98A8B745195F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a92ccc00e50bbe973437000e8a47a785733462d","datavalue":{"value":{"text":"Completeness Results for Lambek Syntactic Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3724306$BF35B15C-FEE7-40D1-9A85-4C9A051010EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ee8ef1d264842bfc9ff04f3f7ef59f0ce438ea4","datavalue":{"value":"0594.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724306$41718C6C-56DF-4FB0-ACF1-BB779E2B8ED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724306$707009D3-A307-4771-9FD6-9BA3510FE3EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724306$405428AB-351C-425F-81FE-D74283363161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3724306$E0218DF7-6CBA-4047-8F55-D36F99BCD5E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724306$8EC223DC-0BFE-4D92-99F3-888C63F35DE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a65723c6bf3c97f11ec3e2e1353b55bff125678","datavalue":{"value":"3954880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724306$4023A87D-60E3-49FB-B4FA-A02AC01CC144","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724306$8ABACBF6-F797-4019-A2B1-6855FBA703FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724306$CFF60796-7E84-4B54-868B-B0447A1D0DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1448861ce7a9708cf5f088f6cfe519e0d0c2ded2","datavalue":{"value":"residuated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724306$DC942278-800B-4EEB-BE73-481676E9B8CE","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":"Q3724306$52BE7B69-B7CE-406D-8300-D70C54CB11B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5d54633648aaab8fd3a537735b827f5f8cc06ce","datavalue":{"value":"https://doi.org/10.1002/malq.19860320104","type":"string"},"datatype":"url"},"type":"statement","id":"Q3724306$C0AE2429-576D-4819-822C-E5AF041BF539","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3d801d88014e1fb0fd24b7ad3e458b6bc6024fb","datavalue":{"value":"W2156703118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724306$726DDECE-AA21-440C-B424-A26F6382976C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fd7439760fcdeca958ccdfaaaaf2c8922ced09f","datavalue":{"value":"10.1002/MALQ.19860320104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724306$402395FF-B829-495F-B9B0-321AEC22C16D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d18ef98c5a4a1c87ebb3962e6710ece34635719","datavalue":{"value":{"entity-type":"item","numeric-id":4761669,"id":"Q4761669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a08070783cbb13693b0dec175a1547d015e9bb6","datavalue":{"value":{"amount":"+0.9808092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$FC473814-DD1D-4ECA-915C-EBE9962EBD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e293e6cb3b0abe3bcead78beadffe25929eb2cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5327376,"id":"Q5327376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140a2fda330f263ad720ae39371897318234c9a0","datavalue":{"value":{"amount":"+0.9508127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$A6254239-7A97-4E62-B9CC-B7BDD5F01928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c7795b5dd078600461eba16698b60eb3aa3f50","datavalue":{"value":{"entity-type":"item","numeric-id":3677747,"id":"Q3677747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ac78aec9df06cd655b193a6ffd107e5dbad203","datavalue":{"value":{"amount":"+0.93652105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$99A7FF27-DF52-4025-AA97-3C2F76D8CFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8dbf3454b098f62b50dd7bb6ec33a6531a4ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3338228,"id":"Q3338228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ac78aec9df06cd655b193a6ffd107e5dbad203","datavalue":{"value":{"amount":"+0.93652105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$E97C7BEA-5007-4D4E-BF87-08982F836248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3f3700b0889a5df262e2fb0c29d495d333731b","datavalue":{"value":{"entity-type":"item","numeric-id":5704003,"id":"Q5704003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a38d394585a43b144f23daf55c09f430e15b048","datavalue":{"value":{"amount":"+0.9187912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$81974EF6-C5CA-4D0F-9E0D-93E3E8390C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc20b686005bc2ceb24fb0e1c146b05fd143838","datavalue":{"value":{"entity-type":"item","numeric-id":4981260,"id":"Q4981260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abd5337c1e15c1ca5b5ed1cdd3a2b1e31d41c9a","datavalue":{"value":{"amount":"+0.9162336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$C7D6D92A-9A7D-4743-80A8-C0904B9F7B9E","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":"d5df2522d4351dcb9f62b94f89ce7e1cda924068","datavalue":{"value":{"amount":"+0.9136114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$6C1A131A-A0DB-4FB0-A476-D886493EA547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2df00482df495020cb1f42f660b3ab2bd5abaa9","datavalue":{"value":{"entity-type":"item","numeric-id":4273432,"id":"Q4273432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91a93f758cff697d867c7f755edd882191f3e24","datavalue":{"value":{"amount":"+0.9106542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$C8E2CE3E-DDEA-4B74-A7E0-47E4405524D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039e5edd52f5805553a82ec5b480a1210c799cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503959,"id":"Q4503959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab1bef50616798f89409837982ba633bd6f0e63","datavalue":{"value":{"amount":"+0.9082996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$66E404B0-82E9-427D-86CE-DB4278B9EF75","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":"41c5f673afb9258437640904888339936a6ccbce","datavalue":{"value":{"amount":"+0.90824115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3724306$F16A255C-5621-4073-8089-FEA823D7538C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3724306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3724306"}}}}}