{"entities":{"Q3376542":{"pageid":3387246,"ns":120,"title":"Item:Q3376542","lastrevid":49806526,"modified":"2026-01-10T22:24:13Z","type":"item","id":"Q3376542","labels":{"en":{"language":"en","value":"Recursive complexity of the Carnap first order modal logic C"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014912"}},"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":"Q3376542$4E03D275-43A2-41F2-98B5-9FEF72E25A78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f05d7b911d10fa004302aa4b4c41da6d9b24764a","datavalue":{"value":{"text":"Recursive complexity of the Carnap first order modal logic C","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3376542$EB3CA62F-35A6-4579-90E1-7D6759BA204B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6f0c2088405b76c65607cc52aeeb675b5b2a222","datavalue":{"value":"1092.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$2EDCB054-08F6-42EA-BC4B-93CE7A0C7413","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a92956f3d5969caeb4388629cbd8b7b3db17345c","datavalue":{"value":{"entity-type":"item","numeric-id":269318,"id":"Q269318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3376542$152EE07B-8CA7-4A5F-B41A-3AE994F494E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2169e3303ef0408889bf22a70a8a1fe32abf9c46","datavalue":{"value":{"entity-type":"item","numeric-id":598310,"id":"Q598310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3376542$8D522F38-AC73-4F30-9EDE-F39B52E7F55A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3376542$11B67F2A-9991-4B8F-97F3-E4C3E47A874B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0fef8c9cf3d2f543921a74da5978434423c744d","datavalue":{"value":{"time":"+2006-03-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":"Q3376542$2F059680-79E4-418E-9115-23982AF6B25C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$5565560F-064A-4558-A72B-394920701041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$74F7F72C-5DF8-41D8-A6A0-E0E696F083AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$5DEBE154-EFF4-4100-AFF1-53C2C803C141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$799FCEEE-1C41-4D6F-8F56-C23966BE972B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$B8B052AF-170C-49BE-8EFC-7B53C1E935D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$C3EE9FAD-DE98-4BC1-B6CF-A18B3623A418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$C57E4C6F-54FF-4BE8-8D6E-54DAA3B6A9A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0ce0a39e7bc2129375b38fb70fb81b27fef9c9","datavalue":{"value":"5014912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$4E6CC464-3D73-4842-BA77-5599AC86753B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$FC0BA542-8D31-4F21-ADB6-77D386F1EA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5144ed8f86cbbcc6ea88d66b2237d1cd55be6a87","datavalue":{"value":"Carnap modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$E8985818-0542-412D-8325-483692B34800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58485e298e7117d26c7a97b6dbdc0d1a79bfe9d6","datavalue":{"value":"alethic modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$01D735BE-EC0B-4B42-A561-489DD69B4148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$1120598E-15D3-4F08-8161-3DD17B7B1A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3964dc2530ce7a51b440c428cb8d83373a842bf9","datavalue":{"value":"tautology problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$94028CE2-30A3-43B7-97B6-EDF3DCE352F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$18975EE7-38E9-4025-831C-5F904C3A89B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$2C7736E5-0CE5-43D6-B293-0CFFB48354D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7375a8be181c3039c91f3ce4d4f578384a46f0","datavalue":{"value":"Henkin quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$7CA42EE3-ABF9-4967-81FA-4035795C595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37ee52d8ec65db1cb5cd27d1b0e770158ebd6ff","datavalue":{"value":"recursive complexity of modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3376542$2418535F-69C2-49D7-B3A1-DC3C4F92EED4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0eb80eae4ccbf74e8bcdcb2edc2311289b05104d","datavalue":{"value":"Q61632496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$C22ECB0B-6544-4826-8BDB-726395889E6C","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":"Q3376542$E3DEDA09-0DF8-4AD3-80A3-3DFF93D03DB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4cd199fb7971d1d5350e432431a1d0522010ee8","datavalue":{"value":"https://doi.org/10.1002/malq.200410057","type":"string"},"datatype":"url"},"type":"statement","id":"Q3376542$252F5672-16A9-4F60-A7E2-E5A379C81E65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5773a15b3dba45b24245783d890bf8948a1c09e5","datavalue":{"value":"W2118251040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$3A6EFE90-65CD-4F03-BB7F-7E933C26662F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b248c9a41ac79c43d6cfda81503444339c93564","datavalue":{"value":{"entity-type":"item","numeric-id":5791196,"id":"Q5791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3376542$DDA09475-BCAD-4DF4-8042-FBBDB02C931B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2576a38324bb63f8035c03f0788e6a86b896a64","datavalue":{"value":"10.1002/MALQ.200410057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3376542$15A2D93F-569D-4ECC-8160-B2BEE5B84312","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203dfa0be8fd5f0aa849dae8c07d1a3d965f2b53","datavalue":{"value":{"entity-type":"item","numeric-id":3466613,"id":"Q3466613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24e5febfcb98f51ab01921a1704421f2a8e1252","datavalue":{"value":{"amount":"+0.7712200880050659","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":"Q3376542$43C7F6B5-C558-494C-A067-21F1B739CEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51e7133737068ae47c6fc963e57adf77291be2f","datavalue":{"value":{"entity-type":"item","numeric-id":4537426,"id":"Q4537426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4615d3499cf3d2c8591e75f3515fc3398670ed3e","datavalue":{"value":{"amount":"+0.7590959668159485","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":"Q3376542$A5580510-149B-46CB-B02D-977B9EB07539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda74bbd7cfe4bf60f4f2f3820d8999ced0bd491","datavalue":{"value":{"entity-type":"item","numeric-id":4369870,"id":"Q4369870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4615d3499cf3d2c8591e75f3515fc3398670ed3e","datavalue":{"value":{"amount":"+0.7590959668159485","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":"Q3376542$9D398889-3655-4A86-975E-62C1F960CE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d6ae66cfc9f56ed51536ba97230f9c6d344419","datavalue":{"value":{"entity-type":"item","numeric-id":2702742,"id":"Q2702742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58ffea37045c5d6d098dec7a4f1609d0d8a18ad","datavalue":{"value":{"amount":"+0.7508761882781982","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":"Q3376542$55C0D38E-C42F-45F4-AE78-B56FBBEF3C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb65a0e21b049a942620dbf368ad630e369c8aa","datavalue":{"value":{"entity-type":"item","numeric-id":694488,"id":"Q694488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb6247f0e7df0f7a641a1bb01ff96811f9dc98b","datavalue":{"value":{"amount":"+0.7277794480323792","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":"Q3376542$CB93F314-E36A-45F3-8BAF-B6E430090C62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3376542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3376542"}}}}}