{"entities":{"Q1153907":{"pageid":1164656,"ns":120,"title":"Item:Q1153907","lastrevid":69751530,"modified":"2026-04-13T09:08:30Z","type":"item","id":"Q1153907","labels":{"en":{"language":"en","value":"Equationally definable implication algebras for orthomodular lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3726342"}},"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":"Q1153907$15D1EDE7-4DDD-4CCB-BA07-39A2293634D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"886697ef02550a8fe12ddb5f4db37c47831033d8","datavalue":{"value":{"text":"Equationally definable implication algebras for orthomodular lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1153907$B035CA25-86FD-4BE0-B6AE-57D5509ECF58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb61e3bbb6bd3e5b15dac000116f0e559a37f5c7","datavalue":{"value":"0464.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153907$2B1D9CCA-71E6-4FF6-B329-6AE5EAFCB791","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0e560b440c70126a108eba845e4545d22963a2e","datavalue":{"value":"10.1007/BF00373094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153907$944E84CA-8723-4733-BD43-4A028A4C0DA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f28d4f56fb2114dd4ba039a527ad00dc99a81bd","datavalue":{"value":{"entity-type":"item","numeric-id":758482,"id":"Q758482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153907$B3D90D98-0E7E-4AD9-A1BD-5DB06CEC1003","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153907$47DB8024-29CD-43DF-9B49-60B5B74B2817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1153907$1EF4A15B-E489-4D85-8CDF-4F29285E0674","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153907$FCC69841-77E7-4C70-AA9F-C4974FEDBE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153907$40EC90F6-005D-4086-8008-06AB02A1CBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153907$9E4397C6-3FA0-4C66-92A4-3A8F38F048F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e13703075b0755a637dc7cd8c20c93e82685ed2","datavalue":{"value":"3726342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153907$2CB7F8C1-10D5-4D0C-87C9-60D491FDDE45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c318a8f5e83b45184b8bb1753a654ef8159856","datavalue":{"value":"orthomodular logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153907$F69D7B12-122F-4540-976C-A795C2E29A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57438dd46ef1870e1954eb27709634509f9d9a46","datavalue":{"value":"material conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153907$15CE0946-5828-4BF5-B7AD-4CD6E0CBAB88","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":"Q1153907$9C2D86E7-290E-4A38-AE1F-8841533A1493","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfc70295227b3b38ceee23c94bca039d2d7a342","datavalue":{"value":{"entity-type":"item","numeric-id":4128795,"id":"Q4128795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153907$1B7232C4-C66F-430E-A7CC-7D24BBD9F6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd4a2a6c172bb846d51deaada36666d442dbe76","datavalue":{"value":{"entity-type":"item","numeric-id":5569432,"id":"Q5569432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153907$01BFA61C-D672-4E68-A76E-7BAF4E92C512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed44b220063383c7b3b1f8dccd77aa206fd05b1","datavalue":{"value":{"entity-type":"item","numeric-id":1135838,"id":"Q1135838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153907$C07B48E7-2C1C-4F51-A68F-330FE6B0CFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2065662cefcec52bb30eb03bec7db654b801834c","datavalue":{"value":{"entity-type":"item","numeric-id":4060947,"id":"Q4060947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153907$CB2C25F5-54CD-4A21-91AF-8DA7472F67A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1107e41d4c79e921d5bea60fa7faf9a1cc99b4","datavalue":{"value":{"entity-type":"item","numeric-id":1212483,"id":"Q1212483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153907$456B1B92-3E74-4F12-8FD3-43C1FB69638A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153907$AC69B7E6-1FA7-471A-861E-891567E576FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equationally definable implication algebras for orthomodular lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equationally_definable_implication_algebras_for_orthomodular_lattices"}}}}}