{"entities":{"Q6922548":{"pageid":21038134,"ns":120,"title":"Item:Q6922548","lastrevid":84137675,"modified":"2026-05-11T02:25:37Z","type":"item","id":"Q6922548","labels":{"en":{"language":"en","value":"Sharpening complexity results in quantified probability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8100459"}},"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":"Q6922548$B87743CB-7CC0-4395-9C13-FCD705EE7F04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12ce0d335ce310e5afac176d05d74c3e9a54e654","datavalue":{"value":{"text":"Sharpening complexity results in quantified probability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6922548$281D508C-F7E4-4DF3-A410-5671CDD5F29D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12c7f72085d454c41caaa28326436a343555d690","datavalue":{"value":"1573.0323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922548$63554EBF-C47A-45E6-9368-043F42F7EE32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dd2c8b09283555c72e6d964dba9cac51dc60d44","datavalue":{"value":"10.1093/JIGPAL/JZAE114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922548$51AA27CD-EC3E-4BDC-8A69-F7AD0B2978F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f517762c8bf8d062c2939388e57760160d03abdd","datavalue":{"value":{"entity-type":"item","numeric-id":365660,"id":"Q365660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$E902C3DA-5AC4-4AD7-AA32-5B2EB3F5E04C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$91B9F52C-8F6E-4AF8-AD8E-E5AE55D93221","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67b571ae3ce5d75bc39c8248f19a512a27075c5d","datavalue":{"value":{"time":"+2025-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6922548$8C08942E-37EC-4EB8-895B-1EC9F7BD4FEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922548$E8F6452E-633B-43B5-8CD6-3C3314FA245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922548$35569C53-B0D7-42C6-A111-B39993FAB5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922548$57434067-B4E4-4AE9-8842-E91C29D9D214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d135572e0e7a18d281e890b456557265565a4fa8","datavalue":{"value":"8100459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6922548$E8945DFE-E357-40C7-93DC-47BF03EE97AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922548$32F6F4A5-C4CB-4097-A405-BB39C0C0243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922548$F74A3AF8-A18E-4F73-8CAE-B853E8C17DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922548$1ED4DC25-744F-4045-A970-6499962B970A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922548$6D11D619-8A30-4696-8B8D-EE47613DF056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6922548$886EFB81-5208-4BAC-89B5-A520E4D7E46C","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":"Q6922548$F64465FF-B6EA-4C23-89F6-D308FE45CB7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede61bbf47dfc5f96e9420622c0600314318cdac","datavalue":{"value":{"entity-type":"item","numeric-id":1327387,"id":"Q1327387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$931C0A99-ADB0-441C-9790-D902D79E3DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$848B4607-63AF-4F5B-8467-FE07E1EA26EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$A97EBF28-A27A-4DA5-8015-301F08916BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa29e9e740c19985d519723a7803e882198a6be","datavalue":{"value":{"entity-type":"item","numeric-id":4175264,"id":"Q4175264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$93644692-9EFD-4FDF-9BDF-597A1562CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27607db9d07a8358e49b3186d028d947e4b9299","datavalue":{"value":{"entity-type":"item","numeric-id":6443385,"id":"Q6443385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$8F8EA1C9-B147-4A42-A845-5981A98615CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecadab8c476afce3fd57a226ac5e4fc30b7464b5","datavalue":{"value":{"entity-type":"item","numeric-id":5120609,"id":"Q5120609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$EE2FFB70-B310-439F-BF11-0BCF400B5D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$60449AC3-795F-4865-9D61-0573DAFBBF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c396ac7edac0b9eaff082788af12d8960d1331a","datavalue":{"value":{"entity-type":"item","numeric-id":2832982,"id":"Q2832982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$AEFA3DEF-6C30-4317-A570-4CE1E13A53A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed450d5b8ececa4cee055566c9113251eed8a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5445304,"id":"Q5445304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$806CEBFA-FD99-4C6B-B198-5320F985611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$05744752-FE20-44C8-AF55-6BB9C3D023FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$EDE6D8E1-7138-4F52-8B10-8F6EA69C7B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9055b0cc60b35ae226978f59203587ec6cf2e814","datavalue":{"value":{"entity-type":"item","numeric-id":714712,"id":"Q714712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$2E73454E-AA37-43A6-A7F0-6C250F2E7514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56ebb925456bec9c02ce000e8834177dfd9b2c8","datavalue":{"value":{"entity-type":"item","numeric-id":695788,"id":"Q695788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$134514F5-2FA7-4331-BAD7-825957F3499D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac26f3797a96fa80c31bb9da67c7e2d4caf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":2863169,"id":"Q2863169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$7565A5F8-E4BC-4790-8E4F-BEB1DA42997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69cdcec3f83be688f15b6a5cbe10f3a870c3c","datavalue":{"value":{"entity-type":"item","numeric-id":365661,"id":"Q365661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$D103C049-70E3-4000-8C44-220029D3770D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14206a34e219145a5fbe51d9d29837a73afb1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3195649,"id":"Q3195649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$BF1E8187-2E2F-4393-B3EE-6C0CEE239ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95403a3b91dff4d046b28e1ff94e424ec70f6983","datavalue":{"value":{"entity-type":"item","numeric-id":4593244,"id":"Q4593244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$02D1D3C5-6BC1-42AB-A316-676D1CBB6776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30b02b5f0f02de5878cf25186446cd3db7ad5b1","datavalue":{"value":{"entity-type":"item","numeric-id":6137456,"id":"Q6137456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$4AAF3DB0-B203-4628-9B43-DDE462F0385A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac5085020963d577257ad1259946a2ca3acda42","datavalue":{"value":{"entity-type":"item","numeric-id":6909107,"id":"Q6909107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$B649B2D4-66FC-4B8A-881D-14AD0F5FD941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$ED228875-E4CC-4DCA-957C-A2FB340674A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6922548$4664EB86-DE0D-4A0F-AFE8-23B912A02314","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sharpening complexity results in quantified probability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sharpening_complexity_results_in_quantified_probability_logic"}}}}}