{"entities":{"Q2700813":{"pageid":2711557,"ns":120,"title":"Item:Q2700813","lastrevid":82715027,"modified":"2026-05-06T21:44:24Z","type":"item","id":"Q2700813","labels":{"en":{"language":"en","value":"Involutive uninorm logic with fixed point enjoys finite strong standard completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680016"}},"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":"Q2700813$7C6FB816-C730-47E5-A03C-C312EC62798F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de1ba18787919e70b48021047dcddba077a4becb","datavalue":{"value":{"text":"Involutive uninorm logic with fixed point enjoys finite strong standard completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2700813$E0202C77-97E5-4AF8-86B3-6BBB4AAB7194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d815c5366d332142d135a121f53c308836993c","datavalue":{"value":{"entity-type":"item","numeric-id":365670,"id":"Q365670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$168B9908-86A4-4787-B71C-6AFE7B443A11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$58A0C11F-7814-4565-8BD0-AE4D0311BA9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-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":"Q2700813$47A565E9-7704-4842-955E-1E582C7CF2F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d54374c19f7d41961138ef2ffc8f8ff20f477db","datavalue":{"value":"https://arxiv.org/abs/1910.01393","type":"string"},"datatype":"url"},"type":"statement","id":"Q2700813$57918473-63D0-4FA7-9BC2-B30F1501F85E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700813$5EFF0CC6-9CED-40E4-BE01-CDD38F5976B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700813$07994269-661A-4E6C-B101-4682065E797E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700813$A59C0122-3246-4E94-9EE3-7948A00A0064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"031b0b7ff007efd7195b8b5b5d521281091c5e72","datavalue":{"value":"7680016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700813$EEC5C29E-034E-49CB-9C9C-A3FA6FA82003","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8d3dfc19a6135edbf61334a5d31a812d052b90","datavalue":{"value":"involutive residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700813$095676D7-DFF6-4D2F-B47E-E6E2785EA63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33f2b97e27c40f6fe3651c7eddbdff83022d0f72","datavalue":{"value":"substructural fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700813$587370A7-5B56-42CD-BF27-8866A68FB0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b385a1fdb49956580fe68f3fd28810f7cb231","datavalue":{"value":"standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700813$559903F9-AECE-48AB-87A0-72A897C41F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700813$911BF327-8294-407A-A58C-9C9FB6A108CE","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":"Q2700813$AFCE8270-83E4-4597-8F2F-650A1223A869","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"399bdaa2f59f0e39e1be1c2c76375cf85c2fba10","datavalue":{"value":"W2978832551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700813$C837AC8F-A91B-409B-90B0-4A5381433CCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cf46ea4860f966c8776660afdcb228359240dd","datavalue":{"value":{"entity-type":"item","numeric-id":5406032,"id":"Q5406032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$5D8C291C-ED15-4D06-A206-8746B6003A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3692a1084d5dd3569eebdeb5c376f3de9b86ad77","datavalue":{"value":{"entity-type":"item","numeric-id":3162100,"id":"Q3162100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$5173FC83-42B4-4077-9420-52FCE2D64948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b554d61218d9928b6258d017dec992409deea4","datavalue":{"value":{"entity-type":"item","numeric-id":3475268,"id":"Q3475268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$CE72D5EA-9525-49A7-8EC8-FBC406901FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0c9c54f14f787f70785a2d58375ca21d25ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2871197,"id":"Q2871197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$9CA458B9-FC19-48BC-85DF-908B35AF0935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$4D71F938-53B7-4966-9E41-1E3A38CC1216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376c491b13c870df4eadc47f950602f4bdcef9e4","datavalue":{"value":{"entity-type":"item","numeric-id":1934971,"id":"Q1934971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$539E64D6-742D-457D-B38A-DDB17B6E7DDC","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":"Q2700813$939C1A5C-1E0D-4745-A9A5-A2538E8B57D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b898c4b9159f9518298a57d75881ac7e9149c8","datavalue":{"value":{"entity-type":"item","numeric-id":5919138,"id":"Q5919138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$2D3A2701-F392-4D11-8230-FD71EC006585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcac37158c5740bfbb46dcc8c2d80332a1a2f290","datavalue":{"value":{"entity-type":"item","numeric-id":2027209,"id":"Q2027209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$AC28D6BF-D19C-4C8D-B741-13FC1931749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fef1468f87abacc529ef135b47c01c4586bdc52","datavalue":{"value":{"entity-type":"item","numeric-id":1407607,"id":"Q1407607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$496EE91E-6256-4199-AC98-5820A3775164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$782DDF15-E905-4BCA-B989-DF30CD05619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$8E55FD58-C387-40CA-AFC9-F631B64AFA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895dcbdc46ea49ee475b8f2c4fb8f3ed761c8b82","datavalue":{"value":{"entity-type":"item","numeric-id":3469090,"id":"Q3469090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$BDF27C77-FAC4-4E7D-8E41-CA793EB45106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f2e64700a85552f007875e3c478af7ce746872","datavalue":{"value":{"entity-type":"item","numeric-id":1001368,"id":"Q1001368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$CFC2CA33-C7AF-4299-9593-CCE523DE8A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b55d281bb0e9c644718eae0811b31529b23997","datavalue":{"value":{"entity-type":"item","numeric-id":2337894,"id":"Q2337894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$48093C28-400A-436E-9EC1-ED30B0A9389D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c645b8dcae015b00913d5602f35de213de99a07","datavalue":{"value":"10.1007/S00153-022-00839-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700813$1165FE66-3830-415C-96D8-69D4E66B061B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700813$7E6797E3-31EF-4BE2-B3B4-7F6F2810DF9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Involutive uninorm logic with fixed point enjoys finite strong standard completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Involutive_uninorm_logic_with_fixed_point_enjoys_finite_strong_standard_completeness"}}}}}