{"entities":{"Q293265":{"pageid":295032,"ns":120,"title":"Item:Q293265","lastrevid":60797496,"modified":"2026-04-10T19:11:33Z","type":"item","id":"Q293265","labels":{"en":{"language":"en","value":"Automatic proofs and counterexamples for some ortholattice identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590702"}},"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":"Q293265$9A9D4D26-F867-4C2A-B6BD-769F23FED99E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c1ea2df7322f9a637f9780ff6b1eaa21d28cb66","datavalue":{"value":{"text":"Automatic proofs and counterexamples for some ortholattice identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293265$4A4BCAD8-EE1F-4E46-8EE9-8E179D737294","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a231f7ef5d8ff7b6b0d07cd20c23f466eca053ba","datavalue":{"value":"1338.03114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293265$D337423B-0F2B-47ED-82B8-0EF5B5AED2D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cb437d49168310da516e91d3c2baf67e94348bb","datavalue":{"value":"10.1016/S0020-0190(98)00015-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293265$6FDFF820-FA19-4419-A4CB-C6ACD1C05D32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$569F3A2A-8DD4-42AD-B019-C944980357D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q293265$42C9AABD-6D4B-4D13-A004-81B9A7CB1658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14b5ed266c620f1812481823dedacd0417fd74bc","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019098000155?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293265$85003996-09C3-4B1F-BECA-0DBA962B8656","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293265$1CBD2A70-873C-4D26-9944-969880DAAF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293265$9C860201-851D-455A-8DE7-5FC9F3C4FF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293265$A8402540-0439-48D9-8DB2-97FE8A680DAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fc75a3fbd339f28ebfb78d07a77ab0ed44eae4f","datavalue":{"value":"6590702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293265$EC35D45A-A1AC-431B-A0A3-FD5BFD60E605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q293265$D673B0B0-E103-48ED-B3F7-FFFDF42D77E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e2c2b99ff2eedbd0e20d81d70326f625f87ef","datavalue":{"value":"ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q293265$31B72D4C-BA6E-4E4A-9E0F-4FE75A7B9401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q293265$9D54CBDD-1678-44DE-97BB-EF8B47EF02C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$BE93CE73-D88D-4164-8CE5-CD00B76EFF9B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b0631dcdd65348a242111f53ee1924677244904","datavalue":{"value":{"entity-type":"item","numeric-id":27508,"id":"Q27508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$86DE6F8F-5B7C-4944-A080-705BAFEA549A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$3DBE52A7-D700-4006-AF71-77E61F5AA774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$2CB2A959-D43B-47D0-A8E9-2479E93BB934","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":"Q293265$0E5A3019-FB45-4BC8-BA1D-59128626010E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fd7ffd99a855475442ac29a5fd88772f1df639f6","datavalue":{"value":"Q124814624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293265$E3342FFC-DC7C-4920-BDD1-9315C9663FF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$F3A7BCB4-5900-47A3-A0DA-4346B9437EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e11dc892348d50f78fc3723a463f0f111dfd440","datavalue":{"value":{"entity-type":"item","numeric-id":3722500,"id":"Q3722500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$41A62647-81A9-40A9-82C2-9BC5231CD8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c889261324602a243f12016bb548fa29e315d0","datavalue":{"value":{"entity-type":"item","numeric-id":1919221,"id":"Q1919221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$5C99E5CE-E769-4F8C-8405-E889C5ABB94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f185b630a25545b8eee4f12ed9f620fbec5c76f","datavalue":{"value":{"entity-type":"item","numeric-id":4240157,"id":"Q4240157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293265$1E06DB7D-A0D3-4DDD-959F-C6A74889CDF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"450bd3ed8e9ad482bc4ab51f54248e75eebb2c84","datavalue":{"value":"W1984341203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293265$4D40E492-FCF2-465D-B20A-2D8921E36BB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91877ce9070a0548e1e609100d20c6a704309371","datavalue":{"value":{"entity-type":"item","numeric-id":547809,"id":"Q547809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd71cd00d9d2f7241f9287f979056e25488047e","datavalue":{"value":{"amount":"+0.8991893","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":"Q293265$18580A4B-FA5C-45BD-B46E-2AD1E8419ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a92835a41a311cbab7856599eb26ee3723beac0","datavalue":{"value":{"entity-type":"item","numeric-id":1010707,"id":"Q1010707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9949ee73643223fda67b452eed27a7b968c09d55","datavalue":{"value":{"amount":"+0.8878004","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":"Q293265$C4FB3FEC-7CF4-4482-8FCA-8B989C928656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36b72f6dc3274dfc09a0a8e36169523d6f41acc","datavalue":{"value":{"entity-type":"item","numeric-id":912653,"id":"Q912653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7036df9e7af8d8d8f4b3ba8835565d51f2173e92","datavalue":{"value":{"amount":"+0.8675746","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":"Q293265$8C4BEBD8-D46B-4276-B943-703CFBA573E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6f21a52d9f59a11e6a6d77bbeae7ffb6f485e9","datavalue":{"value":{"entity-type":"item","numeric-id":3709919,"id":"Q3709919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e200fddf5fe02e1746791e538d3e5b3cfd9c2945","datavalue":{"value":{"amount":"+0.86490023","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":"Q293265$D4B38035-BAB3-4C19-BFBD-59FA924B5082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2410a33d4f01b6372a17f39416bad464f457142d","datavalue":{"value":{"entity-type":"item","numeric-id":3139575,"id":"Q3139575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5715b3d2d824d64b0786f9b8884a1877f3d71a","datavalue":{"value":{"amount":"+0.86449206","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":"Q293265$18E9DAB7-54CC-4711-8362-FBC6527DCE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99524d0248c400d3d1e688554f750316a31513b6","datavalue":{"value":{"entity-type":"item","numeric-id":5368670,"id":"Q5368670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b26b572e859a8313ea73c2610d1cd848bae9e24","datavalue":{"value":{"amount":"+0.8503912","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":"Q293265$2091A9EF-4986-4B58-B5A8-EBAC49699F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eab78577649cc15d4333c3b24d64d50c55da1dd","datavalue":{"value":{"entity-type":"item","numeric-id":322211,"id":"Q322211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b26b572e859a8313ea73c2610d1cd848bae9e24","datavalue":{"value":{"amount":"+0.8503912","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":"Q293265$2ACB2182-5381-4ED6-9FD8-C1D5B6E43C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96b7cb5db5e6512df5013f3eed6b51c414b79a6","datavalue":{"value":{"entity-type":"item","numeric-id":1227049,"id":"Q1227049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9f98837e39d4c51b6605d06b20dd52f0853260","datavalue":{"value":{"amount":"+0.8499937","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":"Q293265$FE28E3CB-EC58-456E-BD85-346A20C24730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4577bca11d57f68f0682077a134ac25477281f43","datavalue":{"value":{"entity-type":"item","numeric-id":4757374,"id":"Q4757374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac38bc8c4e7fdbe1e3a84bc510f2eb829756ed1","datavalue":{"value":{"amount":"+0.84650445","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":"Q293265$6712C915-7E47-447A-B712-6FCC8A41F30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ee470a947d7e50037103afdc02aad120b6d407","datavalue":{"value":{"entity-type":"item","numeric-id":4556761,"id":"Q4556761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265b73a52bd73ed3e05712edaecf30c846f8af4c","datavalue":{"value":{"amount":"+0.84616745","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":"Q293265$18C3F5B8-8963-498B-A972-3ACC20BF5C8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic proofs and counterexamples for some ortholattice identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_proofs_and_counterexamples_for_some_ortholattice_identities"}}}}}