{"entities":{"Q4985506":{"pageid":7015083,"ns":120,"title":"Item:Q4985506","lastrevid":91279481,"modified":"2026-06-04T22:44:52Z","type":"item","id":"Q4985506","labels":{"en":{"language":"en","value":"How to introduce the connective implication in orthomodular posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7337272"}},"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":"Q4985506$ED309533-8833-4EF8-A281-E88D3C2F36B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cc2fd143ce36e2645bbf7cf71ae0ba119d41dac","datavalue":{"value":{"text":"How to introduce the connective implication in orthomodular posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4985506$BD4A3063-ADF1-4FEB-8B8C-E9777AD4074F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86a6c21371f7e77a45403abb181ffd6db163675c","datavalue":{"value":"1472.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985506$570F6079-ABF7-4A6B-B54C-F51573CD8701","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a87f4e41e90edf96943e50d0e139f7a41789e22a","datavalue":{"value":"10.1142/S1793557121500662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985506$18F8B3E0-09C8-4735-AE51-C56FF98BB1A6","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":"Q4985506$BEE45267-735C-48F4-8659-D67AFBB21AA3","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":"Q4985506$A6844BA0-850B-4CD5-80C1-1C37B37561AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"300cdc27e640b9f08708e93a5ea7578988d024e8","datavalue":{"value":{"entity-type":"item","numeric-id":2805935,"id":"Q2805935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985506$CBFE7669-7CC8-46CE-8CBA-3AE77DD7F404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf8a5b7f21409e54e1a54b87dc13de420e37e80","datavalue":{"value":{"time":"+2021-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4985506$394A1B50-2B54-450B-9356-0E1C27869F34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7173115f3164df15f64f0c40d93ab0ecd54d44f","datavalue":{"value":"https://arxiv.org/abs/1907.10539","type":"string"},"datatype":"url"},"type":"statement","id":"Q4985506$03088A7A-7225-48E6-B823-E32A642E50A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985506$47403E82-4A95-4E28-BCD3-4DB7DE62FF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985506$BF3A2E82-02F9-4480-B365-B9E5F659761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985506$C1483E18-A342-4F82-98D1-759E2FE29A7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e81611ce3ee628e973e6a8bfaba4014ed50161","datavalue":{"value":"7337272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985506$C6B9F9CD-722F-47B6-95C6-7D885F52AA43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb8e9282a9b8e4eae28e13166085a61f098c5a8","datavalue":{"value":"orthomodular poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4985506$FC893944-8770-48EA-B31E-F6DE6AD73893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ac08feebb9fb02c2f46eb0e3a024959643526c","datavalue":{"value":"connective implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4985506$52F08B48-ECA6-4728-9A7F-1746B86AF623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcb977dab0d189e1a238f1580a572eb6f14a2576","datavalue":{"value":"unsharp adjointness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4985506$6EE20DBC-D592-4842-96C3-E0185E7ECBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f578c8d6f724263a126facfcc9696881500528d2","datavalue":{"value":"partial monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4985506$A703DC5E-7950-4746-9E0C-70DDFFE145B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a558a67e92249e1e10ef3456b5dff810f8ac63c8","datavalue":{"value":"unsharp residuated poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4985506$E4664329-449A-40BA-9B95-F063A2D7283B","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":"Q4985506$8BE72881-4AC2-45B8-B9BD-6E82811F98A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7220d592ca961d2277fd27354987f0d7aa7a5730","datavalue":{"value":{"entity-type":"item","numeric-id":5142355,"id":"Q5142355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985506$03A82D3C-3BA6-49FC-915C-A85BF1EC9026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e480ef79890eba2bee2b5d3655306bd7f95e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2358204,"id":"Q2358204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985506$54CF3F43-C756-4034-B923-4C7E670CBF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb75f0da0a20fa8ad88b0bdb0e13d2822167571f","datavalue":{"value":{"entity-type":"item","numeric-id":4608380,"id":"Q4608380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985506$E2CAC4E6-FB6B-4D63-A85C-6A6F9F33E64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3008505ceada9588aaa19749aad988557df3da66","datavalue":{"value":{"entity-type":"item","numeric-id":4560725,"id":"Q4560725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985506$28C84B71-B271-4849-87C9-71C1D75691E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4985506$D7098D1C-5BDF-4BF1-9866-84195326324A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d995f7efec0ad8c973c5f58eb3af774d09650710","datavalue":{"value":"W3028661280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4985506$EAF70A38-FF2A-41F3-9D58-A5FED3C4A5AD","rank":"normal"}],"P1643":[{"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":"55d320a14e205892d176b78f3e1b96044c342937","datavalue":{"value":{"amount":"+0.8383666276931763","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":"Q4985506$187FCCB4-381F-4B8B-8B1B-2B65649FE416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2121c05ea18adafaac4b349eebd1e32c27c906cd","datavalue":{"value":{"entity-type":"item","numeric-id":3975473,"id":"Q3975473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b8ceb661c15af75d035483c58d985cc9b2082a","datavalue":{"value":{"amount":"+0.8377894759178162","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":"Q4985506$AC5F3787-D2CC-4F9C-9CED-2B405C4399D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a0522b3453ac6529d4e3a5171090691ccdd26d","datavalue":{"value":{"entity-type":"item","numeric-id":5066805,"id":"Q5066805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade4e009cdfd2d4e5d927053a64b4e0d2c728ad0","datavalue":{"value":{"amount":"+0.8092315793037415","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":"Q4985506$204DD6AF-ACBE-468F-9C8C-3D4B34DFC006","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":"70c51cbe45972e244da93cecd7d23669754ab2d2","datavalue":{"value":{"amount":"+0.799865186214447","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":"Q4985506$61D04257-4059-4A09-9F7F-6B22A9A7FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d21a2f4593c54392ea8c758acd9e1e73d498645","datavalue":{"value":{"entity-type":"item","numeric-id":5955524,"id":"Q5955524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c51cbe45972e244da93cecd7d23669754ab2d2","datavalue":{"value":{"amount":"+0.799865186214447","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":"Q4985506$CDE74B00-F4B7-48CD-8886-965745F8C9DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to introduce the connective implication in orthomodular posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_introduce_the_connective_implication_in_orthomodular_posets"}}}}}