{"entities":{"Q4805593":{"pageid":6835173,"ns":120,"title":"Item:Q4805593","lastrevid":48093277,"modified":"2026-01-03T15:03:22Z","type":"item","id":"Q4805593","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1907195"}},"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":"Q4805593$352E9E57-E478-445F-BA60-9AC4A3E8CB7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d40a2c1c5e974099c5b41049b5ded6f3adac1e8","datavalue":{"value":"1028.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805593$A62BC451-3E75-4522-B51A-81A019DA3D47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc74f53862f4f290e2401f492556ea9e0dad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":450955,"id":"Q450955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805593$5B776288-8FBD-4DD0-A258-0973A06EBDD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84d2c943583fd5c7f30b94fe05d7c67b071d6535","datavalue":{"value":{"time":"+2003-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4805593$7D467B16-0379-4BB4-8417-06D1F6E99F8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805593$1E3E9999-5C24-4CF3-BF38-6F24E82406CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805593$8D35CE8B-28FB-427A-95A9-272087C4E463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805593$B75256CF-E599-45EF-9F00-F33859791049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805593$7EFAB29E-AC60-4B68-ADE4-F32E43F2E201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805593$4A3AF9A0-8472-43CC-AA4B-741AE297FFCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"259b8bbbb305216efe3e93c13b14c80b5f3362cf","datavalue":{"value":"1907195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805593$1B38E850-2361-448B-AFE7-35B8F87598ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805593$402F1D09-1755-4179-BC88-A41EB2310536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805593$26F0EA23-B268-4C03-A740-3C0F4D9D0983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805593$204EC6B7-2464-408E-A596-9635D403A78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805593$F1DD44EB-FA68-435C-A482-1930460267DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805593$1F37D083-1D9D-46E5-921F-DB44D1BF1862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805593$E4696551-E696-4C0D-ACB0-1A587D7BB7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805593$77CEFC39-87DE-480D-BC4B-77B68A060F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805593$32F42E7C-1A98-4813-8597-BEA7B709EE07","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":"Q4805593$6FDA02C3-7156-400B-9DA9-2EBE1B064BD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f7b56b07b5578126334d401b6b190a98bfb769","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766e7a9866fe9b3745bccd6c609eb82d1664e6aa","datavalue":{"value":{"amount":"+0.9177775382995604","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":"Q4805593$E42B2C29-B23D-49C8-8C3E-EDF43852D8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"213fbef75c7f5aa7ee61f9837cbf8d878b24b2ec","datavalue":{"value":{"entity-type":"item","numeric-id":2204685,"id":"Q2204685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766e7a9866fe9b3745bccd6c609eb82d1664e6aa","datavalue":{"value":{"amount":"+0.9177775382995604","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":"Q4805593$89B92009-0209-4EE4-9798-B76077DFB7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c4fdfad566481fbbfd52bcb7feeede7ab5cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4296741,"id":"Q4296741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76366f42fdc06800996f72838a48cc973d026b2c","datavalue":{"value":{"amount":"+0.8451753258705139","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":"Q4805593$055F3712-872A-4553-B5C4-D48B2CDF441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f650b25cb4d60aeba6f0ee8890637c39501f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ffb643e69658f11e2e4e6ebaa5333bcc9080da7","datavalue":{"value":{"amount":"+0.8421099781990051","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":"Q4805593$1FDFFF25-9C2D-4F7F-AB43-9D7616189022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c5b34685406945aa703eaf024eb3491f3dec4f","datavalue":{"value":{"entity-type":"item","numeric-id":266641,"id":"Q266641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe8f1845a60d080b05f76a094e18378173d7120","datavalue":{"value":{"amount":"+0.8389597535133362","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":"Q4805593$35EBCA2A-8104-4027-8FDE-5227A2246B35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4805593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4805593"}}}}}