{"entities":{"Q6909867":{"pageid":20961091,"ns":120,"title":"Item:Q6909867","lastrevid":75613609,"modified":"2026-04-20T09:13:24Z","type":"item","id":"Q6909867","labels":{"en":{"language":"en","value":"Solving quantified modal logic problems by translation to classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111850"}},"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":"Q6909867$DEA25305-0F8F-46B7-B07F-1EDA77F04040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb73011e874eea8305dfd01e4f327ef2e6504c29","datavalue":{"value":{"text":"Solving quantified modal logic problems by translation to classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909867$C0EB19AD-61F4-4EBC-8EFA-CAEB5C7AD133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"064b823eca9b1b762015f8ca62d54bbe33d0d18b","datavalue":{"value":"10.1093/LOGCOM/EXAF006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909867$E602C22A-D83F-4CE6-A6E2-344EA6391166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$A8B98D89-616D-4C06-BF53-30D2D419130F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$D8FA4E53-42EC-47D8-B0C3-771CC638AE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$051BF043-7B77-4281-AEE1-CED5EB13FAA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$C6F03E07-7419-405F-A69B-62ADC6493803","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909867$72B9D113-E115-44A8-B66C-3A98F414973E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909867$D953ECAE-AE8E-4059-8B7F-70D1C489CFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909867$C6F4E464-F837-4D87-B018-397BB33683D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"034003110a90dd64a67548c3768e0ab4eb16f551","datavalue":{"value":"8111850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909867$052AC3C4-FDD1-4A66-B7FF-F19C90C217C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$18B156C0-BBD5-43B0-B73E-8FF088CB6530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54182b6d9cd175b0d8818847edc40ca608bdd3d3","datavalue":{"value":"quantified modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$3D5E0ABB-8221-44D4-BFD0-4B3ADB8ACE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$223236D7-401B-4C47-947E-0214AA04F60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$548CDDE4-2833-4E91-8C53-359F14166EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$C7767197-DE4A-4FAF-B05C-797C846D612B","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":"Q6909867$FD677831-6366-49ED-ABF3-1AE08B2A594D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving quantified modal logic problems by translation to classical logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_quantified_modal_logic_problems_by_translation_to_classical_logics"}}}}}