{"entities":{"Q4790404":{"pageid":6819984,"ns":120,"title":"Item:Q4790404","lastrevid":74691963,"modified":"2026-04-14T23:55:44Z","type":"item","id":"Q4790404","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1860676"}},"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":"Q4790404$B1451669-3BD1-4A2A-8B05-59275CD5FE8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d5a96c376ecf2d6090fb18a1cbb8c2d32d64ba8","datavalue":{"value":"1012.03514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790404$A99C740D-FA95-4EFA-82D7-4203DC10C670","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790404$8C867F9D-6E2C-4134-B8E8-B0DFD0762BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790404$3F86EDB7-9F57-44A4-AC66-B8BDA69B6508","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c67642ed41b49db67b0a2ad207d662af084f3e3","datavalue":{"value":{"time":"+2003-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4790404$6EFDD103-E32B-49B2-9183-E0F8339FBCB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790404$2FD24E23-3AA0-4B18-ADC4-2B90F9984894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790404$33CCD2E0-8577-4C0D-A33E-E1F2CDF7FA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790404$34314436-28AD-44B4-848E-AD81CACB6A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790404$45D07046-C0D2-4567-99F7-BD52B1E9DD4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b38d9346849aa22370acbff43c5856345e0984b1","datavalue":{"value":"1860676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790404$3F5CDA1C-A765-412D-9DC2-06D493D0AEC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790404$A4FD43F9-6314-4282-ACD2-F99BB3E6A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0c216b42a0a237140c11c79d8b0dc633b027c3","datavalue":{"value":"asserted programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790404$0DD0896E-BF98-48AB-B510-0A1AEC2F420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdf35d350cd6ce70941db7b755a152d771d3f8d","datavalue":{"value":"while programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790404$675482BF-6C55-4E68-9388-BC9EC792C6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1eeff24bf3632cb2c08c3ec26f935bc7e4c962b","datavalue":{"value":"assertion logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790404$6B3B0FB5-CBDA-4A76-A2FD-57EBD4D806ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6582db599f92d359cbd706e9f1e46b7c84715c1","datavalue":{"value":"expressivity hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790404$1238B472-0196-4904-85AC-813871863D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec13e017dab643b0ac5546e20465a09195e25bc","datavalue":{"value":"Cook's completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790404$3D7334BE-C521-4928-860E-88B9D287A1FB","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":"Q4790404$22F16016-FF8A-492A-99B1-BDDC7C5191C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1860676","badges":[]}}}}}