{"entities":{"Q1582323":{"pageid":1593063,"ns":120,"title":"Item:Q1582323","lastrevid":72248613,"modified":"2026-04-14T03:37:27Z","type":"item","id":"Q1582323","labels":{"en":{"language":"en","value":"Cut-rule axiomatization of the syntactic calculus \\(NL_0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1513106"}},"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":"Q1582323$761A99AE-72B0-412F-B823-036033D31C01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"260a2355472be921e4e5c7b70565755f72e31a36","datavalue":{"value":{"text":"Cut-rule axiomatization of the syntactic calculus \\(NL_0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1582323$34F47636-58A9-475C-BE4E-DC2594FFB820","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9177733dd909ef1c717b5f8f45a06a2282b4d3ac","datavalue":{"value":"0960.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582323$D45796FB-DC4B-41BC-8970-D22FBA8A391C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84b15942c3dc76379b7416441460e35cd4b33895","datavalue":{"value":"10.1023/A:1008309805070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582323$09BDE93D-396E-4DC9-B905-5B34ED53698D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"371051b807333e6b3e21f623f1262fb01adc833a","datavalue":{"value":{"entity-type":"item","numeric-id":209452,"id":"Q209452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582323$A0FF5EA5-27DC-41AD-B4E1-48229DEED9BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582323$C94ACA24-846E-426D-BAAA-D674E23100ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1582323$C1BFD951-D86B-4FB5-93AD-1F5BA20CAEDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582323$AC45FE89-728A-4AE7-AAB4-BD1B70184BB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33268db09a2ef11303792801cfbd590e5387a3e3","datavalue":{"value":"1513106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582323$275B2C4D-4948-438F-9E32-9DF704CBCB39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582323$B4A0545D-DF2C-4BB1-9EDC-3349A935E404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582323$6431225C-4B62-40F5-9F12-7B7336F5F48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582323$1EB6852A-1100-42B2-81EA-96D6261F3827","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":"Q1582323$F2BAF54D-6DE5-452E-ACB7-EBECB55A0C6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccba87a0a95bf04fa8604ad2e2d1a6973cfbabc7","datavalue":{"value":"https://doi.org/10.1023/a:1008309805070","type":"string"},"datatype":"url"},"type":"statement","id":"Q1582323$75C24A21-63E9-454F-AA16-BE88B5A5C7EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a61d6a635d89ddffc96b46ad7bcfeb65d524c7cc","datavalue":{"value":"W4250752077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582323$8ED623B5-559B-47D6-97AE-C748DF3FD6A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c384ba8328795ea091eca166675f8c940e9d78","datavalue":{"value":{"entity-type":"item","numeric-id":5946341,"id":"Q5946341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1d2345ca24e5367bf25e706ae5ffb962749203","datavalue":{"value":{"amount":"+0.9374659657478333","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":"Q1582323$CBB49417-D577-4BED-A5CF-1F23F538EC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92422263aa66d81aa1256b236807d6c4a66b4f78","datavalue":{"value":{"entity-type":"item","numeric-id":3577908,"id":"Q3577908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023507fa7de7cc35d5bcbd192d799b2ad22b5b41","datavalue":{"value":{"amount":"+0.9372766613960266","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":"Q1582323$5331586E-5C7F-4093-BBBE-9E9D51C6EFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8965fef4ddae10eff9ee02ed53144fa76e8125b","datavalue":{"value":{"entity-type":"item","numeric-id":3030800,"id":"Q3030800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb806474fc9de780d0378990815db3b7dd77c7e","datavalue":{"value":{"amount":"+0.9211970567703248","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":"Q1582323$24FC7151-0138-4040-8089-C2C118376F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0ced920ec4a2afa36c9fc4232cf06304fa63dc","datavalue":{"value":{"entity-type":"item","numeric-id":5432673,"id":"Q5432673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17871d08e1f03ef7ee015d54e6f414ffda06fca0","datavalue":{"value":{"amount":"+0.8567879796028137","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":"Q1582323$F457D952-BAB0-46A1-B8BC-454548C1ABA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e325224719a9be571a17664bace0c8574d44586","datavalue":{"value":{"entity-type":"item","numeric-id":2277257,"id":"Q2277257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e458ea871bc05fa67d4bf0f6e228670a6bf429","datavalue":{"value":{"amount":"+0.8556446433067322","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":"Q1582323$4C5FC31A-0151-415F-B606-71BFEC4676C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-rule axiomatization of the syntactic calculus \\(NL 0\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-rule_axiomatization_of_the_syntactic_calculus_%5C(NL_0%5C)"}}}}}