{"entities":{"Q3664409":{"pageid":5694315,"ns":120,"title":"Item:Q3664409","lastrevid":49891081,"modified":"2026-01-11T16:54:45Z","type":"item","id":"Q3664409","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3817019"}},"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":"Q3664409$2A2CDE19-F1B9-4032-8E4F-A644C7AB30DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83aeabcfd87721595eb0f143e3019981a80322af","datavalue":{"value":"0516.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3664409$74307DC4-897B-4E1F-928D-4B875119DDC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c7cd23deb1e1b4d22486fc10890cb730dd0a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3664408,"id":"Q3664408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3664409$17E82FCF-D269-45A2-867D-4086C402C435","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":"Q3664409$78BDAE05-7D6E-4460-BAD0-A31AE04109FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3664409$A9FCDD6B-6664-492E-BF1C-608AE1EAFF6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0057f1fc503208c2efe182c8551eb66fa85ea3d","datavalue":{"value":"3817019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3664409$0AC11083-C6B3-4AE6-A260-E43A6E38C07E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2467fc04e2c6d4756c7050371018c4f50565f6","datavalue":{"value":"complete Hoare-like proof calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664409$7F9B5AC8-4314-4A28-9373-99467A9F5CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664409$BE2AB046-D7DC-43D1-9AD3-DCAD752D233F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc8e72b27da8f49f564e4a1b2343ba32ca4c083","datavalue":{"value":"second order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3664409$AA967751-0A80-408F-9FC8-7E9D2EBF9C90","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":"Q3664409$520F5590-3DBB-46C4-902F-6253A138EB1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3664409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3664409"}}}}}