{"entities":{"Q1701919":{"pageid":1712660,"ns":120,"title":"Item:Q1701919","lastrevid":68216586,"modified":"2026-04-12T22:12:48Z","type":"item","id":"Q1701919","labels":{"en":{"language":"en","value":"Tense operators on non-commutative residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6844225"}},"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":"Q1701919$98979269-8194-4121-9FE9-B0ECD2C72C42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bed4aa34b8c9955cd737010c3e2677586b67e830","datavalue":{"value":{"text":"Tense operators on non-commutative residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1701919$90A15D7E-5636-4D6C-AA18-3A029DAB5D23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1078b4ec9b71a6cf424bc6be0c39338bbdf696da","datavalue":{"value":"1396.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701919$79A83340-BFD9-42BC-8CCB-7808C210EDDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"592e573a69ba167e33d9c7e79ec1d157b7ee19e6","datavalue":{"value":{"entity-type":"item","numeric-id":467973,"id":"Q467973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$6CD45485-823C-4BB9-8C5D-A98CD6236CE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$4A81E8AA-0A42-4620-A712-2E8D31B4AF3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c144e320c99ba8ab535867a269aafb85a4e4b204","datavalue":{"value":{"time":"+2018-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1701919$171DEFF7-AE42-4B08-9DEE-8E2602275FEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701919$F25727E7-FD0D-43F1-A546-2EE324081EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701919$913700D0-8A61-4A53-9E65-E09F74C07655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701919$2EE144B3-B1BC-401F-8C24-06EB1A970C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701919$80D3A135-B82B-419C-A8D9-FF897ACDC343","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef96b0034701a18877e2fbf92476fb2fdba915d8","datavalue":{"value":"6844225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701919$DA808E36-7222-407F-9CD1-DD8F6546943A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701919$FD195737-C4DD-4008-8F1D-D362C1DDFA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb2b54a0a4f1333cea60f37f4a264b38cf0f68e","datavalue":{"value":"tense operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701919$59A42284-3CCB-4C28-B5F6-2F431D17C02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc66709f9d1c36166bd54ea69735d11165662b55","datavalue":{"value":"non-commutative residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701919$2E35FDB1-DEC0-45C3-BA7C-E4727B3ED215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08753a3b295bf8abb5312be18f083ccb59076331","datavalue":{"value":"tense MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701919$AD6D6E51-EBAF-4A21-9D9A-AE7E3045590E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5267e193149f00b233ad2cc51fbe0fc3d99810","datavalue":{"value":"Dedekind-MacNeill completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1701919$9E063FD8-2A2B-4E57-822C-4A85AE5E28EC","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":"Q1701919$BAEC8587-2ADC-4793-B5EF-0AD8AE9CCCC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdf75ad42730843375c8995f7ca95f7cb3f803de","datavalue":{"value":"https://doi.org/10.1007/s00500-016-2191-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1701919$B5D1EC92-A7AF-496A-AF24-152A604CE797","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b65e35232e651bfd44d3842f71ffaa6e93374871","datavalue":{"value":"W2403403673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701919$617A4899-9D5B-4C62-B9C3-A663C2B6B288","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14ba11c997ab887b4d4ca0bd095c29ea7b68617","datavalue":{"value":{"entity-type":"item","numeric-id":467974,"id":"Q467974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$A81742DB-EF8F-4378-956C-98C47A6C2C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$EA7DD4A6-23D8-476F-8615-8DAA2273951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$A0944768-E8AF-4A2D-AA43-F7BC683C0EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$AF7418A7-0683-43F2-84AF-64D90EFDBE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4d547ca76e4b86d8cf82e89e649681bd87bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":429927,"id":"Q429927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$076ECBD8-3116-405C-944D-F34B8B55C43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3849be10a4433a465fbc67aa1550a8117b20f45c","datavalue":{"value":{"entity-type":"item","numeric-id":2883997,"id":"Q2883997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$9AA46935-BD66-4C81-8311-048D605DE350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a05c228854581fccb67c618d557fe036a8add3","datavalue":{"value":{"entity-type":"item","numeric-id":2799965,"id":"Q2799965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$D401DDA8-3C48-4E35-8B1F-D316DD4608DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97957893567d24ba7bf9f14877c3440ebe3d71cb","datavalue":{"value":{"entity-type":"item","numeric-id":5389310,"id":"Q5389310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$DEBCD9CE-1B67-421D-BA35-5B5C33E4F7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e322c6bbaca00970ab8dea75d649e4c9a16a10f","datavalue":{"value":{"entity-type":"item","numeric-id":5308895,"id":"Q5308895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$F0815F1B-3755-4A47-8E7E-F3E360DF1E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6cb8e5d189d145033442c74733fc9a8459f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5445179,"id":"Q5445179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$E002D67A-14DB-4052-81CE-2A3D01FCD43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc6d24dc435bc9105aee6ad984aadca0086ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5775384,"id":"Q5775384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$39C24E54-E15F-4B8A-9FD1-7E383AEF607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$2ACBF201-2C7C-4B33-81EE-99B816F28D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$7801DCD2-5D43-4DFE-A31C-3D356293B394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266a6cecaca49009ba24255871087a156ad9b06d","datavalue":{"value":{"entity-type":"item","numeric-id":2500772,"id":"Q2500772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$3A7EBF10-1E91-462F-93F4-C4AB33497A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab82e17049782d118e58c521a8c2cee21af58f0","datavalue":{"value":{"entity-type":"item","numeric-id":2465345,"id":"Q2465345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$4B02D2D8-207B-4320-A9C4-5647C8D9A256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$9F20F45F-4B82-462C-A7CE-FEFF9BFCE43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052df427476c54fbc19e09adda9b45637fb7c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3890663,"id":"Q3890663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$026CA4F0-E375-4FD5-9E65-5B71ADCFAEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e4085f6699a1b2def9a4cb6b95833924de9fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3519700,"id":"Q3519700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$3B76E42F-EB29-4E4F-A1BD-AB027B4F3027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$6D18F144-BF83-4AAB-81B6-36E17771F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917c2294e85abda367dd39585e2f822634c75a72","datavalue":{"value":{"entity-type":"item","numeric-id":5768431,"id":"Q5768431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1701919$37E37FC0-BC9B-4283-8B71-E0246E1094F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"952396da3a5c93f4972c79b379a43264a40d8cd6","datavalue":{"value":"10.1007/S00500-016-2191-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1701919$FA4E0DA1-8F89-4FD1-87EE-3BC13F2BB1FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a100304000fa0e64322e8a8207a44e721bd9f0","datavalue":{"value":{"entity-type":"item","numeric-id":4963163,"id":"Q4963163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e949e5146237b1546b6d909aed7101509f056dd","datavalue":{"value":{"amount":"+0.8391531705856323","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":"Q1701919$8E6EB86F-F658-4E4C-9F38-C71997275563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a133e95ded82dced486f664b26dcdf16b1a37b85","datavalue":{"value":{"entity-type":"item","numeric-id":467974,"id":"Q467974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc67b5af4792cdab981cc02a62281154e1379c3","datavalue":{"value":{"amount":"+0.7989528775215149","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":"Q1701919$9B365B49-7DDD-48F6-8D42-FCE47C851CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d0dc740a70bb1d2237de61c7a4f57c9987e249","datavalue":{"value":{"entity-type":"item","numeric-id":3307352,"id":"Q3307352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0455c2d83f00bff1c998540a7eb23f726c2e5399","datavalue":{"value":{"amount":"+0.7892938852310181","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":"Q1701919$1255211C-81E8-42D3-B5CA-A96640160600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0317ae3d4315bbaf1b09925da0d300d2860fa3b","datavalue":{"value":{"entity-type":"item","numeric-id":2941453,"id":"Q2941453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ebb25be005559c0ff8fbe9a2277814f7c5df06b","datavalue":{"value":{"amount":"+0.7830994725227356","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":"Q1701919$C9D44B00-FC76-45B6-B150-63CAD1D8B2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d44b8638303beab4216faefbb36b638815a6405","datavalue":{"value":{"entity-type":"item","numeric-id":3017175,"id":"Q3017175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239ea07caa090d9fdd7d17f16ce72e461a7cfe5b","datavalue":{"value":{"amount":"+0.7812760472297668","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":"Q1701919$30503778-735C-489B-B615-D0983C97B1DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tense operators on non-commutative residuated lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tense_operators_on_non-commutative_residuated_lattices"}}}}}