{"entities":{"Q3770501":{"pageid":5800407,"ns":120,"title":"Item:Q3770501","lastrevid":87663458,"modified":"2026-06-04T12:17:25Z","type":"item","id":"Q3770501","labels":{"en":{"language":"en","value":"A Strongly Complete Formalisation of a 5-Valued Propositional Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029511"}},"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":"Q3770501$CF74816E-CB0F-484B-847F-172E249D4C65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a347f7067ac15e1a8cc48c92ea1c8cd12a5ec508","datavalue":{"value":{"text":"A Strongly Complete Formalisation of a 5-Valued Propositional Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3770501$077C45AD-8B39-4FBF-BFF5-844E962BC43B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b516f53ee3bf9b390bbe6f25ce436a37133f4b2c","datavalue":{"value":"0633.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770501$00F09B93-B9DC-44A8-8123-97FCB9CD46C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3189b12ebf23fee110343ef607d820c0385da92a","datavalue":{"value":{"entity-type":"item","numeric-id":775345,"id":"Q775345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3770501$5E3440D3-E2F2-4809-BAE3-756953068507","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3770501$51A4EE9D-936E-4759-BD60-30750C9DCB8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3770501$435FCF57-8E2A-4C4F-B24B-D3AAB3D90EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770501$8CD7F070-0A48-45F5-8E79-835822AA5993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad81b6e4559d0432abf06c58be02ee6e364b0278","datavalue":{"value":"4029511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770501$76ACEF93-15FC-4E08-B268-1B8472A65072","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8eb06febbd5703d35041f003d48d2964f7b255","datavalue":{"value":"5-valued propositional calculus with two designated truth-values","type":"string"},"datatype":"string"},"type":"statement","id":"Q3770501$F94D274B-7FC2-4D43-AC12-DA6DAFB51571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6131e0a45e8985dd031466e70fa89308ebd25779","datavalue":{"value":"strongly complete formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3770501$B4561292-F98D-4E2D-8803-69776455AD21","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":"Q3770501$57F4982E-BF8D-4482-9E0B-12E2E005CAD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"270e82b45979ee62888a9a9b2ee67c6ef989ddff","datavalue":{"value":"https://doi.org/10.1002/malq.19870330307","type":"string"},"datatype":"url"},"type":"statement","id":"Q3770501$96E07C1F-6536-4299-91F7-69676971812C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc3879af9ea8ff81b14cb7c340773ee473ede760","datavalue":{"value":"W2140559650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770501$B048F76E-3A7A-4503-9CB3-0648ECCE3DEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7c2e31dd5845d87f5b946ea79c4cb68cece3975","datavalue":{"value":"10.1002/MALQ.19870330307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3770501$54C7E6B1-7B19-4769-AD37-BC80EEBFDA22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20a827c614bb0bde9f9f6e7a49f83925bd93996","datavalue":{"value":{"entity-type":"item","numeric-id":3843599,"id":"Q3843599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895831db13ff794fc08f31b6c381dff9a222e0c9","datavalue":{"value":{"amount":"+0.74466246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$55FE4B2E-8DF0-4738-9E5E-165E573863B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8c9d8ed5c8799b2d1445ace8d5470b3b72ff84","datavalue":{"value":{"entity-type":"item","numeric-id":3290718,"id":"Q3290718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d6aa5b15d20a0bc89113065492cf9db30fe2bb","datavalue":{"value":{"amount":"+0.73851544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$132691F0-CD98-4F79-B934-A63AAFA9ECAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d70e2b979a216bc81820bb2842fcb3838fbc5a","datavalue":{"value":{"entity-type":"item","numeric-id":2639047,"id":"Q2639047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43d1e7fae10a9d3abdf9dad5d14ee89ecf44564","datavalue":{"value":{"amount":"+0.717516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$7264CD4A-B413-494C-B69C-2DBE7F95E4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274d5f554575433d175ffa62fd669a95e9ec3c61","datavalue":{"value":{"entity-type":"item","numeric-id":3240231,"id":"Q3240231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc73eca709c5887c99f6f773300b434298bef2e","datavalue":{"value":{"amount":"+0.7171175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$175E8419-930B-4183-BD43-8B978AE610C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ba06c4196ae2965b4719ad48d0bba8e328ea72","datavalue":{"value":{"entity-type":"item","numeric-id":1607116,"id":"Q1607116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d3bb248f2c85dde24ba50f5314f22d39e4b3872","datavalue":{"value":{"amount":"+0.7127991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$E5763937-D348-45E7-A033-E42D621860F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"068c78424a27d9fbbd3ee09c5a676f283a20155e","datavalue":{"value":{"entity-type":"item","numeric-id":3784050,"id":"Q3784050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0f64111d43f3e8182cd1e4b9ffb3b7e10ac046","datavalue":{"value":{"amount":"+0.7077132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$A5661F8B-8D79-44E8-A4C9-57824520FBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19374f2d2a221c310e6e9886503c405de5572b93","datavalue":{"value":{"entity-type":"item","numeric-id":4383537,"id":"Q4383537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd58720c997cd4b937a04415568667d4aec0a3c0","datavalue":{"value":{"amount":"+0.7029639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$84C6EF2B-8247-4102-BBB9-B1C44434B5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba8356719b471d04920a79a22897e26a9e921ab","datavalue":{"value":{"entity-type":"item","numeric-id":5845641,"id":"Q5845641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd8e16a37b08e1a0bdef67224d6ccb582c86e38","datavalue":{"value":{"amount":"+0.6945545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$0F475223-6991-4193-8C8C-0523F31801F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8702da7c07f49485ccd5b7f1f9ae9f34fe417f","datavalue":{"value":{"entity-type":"item","numeric-id":5311062,"id":"Q5311062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866f18ff12085844741d55591efe9f38c241079c","datavalue":{"value":{"amount":"+0.68103087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$281A68EA-B8BF-453B-85B8-2695FA75ADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229d25d35ac55b1cdc1886f7f6c766176febda4d","datavalue":{"value":{"entity-type":"item","numeric-id":4995622,"id":"Q4995622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf398296d78cbcb27902cec07573c3450603ae2","datavalue":{"value":{"amount":"+0.68034285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3770501$72F50713-01F3-4F57-AF6C-010564D957F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Strongly Complete Formalisation of a 5-Valued Propositional Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Strongly_Complete_Formalisation_of_a_5-Valued_Propositional_Calculus"}}}}}