{"entities":{"Q3480040":{"pageid":5509940,"ns":120,"title":"Item:Q3480040","lastrevid":49385371,"modified":"2026-01-07T01:56:14Z","type":"item","id":"Q3480040","labels":{"en":{"language":"en","value":"The deduction theorem for quantum logic\u2014some negative results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150152"}},"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":"Q3480040$FA1C9AB3-25B1-4948-AD14-C1C7C9195B2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27fd2a539b1ab5cb653470bb48cd5f53c9d63ca7","datavalue":{"value":{"text":"The deduction theorem for quantum logic\u2014some negative results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3480040$E8FBC094-7AC2-4FF2-AEEF-5BA75D8649A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e90cc9f9d6952805d07abaea0ba8dd7b323bffc","datavalue":{"value":"0702.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480040$0784B73B-EFF4-455B-B390-98965F9388F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a45c861ec85679edad30d6d8a0cdbee82e76dcad","datavalue":{"value":"10.2307/2274651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480040$231296B6-E8E3-40D8-86B3-7452317C8F06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fbe5ab4b453ba166f21b8f079a2dcc353930af","datavalue":{"value":{"entity-type":"item","numeric-id":1194109,"id":"Q1194109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480040$8FB4C150-F1A5-40C5-AA56-C80C52AC8285","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480040$57B9BBBA-CE20-4794-82AB-C9F16A000DE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3480040$973C9B5B-F9B3-4473-ABD1-84BA1A56FF8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480040$B6C77BD6-AB97-4DCB-886D-B347D272CAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480040$A1C8C964-F8E8-49E4-B488-248490EC1BEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e3bace4fc68c7dde3bd96fedd6572a7401dd1e7","datavalue":{"value":"4150152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480040$B4C0A12B-BBDB-43EA-AE54-26AEEA5C96C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480040$01C9623B-7E99-493F-8DFC-5E134E69C27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422b726cb3c9e6918fc7a706baece16c7416b63b","datavalue":{"value":"orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480040$63F685D7-474B-4975-9D5A-BCA2C5C752A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480040$EA3D3164-0774-4C9E-93FF-3D2F38F12905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7c3745877244ac47678da16219046619d216ad","datavalue":{"value":"ortholattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480040$B2EC3E3D-C438-4863-A2D4-51C15C5CB0E8","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":"Q3480040$82D5760F-A37C-457E-9B07-10A4E51ACEF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34736b003a0414f83dfc2ba8d85b27e188dc706c","datavalue":{"value":"https://doi.org/10.2307/2274651","type":"string"},"datatype":"url"},"type":"statement","id":"Q3480040$E3378D25-22FB-4CC6-911A-C96546441E6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce1519809dfde7e95c7e60af455b71203ac8c67b","datavalue":{"value":"W2152776731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480040$0D605F55-E9BE-4DE2-9BF9-7CE5B486AB2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480040$FC85FC75-FC41-4382-9FA7-407FAB78AFE4","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":"Q3480040$75BEC971-AB7A-4E9C-A308-BB6571227FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480040$96223E4E-27FB-4A8E-B78D-0C83506C92FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480040$8F773F0A-980E-4F7D-A9F0-088CB358278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0924fe5b703b43d0c6e622ab0c031e7b97409c1","datavalue":{"value":{"entity-type":"item","numeric-id":4149443,"id":"Q4149443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480040$DE836FB7-24D8-456A-96F9-162EC39CACC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43cb5d6f20a06400c9a2ecef5ee557226d13689","datavalue":{"value":{"entity-type":"item","numeric-id":1228608,"id":"Q1228608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480040$CD50C55B-B78C-4D5B-8B9E-4AA097283C58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95381bc8c7fb3e455800e0f1a425a361ef1b8041","datavalue":{"value":{"entity-type":"item","numeric-id":4424653,"id":"Q4424653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abe753894d2843cb92eb835dd74c48fd395465b","datavalue":{"value":{"amount":"+0.7714947462081909","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":"Q3480040$A7F146F2-62BD-4AEA-A719-C9D85B356614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea48de2cf085cdbea8275c2e5f0d92dba6ce4365","datavalue":{"value":{"entity-type":"item","numeric-id":3216636,"id":"Q3216636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f472578ba3a4e8e419fecbc36923bde239bbaa6f","datavalue":{"value":{"amount":"+0.7674279808998108","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":"Q3480040$154C3E21-16A5-49A5-A790-0B0ED23F13BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778286fcac396f79277fa1732acaeaf3c72b0341","datavalue":{"value":{"entity-type":"item","numeric-id":3224257,"id":"Q3224257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b72f7d8cfc8a991610ff9addd1753c8a8cf9621","datavalue":{"value":{"amount":"+0.7667502164840698","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":"Q3480040$9049174F-7EC8-4DF2-AD25-D9E811D602C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25c81c85c5dcac3b6b6fcaec7258afa0ccaebfe","datavalue":{"value":{"entity-type":"item","numeric-id":1096629,"id":"Q1096629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40788ebce84e0a7a66202949c6a00b2b71e7416b","datavalue":{"value":{"amount":"+0.7646134495735168","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":"Q3480040$8868A1D1-03FE-4C02-A839-69F89BBFBFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211aa3d112e3db67ee7e36b8454286f5c7a15263","datavalue":{"value":{"entity-type":"item","numeric-id":676184,"id":"Q676184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ffb8d666a623694f897307189d03e6bae64286","datavalue":{"value":{"amount":"+0.7636589407920837","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":"Q3480040$8BD7DBD5-A966-4A9E-87F3-69EB57A4167F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3480040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3480040"}}}}}