{"entities":{"Q1137576":{"pageid":1148325,"ns":120,"title":"Item:Q1137576","lastrevid":80087291,"modified":"2026-05-06T15:24:44Z","type":"item","id":"Q1137576","labels":{"en":{"language":"en","value":"Normal, Sasaki, and classical implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3668601"}},"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":"Q1137576$CD630B68-C267-41C9-8F46-939161721A23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf533e323f42425ff23bbcb7e2928e445705bd93","datavalue":{"value":{"text":"Normal, Sasaki, and classical implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1137576$3A2B6ECE-CA82-4191-9C89-E0CB4A81D8DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a97096045aa3689533f675690c50e75329184e36","datavalue":{"value":"0429.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137576$744ED90B-93EE-4DA4-A62B-C9801315D26C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51de84ad6c58fbf3094e1ecdc891a3df878ddb13","datavalue":{"value":"10.1007/BF00258429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137576$56BA2987-B469-4A89-870F-EC04CEBD50FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fec85a9bc07d62d2770439ff52c52c6bd11d5a28","datavalue":{"value":{"entity-type":"item","numeric-id":1135850,"id":"Q1135850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137576$CAAF26F3-FD49-439F-AAE3-A151466693BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137576$37C61DB9-C27E-4982-8248-10A26E19B11D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1137576$815C5CB6-6296-457C-8F8D-2734934AF411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137576$B3E6D11B-662D-48A9-9140-637B05F79C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137576$85E05142-CFE3-461B-9115-200A1E8FCECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de369399eb08f4217466b8fca2a7f70b06cda66d","datavalue":{"value":"3668601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137576$64A009F7-928B-423B-A03E-5B1EEE0D52F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84684593265689fa5624fdd315614ddeaf475133","datavalue":{"value":"generalized normal frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137576$8B908190-A315-4184-94C1-496D2710774C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3f24eae55f3353932642adf34eefb7cc78224e","datavalue":{"value":"semantics for orthomodular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137576$798FB0BC-9551-4AD0-9FBA-EAF85AC9CFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940fe83e3f3dcdb55cfd464852c6ac390768b59b","datavalue":{"value":"conditional functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137576$E6830F40-22BF-4613-BEF9-CCFC94561F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7de51d79d38366de8438d9af7b493309b17325f","datavalue":{"value":"normal implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137576$716B25B4-C713-4162-8BA7-819504088906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a75f5f01d1b6bc4e8cf63f24c921a4a7ee3f3d4","datavalue":{"value":"Sasaki conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137576$1D9F442D-B759-45F9-9A83-F8DF8DB6C876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b0bd87bb94e90efaf7356ff6fad9a5a4f28a46f","datavalue":{"value":"standard classical conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137576$3CDA3388-06CD-4725-9DE5-71AB049BECA0","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":"Q1137576$E64515EE-E5B7-4AB3-8270-003BFF63EDA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal, Sasaki, and classical implications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal,_Sasaki,_and_classical_implications"}}}}}