{"entities":{"Q3668824":{"pageid":5698730,"ns":120,"title":"Item:Q3668824","lastrevid":49974043,"modified":"2026-01-12T09:49:31Z","type":"item","id":"Q3668824","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823100"}},"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":"Q3668824$54600D3A-BA55-4FC2-9279-4678ACE22185","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c2993da58ec932feb312f354d5d197cf0a1f89c","datavalue":{"value":"0519.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668824$7E53FF97-2151-4D74-98BB-95136DB10625","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668824$6EC9DEE6-44E0-4C3D-B9AC-1B3F0AED687C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3668824$237CD74D-156F-4736-A4AF-A1B154787F9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668824$D9189A16-19F0-4157-B7F2-2D4DF68B3219","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"241f5243506ce9777fad7880b43ddaa3a35fa862","datavalue":{"value":"3823100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668824$2F76FC6F-BF13-4CCC-AC2C-1570C4E9492D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d59cc473ddd7c226368b68dfc7cd7cca17e683","datavalue":{"value":"Floyd-Hoare inductive assertions method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668824$99067072-2043-4561-9729-B215694056B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a6813c6196fdd675cc816e8eb990bde93dba3","datavalue":{"value":"partially correct","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668824$D2074390-A2A8-4AD8-8ED8-834128659D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668824$9C3A7569-C098-4650-8D82-F8704AA21D17","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":"Q3668824$F18DC594-5387-4250-A6BB-D4D670D0EDF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3668824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3668824"}}}}}