{"entities":{"Q1094401":{"pageid":1105153,"ns":120,"title":"Item:Q1094401","lastrevid":69625437,"modified":"2026-04-13T08:17:32Z","type":"item","id":"Q1094401","labels":{"en":{"language":"en","value":"Classical harmony"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025398"}},"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":"Q1094401$BF94629C-5FE3-4711-BE34-CD6D7AB50996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5df261076d62186a1009cf210ba6b34f5653af03","datavalue":{"value":{"text":"Classical harmony","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094401$35071FE9-0BA0-4A84-B8B3-B4F4162BC11A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a9d97dae52369c445d042869fe5145f4b379a31","datavalue":{"value":"0631.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094401$CB76A569-A2ED-4C3D-A5F6-3032671FE51D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a439cea88eead044e15f4718a70f195ddf2d1bc5","datavalue":{"value":{"entity-type":"item","numeric-id":558726,"id":"Q558726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094401$0CD20115-A55B-4438-AA73-ED2C3DA99B68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094401$A29DEEB6-7C74-4B0B-9C01-C4BDC543F8B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1094401$7EBF875E-8932-416C-B359-E6FC4CA0840B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c494b9be87beece9164eead17e949e92ddb5fb09","datavalue":{"value":"The author considers a natural deduction formulation of the classical first-order predicate logic and introduces the corresponding inversion principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094401$3D2CDD4C-7FA1-4544-B222-280ECC2014A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094401$DF3DBBA6-B757-4C80-8EE3-B01326D932B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094401$EE02FAC2-915D-48E0-B8C8-A7E96D9A8DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094401$B1621E54-A239-45C2-898C-0C982DBC54B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83d768cfb4c41c9f400097bdf000c36a2f1e250a","datavalue":{"value":"4025398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094401$5F8C1B95-C508-463C-ABAA-2BC4DDB9A37A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094401$708382D9-DEEA-48D2-8AB4-1744CE839698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a707ab87d64ea4ed57450c2deb6a648b3cae8456","datavalue":{"value":"classical first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094401$A35EA8B1-140C-40A8-9D7E-5F18962EBA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7baf89f917d55cf40b0c6e30ca6ab78a82319466","datavalue":{"value":"inversion principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094401$E763246C-151D-4C89-A70D-563701597F11","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":"Q1094401$872F3368-EE43-4B21-96F7-3963D5D0EC1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdd32d691b975bd87ffce7427f212dc30e30decd","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636761","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094401$F7CAD7CF-A94C-4396-A367-28769D4BA97D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d78e3ad364b7927e7ba37f5ce4d8846af3bc9d44","datavalue":{"value":"W4247901902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094401$A62A49D1-E65F-43BB-ADD4-18BEE5A37646","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d52b31dcc8d21a239f49e7c1755927897ce946d8","datavalue":{"value":"10.1305/NDJFL/1093636761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094401$137FA82D-FE51-46AF-A25E-F7405CA1C26B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical harmony","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_harmony"}}}}}