{"entities":{"Q5536259":{"pageid":7565819,"ns":120,"title":"Item:Q5536259","lastrevid":92615423,"modified":"2026-06-05T02:10:47Z","type":"item","id":"Q5536259","labels":{"en":{"language":"en","value":"On axiom systems of propositional calculi, XXIII"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3251405"}},"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":"Q5536259$EF8CB7CD-62B9-46FE-9F3A-2E73A89F5F88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a7c8d59f6882a235ca784b2208120a028d41cb3","datavalue":{"value":{"text":"On axiom systems of propositional calculi, XXIII","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5536259$AFD193D3-5FF9-4D91-AA8B-8F6ED49A2914","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d076608db2f4c79bd3eea728037a3c9e1495f788","datavalue":{"value":"0156.24907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536259$A0F2D6FC-98DA-4CB0-8935-150141AE7A09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f390dd71b05b66b4144d0b935926206b46f62030","datavalue":{"value":{"entity-type":"item","numeric-id":3213207,"id":"Q3213207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536259$99C825A1-A8AF-4C4A-A31A-8766F2E0093C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b29152725e7ee6f2d3e5de688bdeec7acb631ef","datavalue":{"value":{"time":"+1966-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":"Q5536259$4C0D421E-505C-4FB1-921A-91F535BD82EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67a5dee12f6f9d7704da4d63ec5499de422dbff7","datavalue":{"value":"3251405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536259$6E119989-12E7-4E4A-9FAC-176B5C6B4394","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5536259$906AF9F8-D908-40BD-808C-02F7CFEBA4E9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ee1be4216dba24f95f058bdcb8f677bcced34fe6","datavalue":{"value":"Q114576052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536259$412C63EA-D575-4A5E-84C6-0A6A34DD781A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcaec2cf7016afb953f268c3cecac9633f7d07f0","datavalue":{"value":{"entity-type":"item","numeric-id":972549,"id":"Q972549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536259$0CF62300-A180-4DA7-A2DF-5443C0868A2C","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":"Q5536259$C48DA742-F3E1-47A3-B439-59D394141918","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89f5a56f21ad3e3030c401ac3bec42bfb93f109d","datavalue":{"value":"https://doi.org/10.3792/pja/1195521841","type":"string"},"datatype":"url"},"type":"statement","id":"Q5536259$9C371B39-93CD-4A04-BCBD-B4AAEAFC3FCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a42c840f506dcc78ddab7c24dc9e079fc8d0d190","datavalue":{"value":"W1985275706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536259$B47D9B24-F181-4594-BF10-9980F8E88002","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57f981c725903cbee1db7e9b2540a8da48b6ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5536244,"id":"Q5536244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536259$7B610619-549E-45C4-9F00-5EB75C85FB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f500a66f167d41b3f0aa4d363e0859db80a42a","datavalue":{"value":{"entity-type":"item","numeric-id":5518338,"id":"Q5518338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536259$28936A62-32ED-4C69-B86C-CA5C55EB2545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf5e94ffb624be310e8fd808c3cacfc298cce01","datavalue":{"value":{"entity-type":"item","numeric-id":5822052,"id":"Q5822052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536259$FD81DFE3-735B-4408-9654-BF29DA47AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551422936a59120f181f13e988af6ec98e343b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5737076,"id":"Q5737076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536259$BD824D33-62CD-47A6-99B3-80478F89710B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c0ecfe100b575247134e4e4634ffb0f087f522","datavalue":{"value":{"entity-type":"item","numeric-id":5536243,"id":"Q5536243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5536259$DA43B39F-3028-48D1-BBF1-76226352CBC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab841f6705b26e4e4258955a1142796c904be49d","datavalue":{"value":"10.3792/PJA/1195521841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5536259$F1002C76-F1B0-4DDF-9C6C-386338A6FDFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4052da8e0a03fe1ec95485a7ac8c8e71d0394f","datavalue":{"value":{"entity-type":"item","numeric-id":3739110,"id":"Q3739110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2ad178e016a8094303340137198be50c35a42d","datavalue":{"value":{"amount":"+0.7653325200080872","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":"Q5536259$44183A16-6C0D-4428-BFCA-096B2A6C76B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8386f61c46cc7da937082acd54e126fc8e1802","datavalue":{"value":{"entity-type":"item","numeric-id":4011579,"id":"Q4011579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c674c956030945a0b0e42fdc0433cb42f03d3f2e","datavalue":{"value":{"amount":"+0.7289509773254395","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":"Q5536259$B4BB676B-DA04-4573-8147-805EBB12231E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bad3719d8931f4399594173d8558668f95bd8e","datavalue":{"value":{"entity-type":"item","numeric-id":5287242,"id":"Q5287242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1679272fdb35cc8a26895a381e932b86510c8bc","datavalue":{"value":{"amount":"+0.7280232310295105","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":"Q5536259$B3DA1FB4-F8D0-41A1-8399-DE087DB6D6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710819077a8cadbc0f87979f430633e99e7bb7bd","datavalue":{"value":{"entity-type":"item","numeric-id":2772908,"id":"Q2772908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76b0f16ae61dbde2950b842d263dbeb63910b0d","datavalue":{"value":{"amount":"+0.7279413342475891","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":"Q5536259$D525F4C8-83FC-4629-A945-2EC32C34A64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d5c3a45f0619e98fc80e939f5abeb7628cc70d","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76b0f16ae61dbde2950b842d263dbeb63910b0d","datavalue":{"value":{"amount":"+0.7279413342475891","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":"Q5536259$B0850C8A-D0CE-4565-AAFF-A4DA9CFBB49F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On axiom systems of propositional calculi, XXIII","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_axiom_systems_of_propositional_calculi,_XXIII"}}}}}