{"entities":{"Q3860822":{"pageid":5890727,"ns":120,"title":"Item:Q3860822","lastrevid":54552950,"modified":"2026-01-28T11:28:51Z","type":"item","id":"Q3860822","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3662553"}},"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":"Q3860822$DE3A6141-5C4D-4374-9F20-42D63DF35E09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9900d0b3adf5f11a750940a55da912b01e2c1537","datavalue":{"value":"0425.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3860822$8EC51D2C-94B1-4130-A30C-2A6ED2479EC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3860822$163C4749-2363-42AE-AD3B-2779BCCEFC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3860822$1178CFEB-1C9E-4BCF-8F21-30A75B745014","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3860822$688A49EC-481D-4A09-9E33-AA0287DB0FBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3860822$4B42EE54-4587-4E38-829D-643A7D5BAD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3860822$A41F2F15-FFCC-40E5-847E-C4152BA30E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3860822$E76D8189-C3BA-4952-B957-A53BC8879DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3860822$B5CEBC87-DD12-40F9-96FB-41C54E26C1AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ea023ce4362d1e8977eb89365f7f41e96442625","datavalue":{"value":"3662553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3860822$D6885B25-E124-4A7A-95E6-BC4645C9F2A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7e860b29030f7d7d7722a761fe9974d657a6c7","datavalue":{"value":"algebraic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3860822$4EF9A64B-3B1A-4F5D-9812-A12763F2020E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3860822$0479A895-A161-4EA3-BE32-9A72F8A9FE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2872090f69ed3e9905312e49c9e09a47c9431fb5","datavalue":{"value":"Hoare-like logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3860822$59314F26-4290-4183-9298-6B4D958CE5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3860822$9358F235-B1A9-434F-A9F8-EA8EAC6CB87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3860822$FD5AE049-82AA-4CE7-80BB-6C28B3281B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3860822$56CB6394-8624-4A46-B70F-33F55A3B877A","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":"Q3860822$768A2CD7-EAD7-4C01-BB99-03267A2B3E4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3860822","badges":[]}}}}}