{"entities":{"Q3114199":{"pageid":3124915,"ns":120,"title":"Item:Q3114199","lastrevid":86254079,"modified":"2026-06-03T17:01:08Z","type":"item","id":"Q3114199","labels":{"en":{"language":"en","value":"Logic. A brief course. Translated from the Italian by Krzysztof R. Apt"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6002832"}},"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":"Q3114199$4240A64E-3FF9-45A3-BE9B-FC4D51274517","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb84a864158813f876e688f3828c9816af60cbad","datavalue":{"value":{"text":"Logic: A Brief Course","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3114199$BAF488B0-C2B3-434C-9814-445D45A7859D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6c183a1200c287d2cb22f09c6422f841956c3de","datavalue":{"value":"1235.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114199$6E47EEDB-8C3E-4060-9922-FDE80CF72314","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01ba07533727b67ed4d8f422928f8f7667d774d2","datavalue":{"value":"10.1007/978-88-470-2361-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114199$DC6FDD10-912E-4157-A55C-8028DBE3C1FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114199$B8BA1AFA-506C-4EFB-8653-40E210B54E35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"98dcc82742c37fbdbbc1a3302b3c02e70b929481","datavalue":{"value":{"entity-type":"item","numeric-id":2798537,"id":"Q2798537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3114199$438EF8F2-D4EE-40BB-A326-BADC34C0239A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21f8020e0beab53b3537e3e804b608a88c1bca34","datavalue":{"value":{"time":"+2012-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3114199$8FACD14F-ACA0-4872-8B24-4FCB9CB19EA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114199$35C2B5C2-2079-424E-B56C-22987EA97E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114199$5189E91D-E33C-4EAC-B9A0-55935322AC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114199$EA558368-8937-4098-9DAB-B802157E1AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114199$30AEE17C-7CF1-4385-9F78-68E07C8C1AC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f030133dde9169359b70139558655fe880328ce","datavalue":{"value":"6002832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114199$261ADC50-41A4-46EB-8FF4-F44F78D0BC45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$DC86C961-70E2-4122-BAFF-E0DD1EA8638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$33038BD4-3481-44A1-B581-2B8C83465F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$298E1480-7CB6-4AC1-9C13-324A221A91ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$DC81E913-302E-4DA4-8A0C-FFA32A564CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$635C79ED-1939-435A-BAFA-DA795E7F2813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$A423A87E-B620-4A7D-A39D-0F3F49C12F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$06887600-7E12-49F3-A684-9C7C42E3D883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$20E86E22-484E-471A-AE65-F74F7D7180EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$441C8AAC-3D0C-4713-8340-AA2A22F1C38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$D5EA303E-979A-41FD-99A3-B2A4872B07B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$22AA3446-D2DF-4DAB-B961-E99E9EA938B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3114199$1A81D30B-B77A-47CF-A57E-8FC22E0D266A","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":"Q3114199$11FA12D1-6C42-4FEB-B2DC-3695C5422D58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cad0994cd52162c6a854b93ae3d4e4f8f9d7546","datavalue":{"value":"https://doi.org/10.1007/978-88-470-2361-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3114199$B87A4BFF-D1B7-4804-AE43-AFE4E2117694","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23e9d9f5032f9f2e5dce101ff9b2fc00c42051b9","datavalue":{"value":"W656515253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3114199$1F8B51F8-402A-41A2-AB3F-F976FBE00FE5","rank":"normal"}],"P1643":[{"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":"b169be8c8b1cd9516586757f259ac83e8803368e","datavalue":{"value":{"amount":"+0.8441548347473145","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":"Q3114199$B3B77B50-5BD7-4145-8E64-EAD4CAD1C2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc7a07c6602f7951f67f5247347bead120d9ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4339021,"id":"Q4339021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a578002f482b31914f020584716dcf616d1111ce","datavalue":{"value":{"amount":"+0.844149112701416","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":"Q3114199$AA2875CE-B4D9-4943-928C-1FCDFBA2FAA5","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":"a578002f482b31914f020584716dcf616d1111ce","datavalue":{"value":{"amount":"+0.844149112701416","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":"Q3114199$F1255BDC-FA38-4694-A23C-87BBEEE5985D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2586adcb76f1fc852d4117084f617e3500e2ca7b","datavalue":{"value":{"entity-type":"item","numeric-id":5920368,"id":"Q5920368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2d3ad52d1a81e4fd588d4397966a24e9575f15","datavalue":{"value":{"amount":"+0.8430144190788269","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":"Q3114199$471F6084-7C57-49A7-983D-2DD15213BF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fa7a6dfc26f761bd7616cfbeb486b4083cd4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4306655,"id":"Q4306655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027cfbfb51b89ce9e66feae802ea7871d3c8b2c1","datavalue":{"value":{"amount":"+0.8368367552757263","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":"Q3114199$0B6B4D82-9E1F-485E-BDD8-88867238EE54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic. A brief course. Translated from the Italian by Krzysztof R. Apt","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic._A_brief_course._Translated_from_the_Italian_by_Krzysztof_R._Apt"}}}}}