{"entities":{"Q2577711":{"pageid":2588454,"ns":120,"title":"Item:Q2577711","lastrevid":78908582,"modified":"2026-05-06T12:43:02Z","type":"item","id":"Q2577711","labels":{"en":{"language":"en","value":"Automated discovery of single axioms for ortholattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2243859"}},"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":"Q2577711$103E0395-78C5-4D91-884B-07A85A336683","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1e2066f749796743e037097903a93803c460324","datavalue":{"value":{"text":"Automated discovery of single axioms for ortholattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577711$CB9AD031-D74E-4E0C-9FB6-2E4776250C4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d817e07f2d58c769aad4ef01d483520f001b645","datavalue":{"value":"1084.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577711$8A63B59A-DAD7-44D3-8C67-FB1CC87F2F01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577711$76D0C449-9FB2-43A2-A9D9-366C51C92F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577711$6A2AD3B4-253F-4D60-B19D-F4AE3D381C55","rank":"normal"},{"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":"Q2577711$C4FC7C1E-52E8-43A7-B2F4-1DFF81AC30DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"606ca5ea455db5b5f063e96104ee9864b3dd27f3","datavalue":{"value":{"entity-type":"item","numeric-id":843074,"id":"Q843074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577711$719DAE54-34D0-4F67-8FB6-173A341837A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577711$4F7E3A61-A709-4A0B-9448-6E2429390EFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a28896e5111b14a787c7b95f92ad273263b18f84","datavalue":{"value":{"time":"+2006-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":"Q2577711$851BE0D8-DE35-4901-9687-2D59ABB8301C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577711$793D0207-5E69-4BD4-9F22-25F3C031B369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577711$F85ECE72-47E6-4D54-A1D4-0B558168ABD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"598bac441570e97a9f46123d0144f002be988f26","datavalue":{"value":"2243859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577711$3B20AFF6-7BBD-468D-9600-3BB7D5E38211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7c3745877244ac47678da16219046619d216ad","datavalue":{"value":"ortholattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577711$3738AD08-4444-4E38-89FE-C50DD01C63BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422b726cb3c9e6918fc7a706baece16c7416b63b","datavalue":{"value":"orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577711$BEF5B166-3938-4449-AE08-700B625558CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60ec2eec0862e7f3c29d897516aacf2ec459644c","datavalue":{"value":"modular ortholattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577711$E0A3E490-4D1C-4FF8-AF41-616EE8768B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4534ce9989fe843863b1f200c40482fcf5e1e260","datavalue":{"value":"Sheffer stroke","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577711$D0C1A040-6676-42F5-A71E-FE991F21DD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11967b2d9eb0498de8b3aa48c32c1857499f18c5","datavalue":{"value":"multiequation bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577711$95620960-E0C3-487D-8DB2-7F7A7D556BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43cca7e8db51e510ddabcd42bdff8dfdef3d690","datavalue":{"value":"single axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577711$36B31969-ED48-40C7-B66A-56F364318B9C","rank":"normal"}],"P1463":[{"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":"Q2577711$1C12DD16-E48E-416B-9F42-88795769D4D3","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":"Q2577711$C21E7BA4-7680-494C-9E8B-A92150DD3DBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58c63c98c42406263b7107dd916fb17a8ad94865","datavalue":{"value":"https://doi.org/10.1007/s00012-004-1902-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577711$E61894A9-5231-42C0-9C84-2F563EFF36AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc53c9940433f64f13c506652e514a902e3d56e7","datavalue":{"value":"W2136212246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577711$6ED452A4-E3C2-4700-96E4-9C936C609DE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a39740982fd6ac9f5d660e15a1b7e9f77551c21","datavalue":{"value":"10.1007/S00012-004-1902-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577711$B4024149-16C0-45BB-8922-591CE0BBE87B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cca928a17c288950e7c56f9eed4c2e99fcdde5","datavalue":{"value":{"entity-type":"item","numeric-id":1869610,"id":"Q1869610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a7e717fdf43ffbd6b39e481484b8354b6195f3","datavalue":{"value":{"amount":"+0.8147345781326294","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":"Q2577711$CBCECC5E-67D9-42CB-B108-25CCB0C0E9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b284bfdb1b0355e9c5d1322763cdd7d5c44d97","datavalue":{"value":{"entity-type":"item","numeric-id":2725955,"id":"Q2725955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f578065063301b08a5dbb9fbea8a2dad6e4b66c0","datavalue":{"value":{"amount":"+0.7862541675567627","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":"Q2577711$8DC8A241-8DE9-4E3E-93C2-A80ED3FD5804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba48486552ebaa237c6d52fb5628832e939a540f","datavalue":{"value":{"entity-type":"item","numeric-id":3583025,"id":"Q3583025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8e882989ab30e31ec1a6cdac2d62dc709ca13c","datavalue":{"value":{"amount":"+0.7862540483474731","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":"Q2577711$5EE895AD-D590-4DBF-8B2A-FAB147BC866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57382f31ee4264946960b81a58d8015ec3d81433","datavalue":{"value":{"entity-type":"item","numeric-id":293265,"id":"Q293265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15589813e09579e3cb069d8a1e8ddf8df90e4870","datavalue":{"value":{"amount":"+0.773292601108551","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":"Q2577711$7ADBDE90-46A1-4C6D-9305-CEC1D8AC7C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b4f735c9b2a4668f9812a90084bf78f5c96da9","datavalue":{"value":{"entity-type":"item","numeric-id":1383993,"id":"Q1383993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e413478e71aff96054e9e4d7dad962e4976eb1","datavalue":{"value":{"amount":"+0.7699746489524841","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":"Q2577711$BD0731BC-6216-44C4-A29D-FA5D1932E684","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated discovery of single axioms for ortholattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_discovery_of_single_axioms_for_ortholattices"}}}}}