{"entities":{"Q5224496":{"pageid":7254065,"ns":120,"title":"Item:Q5224496","lastrevid":53485880,"modified":"2026-01-25T01:04:43Z","type":"item","id":"Q5224496","labels":{"en":{"language":"en","value":"Deriving natural deduction rules from truth tables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084734"}},"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":"Q5224496$627C0A28-B87D-4993-954F-FE0FBA769C47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"015a6ab11792ec031edd5233b9a1cd87131a48f8","datavalue":{"value":{"text":"Deriving Natural Deduction Rules from Truth Tables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224496$255915BF-93A1-415A-B982-1E0A798F8684","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58719e0070922c8bea8719fa0308b76039e1a20d","datavalue":{"value":"1485.03230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224496$8F2DBB4F-3C6F-4985-B9F5-06515EC73E6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f10ed0987be26a74f84d8aa2ba2290f7ed749ea","datavalue":{"value":"10.1007/978-3-662-54069-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224496$7EC021CF-A352-471D-AB8F-9468F21FBEBA","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":"Q5224496$16F72668-10B5-4AE1-868D-8B8807847FB1","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":"Q5224496$6697D7CB-B0EE-4AAA-B2D2-1CFD64126EB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$791CA6E8-F565-4932-A925-BBD894DE0511","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-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":"Q5224496$7F238D62-8D17-4AF9-BB1F-838DEA12D628","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224496$D94F47B9-5946-4C08-90D8-42085BBA0001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224496$05773EA0-6588-4F97-8CE1-C7A84B6BE866","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b07e30cff090e939351621a36de80333a882005","datavalue":{"value":"7084734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224496$DE3140EB-BFDA-4E25-A3CD-6CAE84B35D3E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$B59C64A6-9B09-4BCD-B644-856B88C22BFA","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":"Q5224496$1070C533-69D4-4526-94A4-27EAA5868B56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caf5416ee3accbb723310e457d9a4c985e0306c0","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54069-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224496$18C230DA-5097-4DD2-9962-5F261073710A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a55645947c5f5075d9286fcbf38390ccba27ef69","datavalue":{"value":"W2557556672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224496$BF485709-C644-48B0-B066-75760DB49256","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fce346af8ad8eed60230e11cee99a093b89a02b","datavalue":{"value":{"entity-type":"item","numeric-id":4449226,"id":"Q4449226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$BB78394D-1066-4D92-81D3-B710F2E0D3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$338FCAA9-7C5F-43AD-ABF3-8AF676685788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4758f6104bdfc380bb367a36f934bca663ff8924","datavalue":{"value":{"entity-type":"item","numeric-id":5864198,"id":"Q5864198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$51BDD2A6-73CC-4E7E-BB52-F127C46E2593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9da6db278a0b4e7baad52787cf34ee8dcacfbb","datavalue":{"value":{"entity-type":"item","numeric-id":452347,"id":"Q452347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$266BBC31-919F-4EFC-86C2-D8E93EE3FBEF","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":"Q5224496$908B8AB8-D754-4AE9-AC8A-859C15FE9C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078f263d4c85701f41b586e5bc6925bb81c2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5213611,"id":"Q5213611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$29D2F802-4333-4531-9C89-2528786F1A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$9C655F8E-A85D-43B4-810B-E4768F846B54","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":"Q5224496$26FBA90B-3F3C-43BD-95FE-F774238B4C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$CF93CF68-1926-46F8-B677-8B905612EBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$335E3FCE-EE84-4DDD-B497-3032DA0992A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$C0D78E07-DEA7-4EBD-95E4-250040DD1706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51768587580df242e6cb7b0adb85696edf98554d","datavalue":{"value":{"entity-type":"item","numeric-id":5906606,"id":"Q5906606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$C715B321-B170-4542-B6EF-1E698E6C0AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224496$A5B4A744-8920-4C0B-AA69-880699B71D3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1773753ba42f6dbd60654b5a8296bfe7c70841ff","datavalue":{"value":{"entity-type":"item","numeric-id":288247,"id":"Q288247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c5546d622ce68ac51a17104d3ad575faed05b4","datavalue":{"value":{"amount":"+0.8012959361076355","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":"Q5224496$49FE57A7-CC06-4D46-906B-D9EB33895178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be03357957a12b9200336f35abcd61305f50d04a","datavalue":{"value":{"entity-type":"item","numeric-id":5212037,"id":"Q5212037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927ee444263d177ceac0f6d837d193b951c99a47","datavalue":{"value":{"amount":"+0.7967835664749146","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":"Q5224496$B0FBC5AE-CB65-45C0-B073-FD2693C5B48F","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":"25e2b13f1a3e8dd9d7398912927dbefb2449c647","datavalue":{"value":{"amount":"+0.7612152695655823","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":"Q5224496$FD863013-B49B-422D-99BE-FD318B867C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c9839b1de3c89de6aeaaec12aac3ea32bb8db2","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17eec18508c8272a32e014d568356c7b6462ad69","datavalue":{"value":{"amount":"+0.7550230026245117","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":"Q5224496$3B867F2F-218C-445F-8B2B-E5DF494C6FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fc1315f14c94f52dcd1eb05d2064a06c5d946b","datavalue":{"value":{"entity-type":"item","numeric-id":1607223,"id":"Q1607223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17eec18508c8272a32e014d568356c7b6462ad69","datavalue":{"value":{"amount":"+0.7550230026245117","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":"Q5224496$A1BB3C31-2946-411C-B6A1-840AE24F1E70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224496"}}}}}