{"entities":{"Q3363695":{"pageid":3374400,"ns":120,"title":"Item:Q3363695","lastrevid":80334182,"modified":"2026-05-06T15:57:36Z","type":"item","id":"Q3363695","labels":{"en":{"language":"en","value":"Introduction to formal logics. (Introduzione alla logica formale)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4216493"}},"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":"Q3363695$22040D14-0036-402B-BD2C-7AA86CE8AC30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b1daeb8348238deac85988038504638c3ec6352","datavalue":{"value":"0744.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363695$D5632D46-A3C3-4C2B-AD89-173CF9F10E29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"026ef29a9218f9ada22808efb6dc7544bd6e169c","datavalue":{"value":{"entity-type":"item","numeric-id":299406,"id":"Q299406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3363695$2F01BC4D-BFD6-4F02-8EDB-2D6A964A551E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q3363695$F0DA5449-9BC7-4A9E-A744-322DA89D3794","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363695$722C5FA9-BF64-4AB9-AEF2-824C14128177","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4685bacdeedb6641b621d8f9d7fc3bde5539177a","datavalue":{"value":"4216493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3363695$EC8EABB5-3AEE-4014-8F66-3B60EC19691D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$D7EB802F-EEDE-49CA-9260-6188BE9597DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$A7A5F3C6-0AD1-4EE9-AC6F-84EC49AE8B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$B7D83C33-2175-41D6-9390-6D5EF0532A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$90DE9335-5D84-46DF-A058-DE4BA6DA8783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$74EB70BD-BB00-45E4-A27D-73ECCE69D6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$293EBD8C-43C3-4472-98AE-D93C4821FF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$C1A51017-DAA5-4884-8B51-F77B60D8A9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$F0EF0E8D-8334-4FA4-871A-78A43260BCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e68881319323c47676463d5eec112c17467742d","datavalue":{"value":"monadic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$6AD94A08-DA80-4FE4-BEF4-45B766614088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c7bad2205b9166170385ae0e213b88b04bd38b","datavalue":{"value":"prositional resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$5638147B-C3D9-475E-AC6A-71D2EC4BEA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$01B7D008-74B6-4EC5-A0E0-9DD3B78AECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d4abc3fe0420936fdbbc589a50182a2331b0726","datavalue":{"value":"first-order resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$57C19CDC-8D39-449D-AE71-1D7673328B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$7AB5B0C0-7424-43EF-AF29-A29BEC4602B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$CBFFC17A-C5DB-43DE-936F-4C4E8DE70B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"256757f9f8fe561c4f643f9097196951f0ae108c","datavalue":{"value":"Herbrand-G\u00f6del equation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$1E44A4C1-C4A9-4EDB-9B9C-8AD7FAC189F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$101DA5DD-F1CE-48A8-8126-66992F43B49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5520a31296bc115ee2e8144ad88c4ab73a5c484e","datavalue":{"value":"r.e. sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$B1D01F16-B3ED-4A17-BC93-88F1642D03F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$58AD1C05-9F89-4583-8582-419289952FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$DAB2D01A-D88C-42EE-A67D-97F0FE9F7540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$537C684B-CA75-4DF0-A144-90CC65FBF612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$00CB87AB-1F3F-4CAE-94A1-F2AB046F7639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3363695$94E107FA-F428-4C3E-89AD-545366A2C490","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":"Q3363695$377A1A61-3754-4CA3-9BDA-109127AF184E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef716bdb6fc7196f2821f2935b72e422faa1c465","datavalue":{"value":{"entity-type":"item","numeric-id":4023926,"id":"Q4023926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19511f7d12f823f6994961db33c02e7d0b22c435","datavalue":{"value":{"amount":"+0.8292957544326782","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":"Q3363695$AC37162B-677E-487A-AA51-B5E79A029AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f39a56e03732b4946c9b2c2f09777d208c44b60","datavalue":{"value":{"entity-type":"item","numeric-id":4239317,"id":"Q4239317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a053b8e8ed7a3477ab0b858f0550e723e56ac92","datavalue":{"value":{"amount":"+0.8284968137741089","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":"Q3363695$C83E4166-FC6D-4A28-865F-0FE74ADFCEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ea03fbe1eef85ac4c9fce97678a06e2961bfd5","datavalue":{"value":{"entity-type":"item","numeric-id":4000090,"id":"Q4000090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6819b821acec9dc1f345156e09e2d41fc45c8404","datavalue":{"value":{"amount":"+0.8174228668212891","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":"Q3363695$562BD01E-EF10-4969-891B-D0AA803AB6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82901fd07db2b53f5a5065e9b8ad0027f840759","datavalue":{"value":{"entity-type":"item","numeric-id":5920562,"id":"Q5920562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e9d1e3ffb445bf5ed3016665f7afc85a17c7d6","datavalue":{"value":{"amount":"+0.81511390209198","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":"Q3363695$73C62F29-DC73-4658-974D-E5425718F42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba29f9903ef844680bdba51cf34bf6327f376f73","datavalue":{"value":{"entity-type":"item","numeric-id":3070800,"id":"Q3070800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a62a785d0eec7891448f120ff8fb275965d9f34","datavalue":{"value":{"amount":"+0.8089044094085693","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":"Q3363695$E3CC2C1D-CA1A-442F-8EAD-F65C8B2F7541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introduction to formal logics. (Introduzione alla logica formale)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Introduction_to_formal_logics._(Introduzione_alla_logica_formale)"}}}}}