{"entities":{"Q5202654":{"pageid":7232225,"ns":120,"title":"Item:Q5202654","lastrevid":49483345,"modified":"2026-01-07T06:09:08Z","type":"item","id":"Q5202654","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195937"}},"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":"Q5202654$667A6781-2B2E-4FDA-B233-8E1B21EBE646","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad575f0ded230b3e18467c613fa31c3b763c0da9","datavalue":{"value":"0725.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202654$9A7D3C05-B207-488E-A42B-064F2DE410C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5461704a3fdc387cc6c72a6a5e6811e84402b070","datavalue":{"value":{"entity-type":"item","numeric-id":3199394,"id":"Q3199394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202654$394F2491-62BF-415A-8972-ACBF1C883FC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q5202654$98989EA8-4493-4BBB-9CE0-E1009CE9F21E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202654$5155CA00-775B-49A5-88B0-133BEFE03AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202654$F0ACBC31-A67A-4707-A14C-FE952BD764AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202654$425BA896-1538-466D-80E1-13128CBD5EFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e119d9ef801bab95e6b85b967e6391b7e46750d2","datavalue":{"value":"4195937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202654$5A6A846D-9A8A-40AD-A929-B3D2CD1367C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bc3c0d60bd126d83ca586e9be68965a79b70cbe","datavalue":{"value":"theories extending PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202654$AB88E496-E4CF-43C0-80E4-C1A2B5187182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a5f81e59d73acb6d6774c1f3c51ae03253aebbe","datavalue":{"value":"complexity of the provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202654$A969BDF8-0709-484D-9601-5E6A371A0854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e30bfa50a951c1121222de4dd32c6724e46708a","datavalue":{"value":"polymodal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202654$17EB687F-751D-46F7-8A6F-9CD35CC108CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202654$C572D579-44E3-4337-8BB9-8A84E8C7B7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202654$8DA0FD9C-1CBA-472F-825E-935892B3223D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202654$311402C4-5A23-4BF0-A3E9-490E18FC0915","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":"Q5202654$648E5D7C-6758-4513-8F91-5E92071DB38D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c6bf2e0f75f1324d872302ebcef2d71dde4f9d","datavalue":{"value":{"entity-type":"item","numeric-id":579232,"id":"Q579232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad0f587263185c693a7b90f373f65bddc54e428","datavalue":{"value":{"amount":"+0.8300989270210266","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":"Q5202654$09265710-6973-4344-8767-DD2CD78931FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d53b639c69d45a9c5dda755092d51cbb3896ba0","datavalue":{"value":{"amount":"+0.8230664730072021","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":"Q5202654$D2DA9B1D-0CE2-4043-853E-71C15747B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd45cb9f36132729a99432f45cc43673ae33557d","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1957723f5fa0831f0997ad303b9d78088c5371","datavalue":{"value":{"amount":"+0.8223550319671631","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":"Q5202654$89C5CFFB-8E21-46AF-A332-134B6EF3DBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee830c2602cae53dc524e7f165b169a576fdf12d","datavalue":{"value":{"entity-type":"item","numeric-id":750418,"id":"Q750418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b4714dade198812e73a71b9fae382475964be5","datavalue":{"value":{"amount":"+0.8188890218734741","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":"Q5202654$C6D46298-5F1F-4662-AEC4-E85153B64609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d26db9c4dbae1947de2947596bc6b50d2ae901","datavalue":{"value":{"amount":"+0.8137602806091309","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":"Q5202654$25927474-01D7-4119-B150-D9B3CE41F484","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202654"}}}}}