{"entities":{"Q4236215":{"pageid":6265816,"ns":120,"title":"Item:Q4236215","lastrevid":46591947,"modified":"2025-12-25T03:43:56Z","type":"item","id":"Q4236215","labels":{"en":{"language":"en","value":"A categorical model for higher order imperative programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268688"}},"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":"Q4236215$29F85F47-B934-4945-BC6D-A2F7B6197ECE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0908dac6029b5d5a11eb1c9e5171910e7605135","datavalue":{"value":{"text":"A categorical model for higher order imperative programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236215$CA4F4EF0-443C-46E5-B53F-20DF9E518284","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"912e98f0129493d5d318a15dab3e9fcc9b83b943","datavalue":{"value":"0916.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236215$F8C03894-C070-474D-B45D-3AE2E879D803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e96e05ece999db3212e8f87d01efa7a536a14a8","datavalue":{"value":"10.1017/S0960129598002552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236215$07328BBB-5567-4103-A986-EC7D5C36C9FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236215$6F75D341-40A0-4BDC-9A63-42D73F20F803","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236215$F8458AAF-1E46-48A8-910E-0AC4DA49ED4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c181d2feac21a0f0954982c351421c590c4c609a","datavalue":{"value":{"time":"+1999-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236215$07808F99-9D25-45CB-B939-8ABE0C74E7B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236215$63173440-D4A9-4C6A-B39C-348189C542DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6be04cd84d0e37696d098a28bcc79b84676d30dc","datavalue":{"value":"1268688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236215$635C4D15-4445-4E6E-8CA6-1688A88AF632","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b10947b9d888a567d1ecae62bfa89cdc6eee2852","datavalue":{"value":"higher-order imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236215$C44B45DA-9D68-4932-9545-F264055C56F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3645c8bd6edb661bb9ed7bfe944d27dde3c50a5","datavalue":{"value":"pre-post specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236215$66DC7891-9474-456D-927E-CC3D829290FB","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":"Q4236215$0D50FB9C-E8F8-43A7-A968-0E324FBFFD98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7d18a4d261c2b3abc4d2f3c6f22c68f58020070","datavalue":{"value":"https://doi.org/10.1017/s0960129598002552","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236215$55355CD1-187B-47D3-9CDA-22484368EBB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96e9a095dfcc64764d92d0fe96b3a13d63e580c9","datavalue":{"value":"W2113550426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236215$238EA9FA-2072-43C1-9610-6C668EAA4544","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199518c26887155607064620671f29c885713d7e","datavalue":{"value":{"entity-type":"item","numeric-id":672318,"id":"Q672318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8914cd5cde6d8802db38ab51016499ada5c4fcde","datavalue":{"value":{"amount":"+0.7899954915046692","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":"Q4236215$BB5532B1-CCC5-4F1B-9ED7-6AFBA0E4027B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c54e73e8d9d101ad3a3ebd0bc99e602071d6bb5","datavalue":{"value":{"entity-type":"item","numeric-id":4982051,"id":"Q4982051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cd482dcfd7f39967280b0242eec5cece67b482","datavalue":{"value":{"amount":"+0.7882094383239746","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":"Q4236215$30D2F475-DD40-4BB4-8A4E-69B3797F4D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2817ff336bf0ca6b2ca7d723dbf4393141167836","datavalue":{"value":{"entity-type":"item","numeric-id":4281666,"id":"Q4281666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc90d072d57a0efbf55617d6abe1a8823368c63","datavalue":{"value":{"amount":"+0.7817592620849609","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":"Q4236215$E070CA9D-1DC3-479F-84DC-E6BA9FB103D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04a6a9b10a8d62591516ab840f0eb5eee93977c","datavalue":{"value":{"entity-type":"item","numeric-id":1906039,"id":"Q1906039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b2ec0a5b67996926cfa1e273b5b32db9f468b1","datavalue":{"value":{"amount":"+0.7471494078636169","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":"Q4236215$1F1A5C17-354C-4980-A9C4-89CD9D93627D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236215"}}}}}