{"entities":{"Q5869573":{"pageid":7899124,"ns":120,"title":"Item:Q5869573","lastrevid":101895542,"modified":"2026-06-06T03:05:34Z","type":"item","id":"Q5869573","labels":{"en":{"language":"en","value":"A propositional logic with binary metric operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7594145"}},"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":"Q5869573$86348AF8-32E8-4318-B330-726382099E7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea9f45d17399e4087d9c562b5999a4bb83abe752","datavalue":{"value":{"entity-type":"item","numeric-id":2154141,"id":"Q2154141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869573$2A1B3F44-8471-4617-BA89-9C04463017DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec72df57f4748a8a95a6166cc534521dcb3f2ac","datavalue":{"value":{"entity-type":"item","numeric-id":465579,"id":"Q465579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869573$31787479-9073-48A0-BB54-B156DBDEF1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"deac3c1d8ebe548a5f69537ffd4fada49662e724","datavalue":{"value":{"entity-type":"item","numeric-id":2330003,"id":"Q2330003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869573$EEDED399-6EF6-432C-ADE8-38055BE363A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12849bc9397048f3fbe61bf9712405dfa85dc246","datavalue":{"value":{"time":"+2022-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5869573$8F14CFC1-DE8D-4EC7-AB6B-2D7112F7657D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869573$35C8817E-80F5-4D3F-8D38-7E6923420D55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"556c4e905021a0a3e37e762378bd8d372e361200","datavalue":{"value":"7594145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869573$076FEC89-341A-4C1D-9C71-40B32569FFC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5407cf1cb3f7d88d3d713b5ea915aca8133277b9","datavalue":{"value":"metric operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869573$E5BD3DE9-2484-4E19-B6B7-45A3D1B9FEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869573$84CB2C61-5F34-48A1-B8A6-45BBAB0D3935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869573$B0CFB9D7-DB93-44C3-89B5-5478F636A0A5","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":"Q5869573$B00AE18A-C6C7-4822-AF40-47ED808068F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5ed562f84d0f9e08fb8c4f2a0530d641843bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5134355,"id":"Q5134355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ecc655387e90116182712d53da0df8caa94199","datavalue":{"value":{"amount":"+0.9206109642982484","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":"Q5869573$FE7915E7-B7AC-4D0F-A922-98C2005F4E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2416d03fd3c3629d7fcc9874693315ab85433f03","datavalue":{"value":{"entity-type":"item","numeric-id":3647302,"id":"Q3647302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa95b66e0bd3b8eb32fbf852b9db33b67b3ea8a","datavalue":{"value":{"amount":"+0.7746922373771667","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":"Q5869573$05BCD20B-3B0D-4F68-8CEE-83580BA50F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff63ef0cee3e9db4771ce7bd6453a51ce9abc6f3","datavalue":{"value":{"entity-type":"item","numeric-id":2899007,"id":"Q2899007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46861e1944b6528103d18d9e812a9b2a27d240c0","datavalue":{"value":{"amount":"+0.7664247155189514","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":"Q5869573$7FE231E1-CCCF-4CD5-8783-0618A08C7D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d520c88ec288f19fa4975778da18b4876500f282","datavalue":{"value":{"entity-type":"item","numeric-id":5267430,"id":"Q5267430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81516abcffba7caddea7eb973e9047d848efc38","datavalue":{"value":{"amount":"+0.7646174430847168","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":"Q5869573$0EDFCEFE-7138-4E76-AD04-F8A196344F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cae5766e1c8bdaea01e2de8e4efc1a77ba8752","datavalue":{"value":{"entity-type":"item","numeric-id":3414596,"id":"Q3414596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ecce39271a35b9640c782b17138365e5872b398","datavalue":{"value":{"amount":"+0.7581227421760559","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":"Q5869573$72244E43-243A-49F1-AE7A-B97AFE7A2ED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propositional logic with binary metric operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_propositional_logic_with_binary_metric_operators"}}}}}