{"entities":{"Q5214732":{"pageid":7244302,"ns":120,"title":"Item:Q5214732","lastrevid":58476678,"modified":"2026-04-05T09:34:49Z","type":"item","id":"Q5214732","labels":{"en":{"language":"en","value":"A note on strictly positive logics and word rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162993"}},"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":"Q5214732$ACD16E24-86E2-47DD-B765-CA2DA540CC17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b69aaef03cd92a8c3390f4541d57d82cfef152e","datavalue":{"value":{"text":"A Note on Strictly Positive Logics and Word Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5214732$77F941C9-9433-464D-91AE-E4B0F779886B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e07ce692a38abca5533d783b950d84dc37d2b94f","datavalue":{"value":"1429.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214732$294C08E4-8214-4D21-9BFB-27AB6350E57A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c0b1d91065b9c11db11c1bb533cb4d44f5f2c25","datavalue":{"value":"10.1007/978-3-319-69917-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214732$93DCD8D7-D79A-4645-80F1-3EB7C62A5B67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e216be41eaeeaf77df21a52e8f7b1595a60bfd85","datavalue":{"value":{"entity-type":"item","numeric-id":5214728,"id":"Q5214728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$0EAE3B75-B8DC-4E09-9ED6-D4AD921223DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd6773eb39a2e4f69da6f4fd97619a5587c8913","datavalue":{"value":{"time":"+2020-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5214732$60F87DA7-FDB3-4D3E-B564-830BE68719E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be8f0ab608c307166c1d14eecff775c7604cbfcf","datavalue":{"value":"https://arxiv.org/abs/1509.00666","type":"string"},"datatype":"url"},"type":"statement","id":"Q5214732$D2B6F547-AFFD-4751-9445-DF762F22E493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214732$5C431425-1552-4779-9CA0-BBBB7D88AF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214732$8D3ACEA9-5113-4F24-B533-E80386C77D41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d87ce2ee33075b5c1e30a0bdfb87ad46028ad8f3","datavalue":{"value":"7162993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214732$B6379B85-6520-4AD5-ADDB-278E9452B614","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1bca57aa6d88f6339387dfcbc1382dc73c98fe","datavalue":{"value":"strictly positive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214732$3FC33929-DB4F-4906-A860-5909AFF1A6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2295e9ffa3d63bd5be2b0f7a4b3e06697b255b","datavalue":{"value":"semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214732$B92EBEBC-6376-4BD3-B24B-F4C38A02687F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214732$79436C70-FB75-4732-9EA4-623FBD38F3E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$76B7A1C0-94E0-4132-8B1B-C8255D48E790","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":"Q5214732$714B7198-0940-454C-BC8D-07F77E0AC01E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d4f3b1e7875ebff218398aea18f895930ba3efb","datavalue":{"value":"W2206760849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214732$83383F0A-AF0D-4C6A-A98B-EE6D4464F02F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13a3a7719bf753a0e9546d9d1c16ae8b7b555e3","datavalue":{"value":{"entity-type":"item","numeric-id":5419872,"id":"Q5419872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$7FF2B564-5305-40AF-BF5B-A27DF20E862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619a199d9f4fe2f8dde9e1b533b50958d1d9e435","datavalue":{"value":{"entity-type":"item","numeric-id":392274,"id":"Q392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$538623EB-F57C-4184-9F3D-040D3D080303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7b868f4d019bcbedaf52be20c03e455e0e6c7a","datavalue":{"value":{"entity-type":"item","numeric-id":4474858,"id":"Q4474858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$680ED4A2-000F-4713-8D4B-66444431B6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"593def07e4546cce960235af14c5ec86bccd4e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1194106,"id":"Q1194106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$CAACD2A1-9828-43FC-9D0A-C82DD96569DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3515f1f57e276d538e9aaafc4a8c04bbb632e057","datavalue":{"value":{"entity-type":"item","numeric-id":2435945,"id":"Q2435945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$CBCDB4B1-AF6C-4A25-8E48-9C4B905E5771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049b17ff8f660afc647ff76ab2ee0502b858c66c","datavalue":{"value":{"entity-type":"item","numeric-id":2904059,"id":"Q2904059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$DFC201FC-B35F-4ADA-A1B4-97EBAC50BBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e458e02ef366425bee914a3948d69a60170198bc","datavalue":{"value":{"entity-type":"item","numeric-id":1220915,"id":"Q1220915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$C46B25AB-1F11-4654-AFEE-4E8067624A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabaa0ed487dc7ebf99af3954ca5746fee6a983b","datavalue":{"value":{"entity-type":"item","numeric-id":3964525,"id":"Q3964525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214732$93CC733A-1D95-4C84-871B-C8E689ACDEFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8d3eb1a93bb447ee0cb2be30b8c24f2037cbe7","datavalue":{"value":{"entity-type":"item","numeric-id":3992233,"id":"Q3992233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceae2e2b9388681893e1cab844105736a7a6065b","datavalue":{"value":{"amount":"+0.7262179851531982","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":"Q5214732$DC156264-4ED2-4AC7-99B3-EEC52A1BC3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0f1e269961e4ba67f6bd7aab2e801d2705f291","datavalue":{"value":{"entity-type":"item","numeric-id":5224579,"id":"Q5224579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab4e6e596f64c5a83f3790627d425ba0e2b7f92","datavalue":{"value":{"amount":"+0.6909863352775574","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":"Q5214732$66FB1DAD-D013-42B3-B6C1-778840323141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011b137bee5b3b8bf6e38e5df65419f1d788bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03db4507bcf133ed61dfcf4fb77f299b417c3ce7","datavalue":{"value":{"amount":"+0.6868342757225037","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":"Q5214732$CC6B8A40-5C8D-4BAE-B6C4-1F4A17A32DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591711f95711980f4f5a1dec17ef1538601086b7","datavalue":{"value":{"entity-type":"item","numeric-id":1668101,"id":"Q1668101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8116516982a2d804704ac77205ad1b1d30a598","datavalue":{"value":{"amount":"+0.6857003569602966","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":"Q5214732$EF775F96-6E43-4EDC-833A-D67F112AF0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c858d11a96c7f538d9226c363d8f56a2b9c0f290","datavalue":{"value":{"entity-type":"item","numeric-id":5411406,"id":"Q5411406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ddd4adecbeb496f135dc73c23b37e1a178c854f","datavalue":{"value":{"amount":"+0.684946596622467","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":"Q5214732$FD1CA2D2-DAC8-43D8-8CC1-6EA55AE7247D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5214732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5214732"}}}}}