{"entities":{"Q5432673":{"pageid":7462237,"ns":120,"title":"Item:Q5432673","lastrevid":50236271,"modified":"2026-01-13T14:56:32Z","type":"item","id":"Q5432673","labels":{"en":{"language":"en","value":"On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221209"}},"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":"Q5432673$062DB949-3EEC-46F4-81C5-2DB30B5DB1D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15c6f110acbc9685be16d145f8bb7133b54d6b33","datavalue":{"value":{"text":"On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5432673$8F083BFF-3AFB-49A0-B3AE-0C4FC645273D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6f3f61d3cb75314db2aa4b4c44c4fb2b1d36c08","datavalue":{"value":"1157.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432673$F2F27514-A775-43AA-BD1F-3CF65152697E","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":"Q5432673$091FD54E-54D0-46B5-AE54-CA90B41A18E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5432673$792FD649-D7F8-4844-A83D-19182709E18C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432673$EDAC81CC-8327-42EC-90F8-BA00930D24B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e87e821e57e194908feb7680edb8d044b3d7c9c1","datavalue":{"value":"5221209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432673$4EBF017A-5E5D-44B1-AB82-4F1F5FEC8785","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432673$1F7EA57D-9FC0-47C4-811F-9EFFD46ED1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432673$A8C83FD5-ABDB-4534-A11A-F87B30C42298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432673$6A1C15B9-71B5-44D5-8C5C-474C5563F03B","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":"Q5432673$7946E3B9-F179-47E5-B13B-2C89608B8027","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"027c64bc6d720297ab804b43a5531b673ce79a86","datavalue":{"value":"https://doi.org/10.1093/logcom/exl041","type":"string"},"datatype":"url"},"type":"statement","id":"Q5432673$0A56E5A0-5BC7-4694-B7D8-C167D3AE8FA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de221d9d82873238761eb09c91b2bd0707c01635","datavalue":{"value":"W2002087480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432673$075AB960-C2FF-4C27-9213-1EBFEF35AE03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e74aac88a7937f62d4863f950be5fb4851a98b09","datavalue":{"value":"10.1093/LOGCOM/EXL041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432673$C6C9208E-2413-4A21-B9CC-CC695407ED97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432673$2468BAE6-CE6B-4D66-A8F4-4FDD5A807F90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af330c46f32215efc2eae1dab6bd3bf68579ce82","datavalue":{"value":{"entity-type":"item","numeric-id":1611249,"id":"Q1611249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a27d6917538b9da11d9d31af33c86a9ae50132","datavalue":{"value":{"amount":"+0.903369665145874","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":"Q5432673$087320E8-9C33-48F7-85B2-7971739A86C2","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":"368eed0724fd8259d7225f0d46e799202e0213cd","datavalue":{"value":{"amount":"+0.8868775367736816","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":"Q5432673$5F820204-3C1D-4104-9BF3-99C48415FBCE","rank":"normal"},{"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":"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":"Q5432673$4B8B8116-3450-44FF-8855-677D6A133412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0adb8886034737fdab808625f84344866595c916","datavalue":{"value":{"entity-type":"item","numeric-id":3035262,"id":"Q3035262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f0b4637d259fd50333de69224c5ac69b9bab6c","datavalue":{"value":{"amount":"+0.8318901062011719","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":"Q5432673$8CE5B16A-1457-4673-8E06-AA307B4065D0","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":"6f6e5fad4b713908896cea806160048f42252e74","datavalue":{"value":{"amount":"+0.8286638259887695","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":"Q5432673$26FBBD75-1A65-4A35-BA6C-506426EE0B98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5432673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5432673"}}}}}