{"entities":{"Q5066805":{"pageid":7096381,"ns":120,"title":"Item:Q5066805","lastrevid":100090046,"modified":"2026-06-05T21:23:56Z","type":"item","id":"Q5066805","labels":{"en":{"language":"en","value":"The logic of orthomodular posets of finite height"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500476"}},"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":"Q5066805$B9C358FE-97C3-4EA9-B888-2A17012EF847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"521b322a6a46f944cbf157f04556d7fa632ca194","datavalue":{"value":{"text":"The logic of orthomodular posets of finite height","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5066805$B4884E06-98E1-4174-A8E8-10D06844A5B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066805$83F8B704-42B6-4F6E-85A1-29D03489A7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066805$11D84995-C497-429D-9440-E5F17B20C2B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066805$FA2A08B1-BD89-41C8-AB71-2F7F29D8F611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61b9ddd561c98fbb9a9071334e79a1f87677f654","datavalue":{"value":{"time":"+2022-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5066805$4FBDB59B-93FF-4E5C-89F6-9DEDD2FA4ECA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feef891dcad27dc5fe53370e060acc65a3391d7c","datavalue":{"value":"https://arxiv.org/abs/2003.04943","type":"string"},"datatype":"url"},"type":"statement","id":"Q5066805$B6B3F10E-E1A2-4EFB-8369-0FFF3EDF227A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066805$700C5756-3F6B-4A7B-AC09-39A08BBAB6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066805$907FD4C5-3C34-458C-AD92-28E2E6B11BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066805$5638493F-94EA-4DE1-9998-24E8B85DCB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066805$E104EE49-2238-4CCC-BAFA-148D71C6D7F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4730e6fd1776028940914a35090ee965872e1f1","datavalue":{"value":"7500476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066805$8D0DD618-F6F4-4837-B687-FCEA1989D4F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb8e9282a9b8e4eae28e13166085a61f098c5a8","datavalue":{"value":"orthomodular poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066805$72E75988-D84B-4565-9E9F-3FB6C05C2F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ac08feebb9fb02c2f46eb0e3a024959643526c","datavalue":{"value":"connective implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066805$58E78621-ACA7-4868-9EE7-56D31EE40B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1588bfa802601b2408b3ef6e6fe0d4eb538a2cd1","datavalue":{"value":"implication orthomodular poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066805$52A811BA-3FDC-4EF3-9E91-22BA8359889A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066805$FC087036-F63C-4686-80AF-D314666E80D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9428016e34173b17b11627a9ff5c3626cc949a1","datavalue":{"value":"derivation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066805$095217DE-ECF2-4E6C-AD2E-2CA59F15E834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc4c149d8ddc2ada423d838a1926592f474ee99","datavalue":{"value":"Gentzen-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066805$57A77B91-7233-4F70-94B5-E3B5C6C8B3FB","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":"Q5066805$AC72B8C9-8C93-42C6-9BA2-75F3FBA8FC61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24d675946219c1f8ab1382eac794e788fbedbf0b","datavalue":{"value":"W3115054903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066805$D664F03A-5CDB-4BD3-8416-73034FEDBAB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16ee59691d3208b1d16d55cc4e49933d3c12955a","datavalue":{"value":"10.1093/JIGPAL/JZAA067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066805$16518FFD-C759-438F-937E-39D26F63FBAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea2680c835180e1ab96e6c0c76d02804370e9bd","datavalue":{"value":{"entity-type":"item","numeric-id":2979435,"id":"Q2979435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62977a14aee4c2229c9edc025783a2335749b93","datavalue":{"value":{"amount":"+0.8437522053718567","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":"Q5066805$7FDECCD5-B442-485C-95DC-10CC80AA8020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe9ce8b61636dc3449d9463978765fe1c81fc94","datavalue":{"value":{"entity-type":"item","numeric-id":4985506,"id":"Q4985506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72afba1f7108fef67392483a836c2bc177ade9d","datavalue":{"value":{"amount":"+0.8408095240592957","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":"Q5066805$EA28B396-0E7C-4000-8FBC-ACC8DD3A9760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0c5c28e53c6190b01459b904b6b2cf245be63a","datavalue":{"value":{"entity-type":"item","numeric-id":4007190,"id":"Q4007190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95ed81d4e81104e04c19e1e275377c3687e178f","datavalue":{"value":{"amount":"+0.7965273857116699","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":"Q5066805$DDA7FE66-FF02-48AB-8D4D-216C1BF3A38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8620e372350a4d0e82ac56bec266edade9e143e","datavalue":{"value":{"entity-type":"item","numeric-id":3979187,"id":"Q3979187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34585e3d06a6411aea61b2c91d24135c08f687f","datavalue":{"value":{"amount":"+0.7954249978065491","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":"Q5066805$6905F4E0-9DB0-4411-B49A-FD3AA4B3170A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97af35915b099ab4fbe76a05e8038164eb87be39","datavalue":{"value":{"entity-type":"item","numeric-id":5250893,"id":"Q5250893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b46ec5c008681d6231ca040f5422d21127ed910","datavalue":{"value":{"amount":"+0.7930737733840942","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":"Q5066805$2EF56BFE-36CF-44B2-A62E-23CDBC685074","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logic of orthomodular posets of finite height","badges":[]}}}}}