{"entities":{"Q2751373":{"pageid":2762112,"ns":120,"title":"Item:Q2751373","lastrevid":83097803,"modified":"2026-05-07T06:02:24Z","type":"item","id":"Q2751373","labels":{"en":{"language":"en","value":"Encoding two-valued nonclassical logics in classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1664660"}},"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":"Q2751373$9FA87B24-E21F-44B3-A43F-276C2BED4A42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ff086799313253211dec15608e44f11a66b86e2","datavalue":{"value":"0992.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751373$10D84AE7-BACE-4928-A8FB-A09EC471EA7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dfe61630de7cf01a3a9198b95bbb5b37622d9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2751357,"id":"Q2751357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751373$11F42CB5-8589-4074-A57E-A9E288AAC6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751373$C806683E-5E40-48FA-83D1-9565DAEA248A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751373$5BD5C76E-162C-412C-8BD0-18D14CC6D81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751373$31189A26-2A44-43E6-B32C-D68ECF773EB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2751373$EDCCD75E-FA10-4B08-A3C7-2485A9D76672","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751373$91650721-6D78-4741-9C25-D3A68B56A4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751373$4EEA884C-FB59-4963-8924-B6EE4BFB614A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e373b4f0f2bb119ba9bf19909bb9ad242881ec34","datavalue":{"value":"1664660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751373$D396AEB0-923E-452F-9E06-63D0ECF8B775","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751373$58986888-42BF-405C-9CD7-F92101C6E83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751373$0B639025-E2B0-437F-AAB7-66BCEEC3DAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bf52189f6a7a7aaa1a17bade0c7b665c42b6c92","datavalue":{"value":"encoding a nonclassical logic in predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751373$22D2A155-74AB-4D2C-8E3E-073C6AFC199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751373$F15FA7F8-C3CB-4AEB-96A4-275A2E6C3F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751373$4DEABDF1-FC77-4B4B-80E8-EAEDD45CDD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751373$1E1FDE2C-58CD-4F89-929B-651A3F96AA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751373$F32BEC3A-CA2E-47C2-9D2C-0A9CF5B7D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcec466f29bac86724a6f68cbda2b87ff1504089","datavalue":{"value":"proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751373$C99764DD-D44D-4811-91DF-BFF1FE862A48","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751373$8F514418-09BD-463A-9B65-9A2AB27A0BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751373$721A1970-2E44-4AF4-A339-1BDFF0B38FCD","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":"Q2751373$EAA07795-DEF2-4F4D-9565-9E4630555115","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95381bc8c7fb3e455800e0f1a425a361ef1b8041","datavalue":{"value":{"entity-type":"item","numeric-id":4424653,"id":"Q4424653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065e4d83ef7e2aaf2b2530d695de9ba6b89c1488","datavalue":{"value":{"amount":"+0.8846432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$0BB01CA6-026E-41D0-842F-32248931DF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee49250fe56c4f2a4c92a78537f7e9a13fc0e7","datavalue":{"value":{"entity-type":"item","numeric-id":4023119,"id":"Q4023119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2467ca5df1a441f921bf64fe638a3735a3fb6871","datavalue":{"value":{"amount":"+0.88414234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$3463052A-C89A-4C03-9224-30E35EF507EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98fe8b3e663eb87cb9c6a109e7ef7f39c585f0e6","datavalue":{"value":{"entity-type":"item","numeric-id":4526555,"id":"Q4526555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3217e91685801e926f8a330864e65f67423ca08c","datavalue":{"value":{"amount":"+0.88397914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$E2808217-5A6C-4C77-BD16-1F4F409BF156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db935239b78ce7029613280d6b384a03f5074b0","datavalue":{"value":{"entity-type":"item","numeric-id":5463277,"id":"Q5463277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d704b99d0ce870640b954fd9d3c4091221aee94b","datavalue":{"value":{"amount":"+0.8805239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$CF3E3F16-58E8-4F32-9520-49C7D48E4B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a4f7609d38aee4d8f65463c0190699a427af76d","datavalue":{"value":{"entity-type":"item","numeric-id":2851798,"id":"Q2851798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da7dc91e1cba762de7afd777a50a3f196f5b81f","datavalue":{"value":{"amount":"+0.8678175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$79B6F83B-77F9-4D3B-85F6-4759FA79D63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1032866713d130bf354ae3605f1b453cd358563e","datavalue":{"value":{"entity-type":"item","numeric-id":4362880,"id":"Q4362880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff62bd37050861af50afb5310c24fb5e45ea5777","datavalue":{"value":{"amount":"+0.8673542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$C220AE03-107A-496A-BAD4-16BFB048672B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21501ed1f042b3f018f16b7a5508f3f3a743773","datavalue":{"value":{"entity-type":"item","numeric-id":3541989,"id":"Q3541989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e579d20d14c53a3a8cd940c8d78087d515ec70e7","datavalue":{"value":{"amount":"+0.86670303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$4DCFB0A8-F823-479D-97FF-720A93830E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68798d71919e00d26faa707ad9b5688d3186da8b","datavalue":{"value":{"entity-type":"item","numeric-id":2751825,"id":"Q2751825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc0d548a2748b739643f6937a0de2b2d68d4d43","datavalue":{"value":{"amount":"+0.86621505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$4E6D9606-F70F-4964-9C0E-58C24D94153D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff921341764188f9f31358dc98e4223496235fd4","datavalue":{"value":{"entity-type":"item","numeric-id":2399603,"id":"Q2399603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26af6ba0e2a299ac5a54eaeae42f8b944f2cbf11","datavalue":{"value":{"amount":"+0.8658562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$48FA7840-9396-4405-A29A-309F9A6F6410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797d1cc74821db371a04aab108b427b94a2ee364","datavalue":{"value":{"entity-type":"item","numeric-id":3797163,"id":"Q3797163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08f2086368e604d182bfdbb88e1302d2e1920ff","datavalue":{"value":{"amount":"+0.86536336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751373$147FD8F4-3678-4759-9C86-A04F811CB649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deb42200491436d9d1eab6fbb4f144951742e255","datavalue":{"value":{"text":"Encoding two-valued nonclassical logics in classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2751373$33EFF913-C77A-474E-A196-4EB5B7700427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding two-valued nonclassical logics in classical logic","badges":[]}}}}}