{"entities":{"Q1285784":{"pageid":1296534,"ns":120,"title":"Item:Q1285784","lastrevid":46750653,"modified":"2025-12-25T12:48:28Z","type":"item","id":"Q1285784","labels":{"en":{"language":"en","value":"Generating algebraic laws from imperative programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281207"}},"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":"Q1285784$BB44E3E9-83EE-43A3-8B05-E18B5768D7F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5072f5e16e0d4b0fa166e15c3e7d604bec7e6dc6","datavalue":{"value":{"text":"Generating algebraic laws from imperative programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285784$A358A6F5-A25C-452C-B4FA-5EFA2B58437B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"287abda2dd37af896e1793ec770064129bf1abe9","datavalue":{"value":"0914.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285784$12CCF9ED-C881-418F-AED8-252EA453EC50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c19cf58712e3686c16a223d95fc6b995e73f526b","datavalue":{"value":"10.1016/S0304-3975(98)00278-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285784$667F30A3-F0F7-43AC-BB87-4A91C7FFA9F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c5919a66065e24091db00d7f8ebc4a3d00a48ca","datavalue":{"value":{"entity-type":"item","numeric-id":599072,"id":"Q599072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285784$7632A204-8F92-445B-AF7F-A843D9D6B578","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285784$3DAE338F-A307-41B2-AA25-0C37274B2682","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285784$50731C55-E961-42CB-863F-AAAB4C855ABC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285784$9E2EEC84-6706-4C02-A157-391DBD67A802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285784$5787C597-FBF3-4531-80E4-3BCA3E14115D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8ec5ebc98bb32fdd6c6705819f61dad05b1926c","datavalue":{"value":"1281207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285784$ECC9BC2F-76E7-4BB0-A90B-D10918C5E279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb9e3d95490f16ceacf65fd1f53b58d88486322","datavalue":{"value":"new Paltz program verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285784$A3A3B826-C903-4285-96C4-64749FABA6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0eb4c29f3daae8d5f2297a5a2a244304bd1860a","datavalue":{"value":"hoare calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285784$AFD97A74-1FBE-4020-B629-6D78B0EA2EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285784$C8C07DE6-0A1A-4EA5-953A-5AC5D2DECAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285784$F92B661C-1CC4-46D0-8D66-539ACD581826","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":"Q1285784$8E96B3F1-DEE4-472E-BB3A-9EC0F6AC1B13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285784$159F417E-5215-406E-8875-5D47CC60EBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14acf4bf18833aa509edf9e945fefe47f8b92dce","datavalue":{"value":{"entity-type":"item","numeric-id":5730891,"id":"Q5730891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285784$6CC97D53-3E74-436A-94D2-08FBCFCC8801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285784$E3A8DD61-4E7D-4AB2-9D08-30FCA7FB93B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285784$96619680-EAE6-4959-ACC3-41EFE754EC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285784$8E9DBFAA-67F4-4C15-BDD1-E3EA58FA62A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98f2abb2e6d695d1a88d96506627a8bad2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3575262,"id":"Q3575262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c305056065bee17f3e11a3ae132ce62ac1bde39e","datavalue":{"value":{"amount":"+0.7471121549606323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285784$08BE02B0-B517-433E-9583-4441037ED4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e01af7911d7707bd27d3e7d3c8388a5e637061","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80e1a82ca6365cf86a41bb1a8595589693df038","datavalue":{"value":{"amount":"+0.7429897785186768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285784$E78A2184-C709-45B2-A2D9-3633753912D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f53db904edc8742f58844bcbe0e7e76cb9cb0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42baf55902d8000c1b32ec2fef40279e5fcb17dc","datavalue":{"value":{"amount":"+0.7339439392089844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285784$F769EEC1-F793-4196-A0C7-D8F2064A6667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc57ed44d3cfbc4dc9c40efc9e497b687785670","datavalue":{"value":{"entity-type":"item","numeric-id":840060,"id":"Q840060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759c35066b9a41fcb5516f15ef76fd7c54d5f9a6","datavalue":{"value":{"amount":"+0.7318434715270996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285784$8DDAE5B7-3D01-4417-9EE4-E27498BB9055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00449f3b3c761a62f2f96690dc3f5da655696f4c","datavalue":{"value":{"amount":"+0.7288127541542053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1285784$E1A0A4EB-1CC1-40BA-825C-C275B33A71B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1285784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1285784"}}}}}