{"entities":{"Q2761754":{"pageid":2772493,"ns":120,"title":"Item:Q2761754","lastrevid":83145626,"modified":"2026-05-07T06:18:00Z","type":"item","id":"Q2761754","labels":{"en":{"language":"en","value":"On the soundness and completeness of equational predicate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686297"}},"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":"Q2761754$0B8042CE-FA10-4201-A757-453B4925912B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caa576f6a2f5b1be8cd25ea21aea0349f7093702","datavalue":{"value":"1006.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761754$8E9AD4C5-AF6F-4BE9-A201-2B811D80F355","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7a0151a14226acc3fb9d907c9d99437783ef464","datavalue":{"value":{"entity-type":"item","numeric-id":622626,"id":"Q622626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2761754$EE226812-9372-4B1A-92A8-E1B858130D51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2761754$7FB6C92B-553C-40D9-9F56-D5FCA67ADB69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761754$BD59376F-9B5F-46F0-A30C-7035D9BAE87B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d134b66b5493d012a672673c4eb6554d22765d4d","datavalue":{"value":"1686297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761754$272E3641-0546-48A0-BEE1-31D405875AAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761754$E25579F6-9643-4764-91E6-BF50B4188CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4407aaaf1265052f90264091952404e93d03b5d2","datavalue":{"value":"calculational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761754$CB40439A-1359-42FB-8565-76E9AC387173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761754$286FF6C2-365E-43A6-977C-BFC3D49DCFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761754$05B2DB11-5EE1-4F22-BD11-76CE05FE705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207503dc4559ae07677058d958b4fffd0ec1689c","datavalue":{"value":"equational predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761754$7623AD34-001D-4A71-AEF5-D51124FEE4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb753cab9b46d59ac9b9f39eecb4040768f9d96","datavalue":{"value":"formalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761754$2BAFF806-72F9-4DC1-A673-B8B133FB8A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0bba9154deaa2bde34451618ca72aae8b3ca76","datavalue":{"value":"Leibniz rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761754$234F3509-E3E8-4706-932D-3F044CD19E1D","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":"Q2761754$9B8652BF-E61C-4E40-84A0-5536542A34DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"559276a145bf8df2d55f4ff675c102549ed94d95","datavalue":{"value":"https://doi.org/10.1093/logcom/11.4.623","type":"string"},"datatype":"url"},"type":"statement","id":"Q2761754$D2E263A2-9D5E-48A4-A6FE-EC8250C4E0BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd2a3b82183718b59800b10dec193348a63b2c1a","datavalue":{"value":"W2022355938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761754$DAF859CC-9D48-4F7F-99FF-FDD4D6BE6B6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf33f204f248f0539b96deb30bdca060db6d88f5","datavalue":{"value":"10.1093/LOGCOM/11.4.623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761754$DE278601-5D2C-4B10-96CE-0E58C51AD396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8b94c40150a8b743923dd947a6ea8fadd4e3e5b","datavalue":{"value":{"text":"On the soundness and completeness of equational predicate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2761754$40D6F841-9F6B-4E36-9A0A-5D1A0D71F695","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2761754$0C43920F-B06A-401D-9808-9AEE1CE8BD79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519aadbd7750c5ee8184dc9842adbcd93ec0f3e7","datavalue":{"value":{"entity-type":"item","numeric-id":4438110,"id":"Q4438110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16de1e352f1d26a0aa36dc192c9153e55e6d5d5","datavalue":{"value":{"amount":"+0.8771653771400452","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":"Q2761754$F391F266-5699-446B-8F46-9BEFD9B1237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bd8028998d4211dda8e941397b8b4f6e121092","datavalue":{"value":{"entity-type":"item","numeric-id":1065783,"id":"Q1065783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8630e509d39a771cd5bf08700f25f599446d1006","datavalue":{"value":{"amount":"+0.8758319020271301","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":"Q2761754$AA52A9D2-C98E-4422-BD73-1B5CBD94153B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b8c8af9e155357a5710ebb713756467cfb6a0a6","datavalue":{"value":{"entity-type":"item","numeric-id":4438114,"id":"Q4438114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f3b2f1bbf493c23fb5246cce48bd35ab9e21d9","datavalue":{"value":{"amount":"+0.8460632562637329","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":"Q2761754$F9C29774-639A-49F2-A60C-319F65193DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88566c7f4f8038972f0727dbcf3061457b45cb27","datavalue":{"value":{"entity-type":"item","numeric-id":4284237,"id":"Q4284237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f3b2f1bbf493c23fb5246cce48bd35ab9e21d9","datavalue":{"value":{"amount":"+0.8460632562637329","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":"Q2761754$60B1ACBB-FEFC-40F9-91A3-E92DAA3B742B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c0762817d5fd5ab38a8c4f615cd5a32f97711e","datavalue":{"value":{"entity-type":"item","numeric-id":5411446,"id":"Q5411446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0631773dc6163a89626e579cbb2aac7d41fc2a4","datavalue":{"value":{"amount":"+0.7682706713676453","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":"Q2761754$C8A856A1-90BF-4EC8-BC7B-41EFECFEA7E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the soundness and completeness of equational predicate logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_soundness_and_completeness_of_equational_predicate_logics"}}}}}