{"entities":{"Q3942372":{"pageid":5972277,"ns":120,"title":"Item:Q3942372","lastrevid":81279455,"modified":"2026-05-06T18:09:22Z","type":"item","id":"Q3942372","labels":{"en":{"language":"en","value":"An algorithm for finding invariant relations in programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3759518"}},"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":"Q3942372$1F5F4FEB-B6C7-4973-AB76-DBFA87D04048","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426d3ee308bf1635f9167aaf66ca9606bd24e3aa","datavalue":{"value":{"text":"An algorithm for finding invariant relations in programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3942372$B3D3D640-F6AE-44E7-96E9-C9CC3A12DAE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea30003dc8347181e918a26a465fb933b96cd0f4","datavalue":{"value":"0483.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942372$8B2BE454-4952-4CF0-A2DD-A80AD47E5126","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8048d009d812c8a69e40a4f9b4fd79a8b419cecf","datavalue":{"value":"10.1007/BF01068775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942372$F2799DCD-ABEC-4E03-99C3-98AB57BB8354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c275fc55dff7e2794b6bbca9032b74f9bbcfd75a","datavalue":{"value":{"entity-type":"item","numeric-id":1842441,"id":"Q1842441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942372$CE4EE6AC-E4A9-4463-98F9-30276547CF82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942372$D543203D-3005-468E-9998-A0306402CFB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3942372$12CC25C3-4515-4B5E-8EB2-A02E5B6D83CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942372$14D2E9BB-0ABC-4C6B-84EF-032B766A8E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942372$31426F1E-3CB5-44BE-AE24-1C634F7869B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a11442aa8cd7fb4a6a312fa4499953d8fa7f0fdb","datavalue":{"value":"3759518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942372$6E5E8BEC-BE09-4DD3-87ED-F0A66EED267E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942372$E1815FAD-FD95-46AC-947A-D6765AE23314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942372$B76718F9-7AAB-479E-8A0E-9FC27015BBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"120651316a0505db449221e2a59731e8297a7415","datavalue":{"value":"inductive assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942372$B8F991C5-ED48-4EEC-ADB2-D635321BD61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942372$1E2A89B0-D77D-4B00-B91C-5F81FFECF360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd101e9de996c7156c592de4e359195470919bf4","datavalue":{"value":"data algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942372$E612C80E-8456-4D18-AB76-01BFA0E02209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942372$A5236738-33FD-48CE-BFDC-2608938C7D3B","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":"Q3942372$5D40E960-ADA0-4D13-B570-231F5F33E729","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08aa6748361f4915c675426159fefbc9ba4b93bf","datavalue":{"value":{"entity-type":"item","numeric-id":5735181,"id":"Q5735181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942372$3DBF3628-3917-4D7F-9843-E4D4881CDBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d83e0d809c9946be35cf8127887d0a3709fa8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4124273,"id":"Q4124273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942372$64DADDCB-33F7-4187-99DF-CEB607137872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942372$5888523B-104E-4452-AABF-14634A7DA142","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for finding invariant relations in programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_finding_invariant_relations_in_programs"}}}}}