{"entities":{"Q3867145":{"pageid":5897050,"ns":120,"title":"Item:Q3867145","lastrevid":54567710,"modified":"2026-01-28T17:08:23Z","type":"item","id":"Q3867145","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3669824"}},"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":"Q3867145$E4615A5A-164D-43A2-8E2C-E4C748D92266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0a48fa7ae97961b70a61aa2352e82e3020d60bb","datavalue":{"value":"0429.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867145$22A58759-4C17-497A-B126-A092BF98CF73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867145$6146EBD7-B586-4BA1-A0CD-778CD786FFFC","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":"Q3867145$8D27D0C7-91F6-43D6-A40B-90884E2FCDB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867145$E775D2D0-AA6A-4B63-848B-C8DDD73C6470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867145$0F0247A0-EB28-48B9-9043-D6709AFDCEA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27e1442c88d1ecf894b4d4c3f97818da7ac31b68","datavalue":{"value":"3669824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867145$22C09FD3-8ACA-4B09-A2BF-C9CC69E2D9E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867145$934CF3B3-3210-4817-A5F3-780475C69051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867145$E6541F7D-2D9F-4BA9-8E31-B244F2EE5A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59f6dac69175320afa8795a031d48719725384","datavalue":{"value":"programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867145$A8936A5B-1B34-403A-9BF1-3359BA57CC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ff97422feb883c237a6d85c97e2e50861517f56","datavalue":{"value":"assertions about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867145$FD172068-2F92-4C31-A57D-3C02D89FA28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2033262edb0d6860a63d0d633922c6c02ecbebff","datavalue":{"value":"Haare system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867145$1E3ECF5F-0486-49C9-A29B-8277F0B3B5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867145$94B0965D-904E-4233-9CC9-74229D3B91B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae9160ab6ebf0e806fbfec0faad1a85a9eca617","datavalue":{"value":"program proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867145$9A6D5BAB-C9E6-4FDE-B9D0-7BF3177C9CA8","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":"Q3867145$E52CB517-243E-4ECE-B154-84D5DD3EF74F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3867145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3867145"}}}}}