{"entities":{"Q5184367":{"pageid":7213939,"ns":120,"title":"Item:Q5184367","lastrevid":48789967,"modified":"2026-01-05T21:01:51Z","type":"item","id":"Q5184367","labels":{"en":{"language":"en","value":"Generalizing specifications for uniformly implemented loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892549"}},"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":"Q5184367$0ADD7132-54EB-4272-98A3-BA1FF00959C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c523df046c4cf65e87eece11f32c6f80801d660","datavalue":{"value":{"text":"Generalizing specifications for uniformly implemented loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5184367$089C045C-065F-4B08-9941-DF8E68ADC12F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5a7f6a55ce4b66da721d3994f8eb6013bd6cd1b","datavalue":{"value":"0559.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184367$81D1D21B-0477-4461-9034-27CAE32AF480","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2391061477100fbda46b7cfb02e3733c9eb585fb","datavalue":{"value":"10.1145/2363.2708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184367$D5EE9272-818F-4420-99FB-A6CB92097F61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaa2d2b5037140b5f78ce69089af2fab24c79714","datavalue":{"value":{"entity-type":"item","numeric-id":3321418,"id":"Q3321418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5184367$5BD35877-2EA7-4866-B026-D7405F412B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b47d53b6dfaae52d97effe575627008d9ffd8189","datavalue":{"value":{"entity-type":"item","numeric-id":2729924,"id":"Q2729924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5184367$148CA5B1-ABA0-4E5A-B824-96513D1890B2","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":"Q5184367$AD56AAF2-70F1-49FF-9625-3BEBDCEE0A86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q5184367$55C835AE-C493-4811-96EB-93E928DA8FA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c9fd7026b46b5a07dd5cbbe0c7321a30b79459","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1985-7/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5184367$438E9A3E-77B2-4E67-9172-049764E830C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184367$B7DAB75A-38C9-4417-9575-3951A5C771D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e32811ee2a41914a3bc68ca05d66921e0fb1e87","datavalue":{"value":"3892549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184367$CB9453FC-6CBB-4881-B7A7-7449305E29F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184367$7D008E3D-6A8A-45E1-BB3A-F33538BA1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b072007940892e3078688a5ad95d7879996375","datavalue":{"value":"iteration condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184367$FEB56D27-A384-4364-AD03-C979BC0FC881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ae185161d652723869ce877374e5d28712eb42","datavalue":{"value":"generalizing functional specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184367$E7D14AF3-05F6-4AC6-BCA1-61B7472310B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e8c39268d3020a31b50197045066c5d4458e43","datavalue":{"value":"while loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184367$791641E6-DFBD-4328-A104-D3DE2EBB4453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a105a740098b9fb0f376f5723741ddbc73f00b56","datavalue":{"value":"uniformly implemented loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184367$C177BE3E-7DFF-4DFA-9F4C-4075257ED4F0","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":"Q5184367$C85F7136-D1DD-47E6-9AEC-E8591F1550EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da8c26dbb3c824e20cf69a2e3e7256eb6644b835","datavalue":{"value":"W1985830587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184367$085B0973-F4B1-4B10-A0B6-194B26776DA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d7ee2ac5a305bfce5bf77fc17088fcdd0865fa","datavalue":{"value":{"entity-type":"item","numeric-id":3321419,"id":"Q3321419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58a1096d8bd0ec7144f427dd2c899a5844b3e16","datavalue":{"value":{"amount":"+0.728758692741394","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":"Q5184367$91092529-0DB4-4241-8898-1660C4BDBBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f1ab42347132194a4620ab8227caf321ce7cc3","datavalue":{"value":{"entity-type":"item","numeric-id":3585023,"id":"Q3585023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6614ce9543cce7d353fe8f2daf27553efe639bc","datavalue":{"value":{"amount":"+0.7074368596076965","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":"Q5184367$3C620E37-E1C0-4C84-B1DC-02EA4853009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f464b64c5ce744bcc9e044bb866ec7efefd38317","datavalue":{"value":{"entity-type":"item","numeric-id":604381,"id":"Q604381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04163be2ba230ffd727101da6fd5035103faa8c3","datavalue":{"value":{"amount":"+0.6992089152336121","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":"Q5184367$773905A3-B792-43CA-BD5D-DCAFF36815EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd6d49d6735aebdc28dec0abc2fbe5ffe2dffef","datavalue":{"value":{"entity-type":"item","numeric-id":444373,"id":"Q444373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f58d8ea5142ea34380f9e4b2e7485f3cfc1647","datavalue":{"value":{"amount":"+0.6927700042724609","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":"Q5184367$557F17DA-123A-471B-AA77-23ECD3A06D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57893a0a6b00fa911895bbac0c8451ab24454fc","datavalue":{"value":{"entity-type":"item","numeric-id":3804172,"id":"Q3804172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e7dbf960819468d5d0308abe50d03d6cbdb96a","datavalue":{"value":{"amount":"+0.6896031498908997","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":"Q5184367$A17BD3E3-5508-4B3F-8F4E-F9D806544456","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5184367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5184367"}}}}}