{"entities":{"Q4218528":{"pageid":6248129,"ns":120,"title":"Item:Q4218528","lastrevid":46693206,"modified":"2025-12-25T10:10:43Z","type":"item","id":"Q4218528","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222927"}},"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":"Q4218528$98180142-F05E-45B5-BCDA-AA3E03FDF882","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9490ab614338f7ce68c972fc00bd03f11cbfde54","datavalue":{"value":"0920.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218528$41A8783D-ED6B-4A41-93BF-E3D63B84508F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5652f6b64b5ce44cd58d3e650e949e17369da7b","datavalue":{"value":{"entity-type":"item","numeric-id":376153,"id":"Q376153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218528$1BCFAF5B-5BB7-493E-A942-B3B5FC4249D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218528$525BE424-7364-473D-B990-0FC9EFBD4E16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218528$0B263A82-C843-48F7-861F-55AADF3DDC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218528$3C1AC78D-514A-4E36-B22F-017B56A15FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218528$0E15B698-EB16-4680-97AA-61F3AAB63294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218528$306E8813-3D56-4346-B767-F130C846B87D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73e12cadd3ccfb98775f1a957b102a0c7fb19fce","datavalue":{"value":"1222927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218528$CED4673D-2DE6-4526-BC28-7836872828C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218528$91CA40FF-74F1-4F5A-B208-29301DF81DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218528$9F234E8F-E46B-4E7A-8380-6F790E9BBBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb2185dc007b3960bf89df92763f2f7a6f5287d4","datavalue":{"value":"free monoid models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218528$229513E8-BABB-4AE7-8D0E-1D4E668105D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f548ff3571929922f835f3a064eecaecb877bc5","datavalue":{"value":"algebras of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218528$22576AD8-EB4E-439B-B2A5-8698120893E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218528$1288006E-8131-409E-AD5C-A715325A96E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f58a03a9cd230d34fd16b4d9c9b8580c1517363","datavalue":{"value":"multiplicative fragment of noncommutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218528$7243C3A0-D701-4CE3-861D-85D79B90778E","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":"Q4218528$2EA5AFCB-A463-4A39-8862-DB9526BE893E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e62cd809cf2b456df20ec681d181370763461f","datavalue":{"value":{"entity-type":"item","numeric-id":5414969,"id":"Q5414969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4b8a52bd81ec94053ca52d5b3524ec1ab4d088","datavalue":{"value":{"amount":"+0.8732845187187195","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":"Q4218528$C791857F-526E-4EA0-A420-EE8DA90505D1","rank":"normal"},{"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":"3b9a7233d7bc1b005e25c4fdf5ee093dd1e08e8b","datavalue":{"value":{"amount":"+0.8599107265472412","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":"Q4218528$8176F2F1-78A4-4650-BF9D-50868965E45D","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":"fd603d079a455b9aaa1b459b66e54534ab07a4ab","datavalue":{"value":{"amount":"+0.8444743156433105","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":"Q4218528$09D4C476-932F-4292-A8E4-578A89750065","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":"cd10522ca69f1c6749771f0bc92fe30da5dc8a99","datavalue":{"value":{"amount":"+0.835217297077179","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":"Q4218528$C8E923BA-AC41-48E1-898B-2D0F4C10003F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218528"}}}}}