{"entities":{"Q1096629":{"pageid":1107381,"ns":120,"title":"Item:Q1096629","lastrevid":69633006,"modified":"2026-04-13T08:20:36Z","type":"item","id":"Q1096629","labels":{"en":{"language":"en","value":"Quantum logics and Lindenbaum property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4031687"}},"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":"Q1096629$04DA1E1F-8297-4D0B-B374-646DFB046872","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11103dd460c08205c6feb0e43975d95cbb399ffe","datavalue":{"value":{"text":"Quantum logics and Lindenbaum property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1096629$923A14E0-5D9A-471F-AA98-ED80F7781C7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c104aecd7872be60315777d8a3f89490a0104891","datavalue":{"value":"0634.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096629$2EDA20B3-2034-493A-96EF-8C9EAD5BCC13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"982ca06f9361f663757e576d562e8944f8c22977","datavalue":{"value":"10.1007/BF00396903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096629$490D6C1A-1CF3-466C-9033-BB441D37F467","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42db704747debd04a097adb1c20e61b3890e7d09","datavalue":{"value":{"entity-type":"item","numeric-id":429938,"id":"Q429938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$BC123617-3063-4E33-9103-27E078920BC5","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":"Q1096629$EB41E715-9929-40A6-BF04-433542488C08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1096629$390F31D9-15E6-4E80-BA54-4BF00442BC7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e0d0e21fac8d4bf171bf5042fa582fd8c28cc58","datavalue":{"value":"It is shown that both orthomodular quantum logics (orthomodular lattices) and partial classical logics (based on partial Boolean algebras) cannot satisfy the Lindenbaum property, which asserts that any semantically non- contradictory set of formulas admits a semantically non-contradictory extension.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096629$985E72F4-613A-4E0C-ABA3-C8052ABC114C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096629$2F3F2C8E-4467-4D6F-A093-59B63CD28544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096629$CE4B7F37-85EF-4A03-B5CD-C830E788C71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"22de035c0f3d1627b7b38165e1cdba15493724ba","datavalue":{"value":"81P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096629$8EB54C84-EC6D-4956-9D8A-4A6594C575A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43859658f0140448ee30cb983bfab882dd14be7d","datavalue":{"value":"4031687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096629$5E9A2282-E9B9-4E36-97AD-2CED3745C741","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15246f187cd2ec4d340b50444bcb43530d9ffbaf","datavalue":{"value":"partial quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096629$937DD70D-FC4A-4287-BD86-7362990DF0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378dfa3673525d4edbde9707ce1f68cf9eb4956a","datavalue":{"value":"orthomodular quantum logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096629$7040BDD5-366C-418F-8B89-759BD70B3C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422b726cb3c9e6918fc7a706baece16c7416b63b","datavalue":{"value":"orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096629$C21A3175-D73E-47C9-8C0E-F7A0446B1C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12240d7c2d2444756c149fc9326e18b12f4c61e8","datavalue":{"value":"partial classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096629$606F64A9-F284-4466-995E-181F860106A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec3985dbe2798a4d50a60d7d89fd87c965f77a5","datavalue":{"value":"partial Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096629$ADFD5DF8-B618-4D8E-9160-580EBEBD71A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e85f6ec2d26baf4175b9f668a0803f93d07e740","datavalue":{"value":"Lindenbaum property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096629$69E21ACB-7E9A-4282-A200-4E7BEEB57EA4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22927c3bf27a8e7899b9f81e34ce760065ebdbf6","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$8645C347-674F-4A3F-8033-474B49455A1A","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":"Q1096629$BD9DECB6-CB4E-422A-B6E7-29BB07814ACB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d50a19de8fe16585ad82966c24b1bd469a760","datavalue":{"value":{"entity-type":"item","numeric-id":3346311,"id":"Q3346311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$6CB150AE-4C00-47F8-9328-D9E1D02BF766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466773ea1e493d98f40790dd60e7f1a05f8191fe","datavalue":{"value":{"entity-type":"item","numeric-id":1227737,"id":"Q1227737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$BD644467-3210-4FD9-BC6F-2E5B4B88F814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbf324c55c943b1df24f01b418148580cc221d4","datavalue":{"value":{"entity-type":"item","numeric-id":1227738,"id":"Q1227738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$43789D3C-D6DE-44C3-99DA-A70D4FCAE4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e59e63a31e918a6b6e2ec9dfbd6b25372269341","datavalue":{"value":{"entity-type":"item","numeric-id":4023197,"id":"Q4023197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$F95BA19B-555F-47C6-98F6-2EC59C2EC81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ccf21c4ef0d868455113d3158584d449c577c23","datavalue":{"value":{"entity-type":"item","numeric-id":3245484,"id":"Q3245484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$100DEB34-A9E6-48DD-9FD2-8CC4F1A1EBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$AD5C14B8-E9B0-4F51-B800-F59D40CFB741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50379aba91f4ea2c95db3005afcc80b97bf651e","datavalue":{"value":{"entity-type":"item","numeric-id":5557878,"id":"Q5557878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$4CF34A22-9B8F-4E51-ABF0-53DB3D921B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fa5722375b540c0c1c5202bf5d99dc9ad566f","datavalue":{"value":{"entity-type":"item","numeric-id":5534907,"id":"Q5534907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$9167DD07-43D9-4B31-9A61-2A58B2918C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3473edfe0e31b429c0405615afe024ba69140e33","datavalue":{"value":{"entity-type":"item","numeric-id":5536167,"id":"Q5536167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$C9AABEFF-9C1C-4B33-8193-1AC53771F4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6827ad7b7b23fac53dffe39b4ac1d0df8ff7edc1","datavalue":{"value":{"entity-type":"item","numeric-id":3244137,"id":"Q3244137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096629$185DA5BD-D7F5-4FA8-B00A-00A0AA1E02B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2f35ac477b2c82823d02a02388437648e68f5a4","datavalue":{"value":"https://doi.org/10.1007/bf00396903","type":"string"},"datatype":"url"},"type":"statement","id":"Q1096629$3C472C75-7C7E-4293-8D2D-AFF913457A88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33cf9146617a203e1ebc3d4040b8da4cf76a8f69","datavalue":{"value":"W1985848540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096629$8936A8AB-F57B-4CEF-A447-0C563D205A5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5333c7160d9618911a5afcb7c48d3e6104fc5c","datavalue":{"value":{"entity-type":"item","numeric-id":541832,"id":"Q541832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c79d5b80faa95df6f3d6ebb522f942491fc7da","datavalue":{"value":{"amount":"+0.7854379415512085","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":"Q1096629$58DE528B-3640-4980-831A-1B3EA9054EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fdd7da7b1bba568618a7e00f37fa35e091095a","datavalue":{"value":{"entity-type":"item","numeric-id":3722500,"id":"Q3722500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b331f1abc21801145eac2bc5e9e242fc3c6255c8","datavalue":{"value":{"amount":"+0.7798777222633362","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":"Q1096629$B8ADC0BC-CE1B-416F-B66A-401A1967BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb10c7f65479bc83ba7408912f784fbf9debfb9","datavalue":{"value":{"entity-type":"item","numeric-id":4549874,"id":"Q4549874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a87f17d975bc22a7a7c9c49f7fe7b956eaddd7e","datavalue":{"value":{"amount":"+0.7798497676849365","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":"Q1096629$E50BBA5A-A417-4530-A5B8-B21DA4BA4865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac346cacd15292e7e9196a45e5fc032897e7642","datavalue":{"value":{"entity-type":"item","numeric-id":1701729,"id":"Q1701729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d043b370dd6b323bfb5e4a09c46f48a2bca5fe","datavalue":{"value":{"amount":"+0.7787119746208191","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":"Q1096629$7CE89342-6503-40CF-8B90-FE305A1E9119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f011f38e4549ed4516317723aa04ed8d40f968","datavalue":{"value":{"entity-type":"item","numeric-id":1075324,"id":"Q1075324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d777242d5aac6542f39b42dd748e7f8c8be03aa5","datavalue":{"value":{"amount":"+0.7771196961402893","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":"Q1096629$53C8A56C-1921-4377-B6BB-A0CE29C1AC91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum logics and Lindenbaum property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantum_logics_and_Lindenbaum_property"}}}}}