{"entities":{"Q1902976":{"pageid":1913718,"ns":120,"title":"Item:Q1902976","lastrevid":47373817,"modified":"2026-01-01T13:31:47Z","type":"item","id":"Q1902976","labels":{"en":{"language":"en","value":"A strong normalization result for classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 823458"}},"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":"Q1902976$51AD418A-49B3-4039-89E4-5D6059D256DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f678bdb273ba22a39646a2d59190531ab11d7ce0","datavalue":{"value":{"text":"A strong normalization result for classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1902976$DFD37BE3-0A1A-4710-A72F-8B50F1248D17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"742db530ae356b83b49ce283da4f67817e2f5d0f","datavalue":{"value":"0832.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902976$5646D0C9-EC9B-462A-96EB-49262EA0843F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc8d03aa9359d02b6e0a3b8492730c9ec000a708","datavalue":{"value":"10.1016/0168-0072(95)00004-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902976$4B2E2E58-5634-495F-A69E-1701F32394E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$EFA8EA1C-E8AD-4D12-92E0-5FE955BF5028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$29093FC7-A158-4576-8107-EFDF14082135","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$510E260D-7F95-4CD6-9DF3-AF259FB66AAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c56b32a11bb039652dc2aab78babd20f4bd9104","datavalue":{"value":{"time":"+1996-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1902976$2E3E6939-8E1C-48F9-8518-42FC74EC9071","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902976$9AEBFC87-0108-4A8A-A08D-5F1FF99A402A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91ebce746a3752645e79b12fc82aded32692e091","datavalue":{"value":"823458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902976$5CADCE5C-F32C-4C3D-B748-1A2EAC5FB33A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81734a04620307e78b8ea729dbd207250066398","datavalue":{"value":"strong normalization proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902976$DA4866BF-57CC-4D88-B5B7-09CA19BB3AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fa6badd7edb3c0a3f34209a06dc32276b43b6a","datavalue":{"value":"reduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902976$0FFF5906-EE94-4004-B6FA-3C5BBF613A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902976$EFA03E13-9AC4-493D-8376-792E3AC2910B","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":"Q1902976$D14070B7-D6B7-4E13-AC9A-D821A31FD9F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fdea4f58240b583e8d37e1858a840704f4b8960","datavalue":{"value":{"entity-type":"item","numeric-id":4281464,"id":"Q4281464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$42F4B2F2-73F8-4561-BD78-73C16B801F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$4A36472C-16A1-486F-B5D7-C58A52C42A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$E854020C-BDE9-4DB2-B643-6F1AE9FF4A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766d123780f1e3d44c279eee3073682f29150e27","datavalue":{"value":{"entity-type":"item","numeric-id":3260570,"id":"Q3260570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$A5909512-F31C-46E4-BFBD-F837A53230CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$EE2420E0-630D-4A8E-A3BD-E4664EBC756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$15B90E60-818E-43CE-9E74-E8DBBF229F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902976$AC5FD126-C1C0-461A-84C3-D2D20B93DBAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ecf3b9dfd6a0e5496fe9d491fee29829fdc2de","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87eb705590d00536f01aac00181fa72cc2cd6bb7","datavalue":{"value":{"amount":"+0.8432207703590393","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":"Q1902976$016B78DE-CFB8-4E94-910D-BB4F2FFB1930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fdcddadbf3da5f3e6fd0b5fb36d0f4b317eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":818927,"id":"Q818927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5183c5563c745b0482d2a2114ccffb4a7a9769d5","datavalue":{"value":{"amount":"+0.8337458968162537","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":"Q1902976$363492A1-02D3-46DA-94A7-7A2E56005A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cb7f50ff15314687d4e9e68913f9827f827e","datavalue":{"value":{"entity-type":"item","numeric-id":2482841,"id":"Q2482841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea22499f5691d50a7df019c9637539a9def88ccb","datavalue":{"value":{"amount":"+0.8319276571273804","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":"Q1902976$28C2ABBE-1D2A-48C3-8971-F0D2CDC25EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc53e3d08fd24c4593c7add0ca77cced95343d2","datavalue":{"value":{"entity-type":"item","numeric-id":4263882,"id":"Q4263882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c65c4d0260ed48e498009d952dcd425d2323ee","datavalue":{"value":{"amount":"+0.8297650814056396","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":"Q1902976$7EAC1904-AB74-46C2-8AD7-159E15E9671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1910838935ba6d755c64d5b2c815322f02bf14d0","datavalue":{"value":{"entity-type":"item","numeric-id":2708321,"id":"Q2708321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f6ac985237c70d3d162c0f5336dedf60d1dc15","datavalue":{"value":{"amount":"+0.8252987861633301","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":"Q1902976$EF9C8EBD-ACF8-4B47-89E6-1B047E5BE33F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1902976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1902976"}}}}}