{"entities":{"Q5946341":{"pageid":8123143,"ns":120,"title":"Item:Q5946341","lastrevid":47686246,"modified":"2026-01-02T10:38:48Z","type":"item","id":"Q5946341","labels":{"en":{"language":"en","value":"Cut-rule axiomatization of the syntactic calculus \\(L_0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658684"}},"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":"Q5946341$D842C69F-1888-4672-95C6-E3F82CE51915","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c9bae2df4c0b8774aeb933770b8007bfa01aa5b","datavalue":{"value":{"text":"Cut-rule axiomatization of the syntactic calculus \\(L_0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946341$178A988F-3169-4584-AA4E-5FDE3FB236D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4003eba613d3b2b73d9668fc1b2c4ae0e1bfb2a1","datavalue":{"value":"0986.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946341$0B4A25B7-D2B5-4277-A20A-6C41549635C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7af09bb4dc79c04af9adf5a000d3acc6ea156d1","datavalue":{"value":"10.1023/A:1008355810911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946341$E4E9F2A3-F533-4275-824F-2ECD54557725","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":"Q5946341$1B52DAE6-EA34-4F35-B8F3-6992DCDD56CC","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":"Q5946341$F4E31FA7-4B5F-4B7E-85BF-0BDE2D275B06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946341$3A300ADB-5969-4B6E-9DD6-C387B7A73837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946341$A5696330-72E6-44C1-8B3E-89A0B97F5E36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"473bfec62b5212536f0f5580edd3ba08e70de241","datavalue":{"value":"1658684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946341$0A522A74-6151-4BA1-B34C-02A9F4A246A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946341$5B0B8B5D-CA2B-4170-9295-0DFC5FD7EE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946341$4BBA4FC0-A500-4789-8459-74707345C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946341$22461F3A-F9BE-403F-8166-7C88D403B93C","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":"Q5946341$A34FA1BD-5AC0-4DEC-B2D4-42D9F86BBA5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a3a9ce2a87599d340d83888292cef60721e9e2e","datavalue":{"value":"https://doi.org/10.1023/a:1008355810911","type":"string"},"datatype":"url"},"type":"statement","id":"Q5946341$4B3A61F7-6C46-4FF5-AED3-B6E6DE7EFEA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7b930905db591bce212b74c3ac143a75bb77710","datavalue":{"value":"W2153486658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946341$01F05AB0-9282-4BD0-98B8-7FFCA28657AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fa931c1b05414aaafe5ab2a813a2264e3843dd","datavalue":{"value":{"entity-type":"item","numeric-id":1582323,"id":"Q1582323"},"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":"Q5946341$83196BEA-89CD-4872-9016-8030CF76376D","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":"282bbf23246204e88d4915fad8c1e66cc957e64c","datavalue":{"value":{"amount":"+0.8924381136894226","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":"Q5946341$DB03D879-3DB5-40D2-B5D4-3FFAB0F75B93","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":"9584563cdf604399d24e85632982545e5cfa89ec","datavalue":{"value":{"amount":"+0.8152787685394287","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":"Q5946341$D360FB50-0BA8-4FBA-877A-36D64CA0AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ec4699df16aea84ac87b9105b4ef1661386b0b","datavalue":{"value":{"entity-type":"item","numeric-id":3600569,"id":"Q3600569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b5fbb054431db39bf1a617a31898ff9a7ca952","datavalue":{"value":{"amount":"+0.81451016664505","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":"Q5946341$61E45A24-F39E-4E90-9F05-BAD78919AAE7","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":"06e77671022c36399b4bf4f1b427325c6732d380","datavalue":{"value":{"amount":"+0.8114105463027954","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":"Q5946341$8960019D-1DEC-4E16-BAD1-B51A9E34AA8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946341"}}}}}