{"entities":{"Q5212037":{"pageid":7241608,"ns":120,"title":"Item:Q5212037","lastrevid":53645378,"modified":"2026-01-25T11:59:08Z","type":"item","id":"Q5212037","labels":{"en":{"language":"en","value":"Strong normalization for truth table natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157394"}},"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":"Q5212037$EF707F5B-11F3-4F2A-B6E8-956925BFC30D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2156838292cf2fdf1e44654f0f690a7a2dc4f09e","datavalue":{"value":{"text":"Strong Normalization for Truth Table Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212037$CEC31A43-35B2-4B26-804B-080A5C86CD80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6bba9bf2d7dc214f3093b0759a402a26c3e4c4e","datavalue":{"value":"1454.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212037$B1A2CE92-D1C6-4F0A-BBA4-34D9E2DBC015","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43cf00297b03767546c9fc85b0ff2a1e3733b922","datavalue":{"value":"10.3233/FI-2019-1858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212037$50682791-67CC-4F5D-9B45-6E7BD3177B62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212037$97929DD7-F748-406C-A7A2-30DC0C63F10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93cfdbf92300fb1842f9d6c37605aa42247d1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1982007,"id":"Q1982007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212037$792FB274-9C4A-4D97-B8EC-B50289BC445E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1802a0d916a3be31651de886968c905110c9179","datavalue":{"value":{"entity-type":"item","numeric-id":5212036,"id":"Q5212036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212037$3D53E7BE-1341-494B-B7E6-C5D7A03BEABA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212037$AE2C078B-7015-400C-9260-906B1DDA57AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212037$D1D1F14C-B228-4E73-82A9-3C9A2016CD66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212037$A55D79B2-6624-4B30-B400-72961FBBE013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212037$9E1B2C86-75F8-4B60-B661-8ED8685E4813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6db132029d011b4fea248e116a0a71cfc659cee","datavalue":{"value":"7157394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212037$0B24A4C0-FB51-4ACC-BAD7-7B2F5344E60C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212037$DF5EA552-D00B-4527-A781-E1152AE7C4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c423e539a455785afc553926b0d64ac7c46cbcd","datavalue":{"value":"truth tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212037$DB35DEB1-B8E4-4CAB-83C1-C3BA6270229A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212037$D58BA0AD-F892-4E42-AC72-2B7369BDBB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56d8bc6e89b7053f6e6d8db317c8c51cd967ccde","datavalue":{"value":"detour conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212037$602F823E-FB9B-4C77-BE83-1E27F998D88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e345c5636aa610651d7d9e125a2891afb11ad6a","datavalue":{"value":"permutation conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212037$990D97C3-E0D9-435A-8CFE-564EBF26DEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212037$EFAB059D-AAE1-43A4-8BF3-D46437D59713","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":"Q5212037$3E7CA687-48CE-4A22-89C3-B9CA56C71892","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"361044aeda2ea4a7ddea375508460c54641bdad5","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1858","type":"string"},"datatype":"url"},"type":"statement","id":"Q5212037$2D5720D7-282A-408C-87C1-1617F2165EA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0534f762b290da5d645915e6461a2f81672e4c44","datavalue":{"value":"W2981667736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212037$5C1C316F-5036-4B6D-B913-27986C0D1D32","rank":"normal"}],"P1643":[{"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":"9220abaebddf3f1c541eb8bc16d376e6a032696b","datavalue":{"value":{"amount":"+0.8298559188842773","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":"Q5212037$3A5DAD66-3325-4E02-AAFD-545C08B7822E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"979744c10a372b30615f5d4ae26329d711b616f3","datavalue":{"value":{"entity-type":"item","numeric-id":636353,"id":"Q636353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3617bcb8a632b7e27a956c2235f6a6bd574054b5","datavalue":{"value":{"amount":"+0.8145740032196045","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":"Q5212037$2BFB2A63-5D5A-45A1-B93C-C11E133DDB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00de8bd7c4dfcc5a8609632826389524b0a0e2be","datavalue":{"value":{"entity-type":"item","numeric-id":2566069,"id":"Q2566069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9837853a0894b495a4082964695db7d3b67b6f29","datavalue":{"value":{"amount":"+0.799476683139801","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":"Q5212037$BF6CF19D-E3A6-4A10-9B7B-3BA2D9A0E508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de03e002f2927c14678bfa68e365d8ee714fd54","datavalue":{"value":{"entity-type":"item","numeric-id":5024505,"id":"Q5024505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eada9e6876395c1d9def63221ba31faca5cf87e7","datavalue":{"value":{"amount":"+0.7969384789466858","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":"Q5212037$84B7CF90-4C67-4C9A-BCDB-A66176B0F02B","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":"fbbe33a5328d9b2bc95ef44a25edbe4b2bc9ec21","datavalue":{"value":{"amount":"+0.7834270000457764","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":"Q5212037$A29F87E9-2C16-43DF-BDDB-E8252F223E4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212037"}}}}}