{"entities":{"Q4383724":{"pageid":6413323,"ns":120,"title":"Item:Q4383724","lastrevid":46526880,"modified":"2025-12-24T23:35:17Z","type":"item","id":"Q4383724","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138593"}},"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":"Q4383724$2137004D-4B77-4A60-AEC6-0187E84E23AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb2f3349dc0eb571a291f8d10d29ba2e3e9a72ee","datavalue":{"value":"0896.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383724$78744E5D-19F1-448D-BB4B-9B90862EF8A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9be711d7c9df71adb8348ec779d9ab082f00e98e","datavalue":{"value":{"entity-type":"item","numeric-id":190256,"id":"Q190256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4383724$E8C0FBFF-AC77-4A83-8531-8EBC73D24C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4383724$8FB0715F-D038-4A5C-924A-D7137350D90D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4de95bc96b4e2e5082861c521f5e9db542e1cc66","datavalue":{"value":{"time":"+1998-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4383724$EA585F42-C215-4FB8-B942-FFC529C8A52E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383724$77A5E973-1CE5-40FE-AB3B-5DDAFC143CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383724$8701ADBB-E1DD-43F8-B274-E2EEED340C05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"403eb81901427c173806e4b00a73197809e4b710","datavalue":{"value":"1138593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4383724$A6B5B486-46DF-4097-A0FB-40D10E790B07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383724$1EED86B6-E61F-4215-86CF-448FC9A9A4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383724$C6977C6A-7D83-439C-9F01-3908863E1B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383724$23C12385-2A1E-4BC5-A5D7-6CDBFBBA8F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9e4a53db5b06ceb6c226c9d29a808a10ff6492","datavalue":{"value":"noncommutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383724$1BF823A1-B0AE-4981-87E8-A6B932640347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ea851423aa508f2d3ff47e233a829a245fe0d5e","datavalue":{"value":"Lambek logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383724$6EB3CC2F-AD53-46C1-8157-4F592DD9CCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383724$167E29F7-8082-4565-A11B-27B19EED41AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc45aaca8591e4f557d828535c714532bd4d5fe","datavalue":{"value":"noncommutative extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4383724$B8B5AE89-EC47-4D96-911A-1BAA84139C75","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":"Q4383724$0CBA4433-1415-4E5B-A1D3-AC408D9C1319","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fade43b7fe4390e6f6c73ab83244e67a1af489","datavalue":{"value":{"entity-type":"item","numeric-id":4941998,"id":"Q4941998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8efaeece90fb38e7af73078d4c63b4c63bb41f96","datavalue":{"value":{"amount":"+0.8273364305496216","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":"Q4383724$27DBB144-982F-4CF7-A8A8-27E8DB1CFBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bea16cd865d4882ee157d0dce3c18d98abc3ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb8380765437f9b922a0614c132eea0baf52d1e","datavalue":{"value":{"amount":"+0.8261524438858032","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":"Q4383724$FC043D06-B7A5-4BDF-BFEE-846B2A483704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcf38ee87304823dc3e9df88b70135155fc0752","datavalue":{"value":{"entity-type":"item","numeric-id":4703130,"id":"Q4703130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaebd661403671ed56d2a580b9080be47fb6e04d","datavalue":{"value":{"amount":"+0.8185607194900513","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":"Q4383724$9A378470-5152-4CE2-942C-667D322794EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed2ed59f9c82abca3f91f0e8daeb18df51bd2d6","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06b648b87bc742ac6d04fbe0581072ac9ba4466","datavalue":{"value":{"amount":"+0.8163657784461975","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":"Q4383724$58754D37-F513-4EBE-99D3-C3646A581907","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4383724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4383724"}}}}}