{"entities":{"Q3768365":{"pageid":5798271,"ns":120,"title":"Item:Q3768365","lastrevid":81088154,"modified":"2026-05-06T17:41:36Z","type":"item","id":"Q3768365","labels":{"en":{"language":"en","value":"A generalized iterative construct and its semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4026793"}},"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":"Q3768365$26C5B957-F99B-46C5-BF96-3DCF92BA1FBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d85db77560d212418d1a5ed9c8cb008b6cd77a0a","datavalue":{"value":{"text":"A generalized iterative construct and its semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3768365$B0777072-A055-4DA7-8EF4-7D06D955F518","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"131706a0d59f2f23039254e77029c7ae81c88bf7","datavalue":{"value":"0631.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768365$3137B65E-E78C-4799-95D8-BDDB9E17DF2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4242f8eafc64ad64548c68431bb585ad2d32803b","datavalue":{"value":"10.1145/29873.30391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768365$B2110587-084E-418F-8CF3-FEC32C43C11C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7f325465c0e3e6318a530e40b6ede210335d75","datavalue":{"value":{"entity-type":"item","numeric-id":3768364,"id":"Q3768364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768365$28745109-2543-4CEF-A8DB-FC698553F0FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768365$372E2660-E7F8-46D1-B276-1DC9490A4628","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3768365$FA0416B3-751B-4255-8B5A-CC99B4FCC3ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1364c7c6e5d7e745d579e8a78324bf44a5fc74b0","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1987-9/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3768365$B8BCFCEF-385A-4E62-AFD6-F98D538ED008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768365$5B116D7A-3E18-4DA0-B9A0-8ACFE02C654B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afe4ca1889c9bb4ae72b6f2269f09093e97f32c0","datavalue":{"value":"4026793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768365$9F3A79A4-6278-47AC-BA44-0E9DAB27A904","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982815ec4465aa180182bec99311c613e1537ce1","datavalue":{"value":"DOupon","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768365$98716925-73AF-4D50-AFF7-60AF6387D87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f11205ddc68e722cd2520e50121e7f1457b1482","datavalue":{"value":"predicate transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768365$0214B906-EB69-4FB3-AE72-1D3F5400AA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768365$21B7037B-4FD0-4666-AAFA-4C2A87E8C0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768365$EAF1E3B9-65BA-4C40-9720-0C81660E8A44","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":"Q3768365$B9F3D067-9553-4D2E-801C-07CE0120B407","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1435355d3daa752c46d2b2f7cc062bfac681cf7d","datavalue":{"value":"W1967292878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768365$94E899D9-322D-415F-B389-6FFA33E7BC8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716f49eb4c283491d1ab70885d8fa43cd09d9715","datavalue":{"value":{"entity-type":"item","numeric-id":3982087,"id":"Q3982087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e344711bb5a6534e94250236f23d1a99db7838","datavalue":{"value":{"amount":"+0.743990957736969","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":"Q3768365$8BF61261-2B59-4373-8240-A0991E682BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e1110c715fd7eb83db24aca9faa5abc83ce3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26f95d752d0970d181f6ab32616d9c49b49be7d","datavalue":{"value":{"amount":"+0.7059575319290161","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":"Q3768365$6F1E7E5F-5D11-4659-BA3C-71D1AFB0D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c120a49a07cd656f709657f67799f565d45526","datavalue":{"value":{"entity-type":"item","numeric-id":1190850,"id":"Q1190850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06275e57c8b279c8c99987a5da866f80dacd59e","datavalue":{"value":{"amount":"+0.7003199458122253","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":"Q3768365$EB25FCF7-9A7E-4DA2-9C76-9E56D16CE311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a36dc5c67a2148d9495d999be8256180651a33b","datavalue":{"value":{"entity-type":"item","numeric-id":1057051,"id":"Q1057051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e0bd0dc0ce95ab67ff97f332e7bc3482fab9f8","datavalue":{"value":{"amount":"+0.6944509744644165","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":"Q3768365$E5C9D554-DC87-415D-BA65-1FFFDF9EE792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a05c3dda8faaf612f0a9ce2155d5ef8fb8f56","datavalue":{"value":{"entity-type":"item","numeric-id":3756502,"id":"Q3756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fb7e868b63496177fb613cfd30c91e2efbe3a1","datavalue":{"value":{"amount":"+0.6870255470275879","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":"Q3768365$F03411BD-5037-402E-8B45-50382EDE9CCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalized iterative construct and its semantics","badges":[]}}}}}