{"entities":{"Q7232178":{"pageid":24494618,"ns":120,"title":"Item:Q7232178","lastrevid":84476159,"modified":"2026-05-18T15:33:41Z","type":"item","id":"Q7232178","labels":{"en":{"language":"en","value":"On model-theoretic strong normalization for truth-table natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8189422"}},"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":"Q7232178$09A49323-24E2-425E-B11E-85F16D090FF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95a6f7937ce6818a3902ab5c757afdd8f9c1848e","datavalue":{"value":{"text":"On model-theoretic strong normalization for truth-table natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7232178$A396FC57-1E88-4CEA-ABB8-495FE19C8714","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7801e3805b7c2f3cd99b324af474ec13c0551e47","datavalue":{"value":"10.4230/LIPICS.TYPES.2020.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232178$CEB9B5FC-1C46-46BA-83A4-6FADB178CD78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$EA5F2F92-C4B5-4F4D-84E7-99F565635BA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22b7db1ee47288e2a17e9877aecc2cd5315e6862","datavalue":{"value":{"time":"+2026-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7232178$09A0D256-76F0-498D-88EF-11BEE7501615","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232178$A61D725F-9DA2-46FB-8F16-2FE3BE06A8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232178$B5162CCB-981D-45EE-8C6D-454DA1E9A5AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8c05925a3bfa91e7449d0b35132d16200e404ec","datavalue":{"value":"8189422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232178$9D98DD12-E2A2-4721-B338-2309D42BC949","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$D1046930-FE2D-4974-852F-8123937DB3A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232178$F52F6360-9995-432E-AF85-4CCFC0E8B9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ee02f0ddc510a82630d2121cf8d03915cbee3f","datavalue":{"value":"permutative conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232178$E166B5A1-6E44-4621-8F16-F490A7FB6CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232178$FCB13030-7A07-44A7-A45D-AA22DD715E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232178$09ABE84A-1ABD-40EB-824C-A4F1D0AA9EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf8dbc866d2c8abba36c82fad5b5be72c391b3e","datavalue":{"value":"truth table","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232178$94EFF919-AC7F-4FB5-95FD-2F7F9FBF5421","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":"Q7232178$D16C7E25-5A77-4196-9A40-5FE35E6E1A77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$9CD2D3A6-3AD9-4513-B01F-E4F165B138CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$10BE1A6E-137B-4035-8928-55F688B29F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52bc2eece43ed61a28c0516dc0b9048a4a049547","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$642A2255-873D-4119-B29D-76EF801F1613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$6ADC0427-B4D5-4AA3-8C68-57F2E45F1D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70578058965d2cedd8dbe1f19fa5de0174951ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2753680,"id":"Q2753680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$E87FF1F2-392E-44F4-A258-91E5875B660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89014fdaf1fabd43e47c8e235e2631fcd212f550","datavalue":{"value":{"entity-type":"item","numeric-id":1840460,"id":"Q1840460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$54B5DA4F-F87F-427B-BDF4-AAF0FB0CCF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84b832ed7190208927e77de885748d75e5f7f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$F9D9A9CD-D6A0-4E66-AA59-E4CB91EB5F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$DAC5E245-C2E9-431D-A1FD-4E0B47B49FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$EA1496CD-471B-4DF6-A7B8-298ACBA26E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efed869f520a519778ae947641444a74adbe8bc","datavalue":{"value":{"entity-type":"item","numeric-id":5224496,"id":"Q5224496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$259CB5F9-154A-4813-B27D-800D01168AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc7b4333576da569a10e7a630760025717d7bc0","datavalue":{"value":{"entity-type":"item","numeric-id":6060674,"id":"Q6060674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$3CABE2C0-2511-4080-B9D8-937F5458714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5db215f5ac988b520014db20119a30d378d1616","datavalue":{"value":{"entity-type":"item","numeric-id":5212037,"id":"Q5212037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$255199D1-7EA7-4219-BE49-339A30FA5BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$038F2B1E-3D6D-4778-B495-8E0648644EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$7FAFA3F6-61BD-45E1-B868-598CE2635269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff5899cb10d4648638b85deb045e4421cf26463","datavalue":{"value":{"entity-type":"item","numeric-id":2723897,"id":"Q2723897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$F2200E2F-8C54-4FE2-94FB-C36FBA74E9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$E231DF8B-5B51-4410-AB5F-6DC41B1D781A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66cc4b433a7230e47e5f58d1ea220d0e92f4725","datavalue":{"value":{"entity-type":"item","numeric-id":5704015,"id":"Q5704015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$6428D2A6-DF40-4187-B111-FBA1F11FC47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$4BD72E1C-E693-4377-8731-AB1E18F81C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd017d35f44f14a51ba00ad5bb8a601ffea5446","datavalue":{"value":{"entity-type":"item","numeric-id":1772778,"id":"Q1772778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$B48FC30B-AEBE-4BFE-8103-73B9F07D4913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$89EC920F-F970-438E-B8B3-AB31B525BCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361356c3f2dc09d85467b4918ae3f277f0e46be0","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$41A8DC14-69F7-427D-87B3-EF2659559E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$1A4FCDC5-CE17-4828-996F-D5FC777C203F","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":"Q7232178$B44F6C8E-0499-4BF9-B152-DE0180856A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$F594B644-C33E-40DF-AFCF-3A86AEF9FE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b0560d4b01bb8a01a5fc8d2de5fd55dbd8411","datavalue":{"value":{"entity-type":"item","numeric-id":3452249,"id":"Q3452249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232178$C8BE8076-0E01-4487-A9F7-30789B01151F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On model-theoretic strong normalization for truth-table natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_model-theoretic_strong_normalization_for_truth-table_natural_deduction"}}}}}