{"entities":{"Q6652033":{"pageid":14263190,"ns":120,"title":"Item:Q6652033","lastrevid":42406618,"modified":"2025-06-15T07:53:55Z","type":"item","id":"Q6652033","labels":{"en":{"language":"en","value":"Saturation properties for compositional truth with propositional correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7957186"}},"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":"Q6652033$C86D046A-638B-4F76-BE47-E8CC8D073E39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52dcb30e273c14a27d7cadde79d6fd11fab0b276","datavalue":{"value":{"text":"Saturation properties for compositional truth with propositional correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6652033$E854E497-0CAD-43EB-9F99-1B859F9722AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a286f1ce532d5cd504b5ebb0cb74ac792370e35","datavalue":{"value":{"entity-type":"item","numeric-id":2153825,"id":"Q2153825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$1A1E6E62-A47F-4E9E-B3CC-7CE63247FF1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$C7DCDC95-6724-4DBF-868B-67132BEDADC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ac4c474c44019d2bbbb13c1ab97764cd6367574","datavalue":{"value":{"time":"+2024-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6652033$D1EDDFBC-3CEF-4DA3-BA07-7921AD338A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652033$2B87C81E-AA82-47B8-B7A3-6F4A993591DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652033$B1BC3538-9D9E-4477-BC3B-E9AB93976ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652033$67F5E012-29B3-49EF-BE4C-9F17F465B103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33f385b1d210bd01cec38c387318069604e5ba7b","datavalue":{"value":"03A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652033$23F7404E-6BDB-40F6-A389-88D4CFD4F275","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"436f2ac8a627df22127d5aea308f84cef1b75ea1","datavalue":{"value":"7957186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652033$74E9791C-9F30-4375-94A1-54D0BBAE915F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4b60ac7827244cf45de2d98d718891e75ee868","datavalue":{"value":"axiomatic truth theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652033$87C6C972-60BC-406F-87E9-36BCC0DD4970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652033$B78AA819-9A79-4148-9FBD-3A4C9342A9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652033$5BAB3F9C-BD0B-4A7F-AA0A-140C73736B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652033$FCAC4D7B-FF71-4A3B-B672-82FEB13338A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971521db6c49da4b2e29d1747f7f70ccb4a74e54","datavalue":{"value":"propositional soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652033$0EBA86A9-F97C-41DC-BD0C-DFBB745053B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce1ca4f4cd7d11eef1a0c373977e9ce4f2ab78f1","datavalue":{"value":"Tarski boundary","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652033$313979CA-22ED-427E-AFFA-93F893333EDC","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":"Q6652033$2291794D-339A-4807-AEBE-11C1A4239F3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80af18a3782140809471dc5dbe8a13a584107e1","datavalue":{"value":{"entity-type":"item","numeric-id":975779,"id":"Q975779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$E72EC59C-005F-4D5A-A79A-C16246C6B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278a632d09f9faae9f5de4b7d3d06f1c6a5d58a","datavalue":{"value":{"entity-type":"item","numeric-id":6038484,"id":"Q6038484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$07FF4E0E-F4CB-4809-ACD4-251D1CA9E418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b5aa9e5fa9efac2a2da0ee3900a442743eba3a","datavalue":{"value":{"entity-type":"item","numeric-id":6140183,"id":"Q6140183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$3D139882-4B53-4C21-A8A4-5A762EF09074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a734f0e78a9068a093699bca0af4445b60fc7f5","datavalue":{"value":{"entity-type":"item","numeric-id":2312097,"id":"Q2312097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$95E6CA6A-DB32-4F65-974D-CF4B03D43EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f055188598263c664398a2e017519ca45cca18","datavalue":{"value":{"entity-type":"item","numeric-id":2404857,"id":"Q2404857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$1A7BE58B-75FC-4B7A-907D-81FA3941AE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$92CDE969-F445-42B7-8453-AE812DB68F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$63F4659B-4351-4E40-9D1D-D40EBF2360EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$1C4CE28C-BD7E-4C06-AD3D-0B28EF33B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad6c5288072a036b944d4667385334330a840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5019780,"id":"Q5019780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$3C912D01-030C-420B-A6DC-18F4AACF017A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$928833B2-D005-49FC-BD02-63727A3BCC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3220571184cc67ff7324c9c5316a989194c7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3924206,"id":"Q3924206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$E7D69027-2E00-4659-A050-036FF6043A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d60cfaf06571701513355e4ccd122b3272e4d4","datavalue":{"value":{"entity-type":"item","numeric-id":6103462,"id":"Q6103462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$1C7B0358-3B1F-4CC0-827B-AA583E7E1A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a920c6b4898f1fffa291cea9f3560948770b8e8","datavalue":{"value":{"entity-type":"item","numeric-id":5357325,"id":"Q5357325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$E718DC36-1457-4C94-9FA0-A98D678D767F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99abdd488d7de15aefa7f6afa4adfd032dddf4bd","datavalue":{"value":{"entity-type":"item","numeric-id":913793,"id":"Q913793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$0CEA4AB5-3E4A-4644-A408-E7F5DE83F2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72768e013723da9e699b47b885f4f235f3ba5cd6","datavalue":{"value":{"entity-type":"item","numeric-id":2153826,"id":"Q2153826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$5083306C-695C-458F-BD24-70777C012DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92f32ab5f6c8999985c79684a71d4e2becf249f","datavalue":{"value":{"entity-type":"item","numeric-id":6139242,"id":"Q6139242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652033$E5E95B0C-5E06-49D4-877C-67C691A9B159","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0c95f1ca93fb5e1090c2348d04120f98d990de0","datavalue":{"value":"10.1016/J.APAL.2024.103512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652033$7F8FA6DD-883A-4A2B-9FD7-41A75F4517B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6652033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6652033"}}}}}