{"entities":{"Q502693":{"pageid":504460,"ns":120,"title":"Item:Q502693","lastrevid":62355921,"modified":"2026-04-11T05:32:00Z","type":"item","id":"Q502693","labels":{"en":{"language":"en","value":"Pseudo-canonical formulae are classical"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6671099"}},"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":"Q502693$B970B514-6B3B-48AA-A85C-8A1BE2487CFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d03d86d9d453c698655ff70b8e9e45d7730b68aa","datavalue":{"value":{"text":"Pseudo-canonical formulae are classical","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q502693$02AA4707-4A9A-4A5E-BF7C-8A65685AD58A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99abc280218522918886fffddb859fe31dfecdb7","datavalue":{"value":"1352.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502693$6AC79FCD-4D95-4605-AFC8-14BD70C1050D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502693$4ABDF8E1-9120-43DB-BDF9-DF99F867D387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd203fcc0df99bfc5d96e5da8c712e14410da8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1945909,"id":"Q1945909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502693$FF460181-EF77-4F04-BC84-E3478E91F98A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502693$765FCA87-0B12-4883-A99A-A9B0556A041B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cd5210a0216bbf90517d4f735854be8375480a","datavalue":{"value":{"time":"+2017-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q502693$41AA95E7-861D-47CE-839F-04735A511DD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502693$640860D9-81FA-4334-A6A7-2F5249A8FAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502693$BC977188-6BA0-48F2-B569-5D5F32BE09D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502693$B8F6E83C-0877-4F96-A1F4-03A14959E352","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"584a197c891819663f7830f3f16b6e35aaa7435b","datavalue":{"value":"6671099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502693$72359EE9-6C55-4F9C-BA13-3938E36C7A8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7f039055ec1accdf790adf63d62c7b968f8f6a","datavalue":{"value":"Hilbert positive propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q502693$48AC125B-5AF2-4008-8EFC-F1C12D4F589E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q502693$B5276BA0-87BD-4882-8DE8-269CFC6F1893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e8aea1e2797dc9410a92c5e94a327b49cebce61","datavalue":{"value":"canonical","type":"string"},"datatype":"string"},"type":"statement","id":"Q502693$A035E5BF-71CD-4B80-A9AD-C51F45CB1AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bad9282d00c72ff2fd72f313ea6254e983284d07","datavalue":{"value":"formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q502693$556334DB-7AB4-4360-8744-426BA088A898","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":"Q502693$73AE29C0-750A-4545-B22B-DD1BB4BBE70F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00cb5baabb3344e815b0a810122ae448fbe37a7a","datavalue":{"value":"https://doi.org/10.2478/forma-2014-0011","type":"string"},"datatype":"url"},"type":"statement","id":"Q502693$EC362EC8-FAE3-4CFF-9653-13BFA77A8A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6db3fa22b2d258d9c672bd292085471dda0cc08c","datavalue":{"value":"W2095385640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502693$2A066A94-11ED-4EE6-8ABC-82780C175CC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"826784b29471391d5a5452f2c4d9d6a0b54febd0","datavalue":{"value":{"entity-type":"item","numeric-id":2865746,"id":"Q2865746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502693$FD6BE44C-AF73-498A-979D-87FD10FCCF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364dba239c868c1d3ec34e13f65646435c2b2517","datavalue":{"value":{"entity-type":"item","numeric-id":5203581,"id":"Q5203581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502693$40DD65FE-FBE9-4443-A496-6FCDF15D16FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4efb9271d9bf5e5090b70e6e5844b1466deeb73c","datavalue":{"value":"10.2478/FORMA-2014-0011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502693$674EB760-3E55-425B-8EC3-7CD2B10A5D54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b575c40a3a24d9fb0bff5f924b876af379b29edd","datavalue":{"value":{"entity-type":"item","numeric-id":4726394,"id":"Q4726394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a6630448138251314038583d76580724ae86c8","datavalue":{"value":{"amount":"+0.8370233","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":"Q502693$C86A9591-FA69-4EFE-8A4E-E429136C2CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a57df0ad1ec66330fbf1b2304fdcd6943b45e38","datavalue":{"value":{"entity-type":"item","numeric-id":4329247,"id":"Q4329247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb2e67e820ce323c1f31e038b92b31fa5a8999e","datavalue":{"value":{"amount":"+0.8351574","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":"Q502693$1E2A02B1-25BB-40B9-9372-B674C23C370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde3de1e1b233c5fd0bf7751525b366534d2a6f6","datavalue":{"value":{"entity-type":"item","numeric-id":3194743,"id":"Q3194743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a47c2c92edc3ca638392a2e292e31eaf4ba14c","datavalue":{"value":{"amount":"+0.8183814","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":"Q502693$9DC4A727-294E-4903-8F68-FE0346C76554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351ec36963bc0d9b3641a5634137b3f3fd04f5a4","datavalue":{"value":{"entity-type":"item","numeric-id":3684196,"id":"Q3684196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f9de0cc0adb61f505ff006a3b74d787b1fc1f8","datavalue":{"value":{"amount":"+0.8172789","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":"Q502693$B14F67AD-13B8-4F4A-9BD2-602B198D9696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e03756a1731913b54ede20284d492131d2afe59","datavalue":{"value":{"entity-type":"item","numeric-id":3743665,"id":"Q3743665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ee2df1de3b208a48128063a8cf14d5a919d10d","datavalue":{"value":{"amount":"+0.8059534","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":"Q502693$E0BA1E74-4487-406C-A7C6-8E186E5FEAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf22d257d0cc691bcff0e7c221bc441a5daefb5","datavalue":{"value":{"entity-type":"item","numeric-id":3652985,"id":"Q3652985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d225ac3682bab61b30eb8431e078791dbe116f4","datavalue":{"value":{"amount":"+0.8041501","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":"Q502693$985087B9-5F79-4A91-AA3F-6E7FBEA1E8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26d2c5ccf7e5d3b0054623d3df90228c9fe2bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4007056,"id":"Q4007056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87005e0534abe786c5505378b258bb1c68dee1c7","datavalue":{"value":{"amount":"+0.8030627","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":"Q502693$C58C031F-71EE-45A0-9ABA-037146D89A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4188d28ffc519c33133c00d8630e9c5e81e791fd","datavalue":{"value":{"entity-type":"item","numeric-id":2339312,"id":"Q2339312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56744c70c97e105658d6c99ef4201c02624d2e9b","datavalue":{"value":{"amount":"+0.80281025","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":"Q502693$E3003B67-A903-4012-AE8A-FAC034C24D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d986681851ad37a54a4b2dbe8fc8dcd8d1c0ecc","datavalue":{"value":{"entity-type":"item","numeric-id":655420,"id":"Q655420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a67803edf79ffdc002b7cddd39393f4d03474e7","datavalue":{"value":{"amount":"+0.800261","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":"Q502693$FE09D705-25BD-428B-BF35-0877B2DA3814","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502693$EE69A3F9-5B6D-4332-B245-BA27D9CFB901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudo-canonical formulae are classical","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pseudo-canonical_formulae_are_classical"}}}}}