{"entities":{"Q3949952":{"pageid":5979857,"ns":120,"title":"Item:Q3949952","lastrevid":55075270,"modified":"2026-02-03T10:32:44Z","type":"item","id":"Q3949952","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3768952"}},"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":"Q3949952$53F28472-835C-4099-8971-BFE2ADCEDAA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836adc0ebd31d8121875537b836cac73238748bc","datavalue":{"value":"0488.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949952$C6562F30-182C-4661-8790-D374AC1DE911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaa2d2b5037140b5f78ce69089af2fab24c79714","datavalue":{"value":{"entity-type":"item","numeric-id":3321418,"id":"Q3321418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949952$F11043DE-F4AB-4803-944E-CF4451716A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b47d53b6dfaae52d97effe575627008d9ffd8189","datavalue":{"value":{"entity-type":"item","numeric-id":2729924,"id":"Q2729924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949952$B83516F1-526B-4884-AECB-B88AF24BAA7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3949952$D280D6C9-F93B-4EFB-A804-89579C574A69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949952$E60A1DC3-D8A5-4CB5-8D3B-6CE734049F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a347a1b5d6f30d20b0de95e86870a0358354168","datavalue":{"value":"3768952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949952$1051810D-CC81-4A7C-A023-4397D395C8CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7568c832d918f0ea35a537098524a06c1f765b06","datavalue":{"value":"program loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949952$3376C4FF-A883-4491-B1B7-B9ED10079EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"def39333b3cbb2302a0577bd5b13d5ffc4cc1683","datavalue":{"value":"assertion checkers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949952$AC82FA08-BE79-403B-9F0F-57D8180F1CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949952$ED81C8FB-8A66-4D8F-89FA-2F5A4B4BFB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949952$FF628D9E-AF93-49DC-81A4-BC0045D4895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949952$B78AC6C1-86F9-445D-986B-36193745622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d03da601b0459b470cd1de96903991c5c0634b","datavalue":{"value":"inductive assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949952$EC9E607A-FDD9-4ABA-8039-D66D06E2A441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"647c780d261fbe4f08df696c9410e821e1ee67af","datavalue":{"value":"subgoal inductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949952$110859F3-C8FE-4445-B8CD-D12963E1093C","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":"Q3949952$4B4E753C-EBE0-4D67-A17E-634C0E17B100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3949952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3949952"}}}}}