{"entities":{"Q1077919":{"pageid":1088671,"ns":120,"title":"Item:Q1077919","lastrevid":69587457,"modified":"2026-04-13T08:01:36Z","type":"item","id":"Q1077919","labels":{"en":{"language":"en","value":"Relational heuristics for the design of deterministic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3958706"}},"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":"Q1077919$A8D3863E-A5F0-47B2-A251-EC87BA95FAD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"233192a5a17063a7a78b124cad0fcadda93eb618","datavalue":{"value":{"text":"Relational heuristics for the design of deterministic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077919$5936D8CC-3858-47BE-9AEB-B73FC298521D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b879be9a1885af4e7071d6da688726b84fc7e83e","datavalue":{"value":"0595.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077919$264E41CF-CF45-4101-8EC2-27DDDD9928EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2904ee97d0bb50c44423722b3f842f6750bd5c96","datavalue":{"value":"10.1007/BF00265990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077919$0B1B27C4-3C0D-4FC3-8FF9-D82239493A31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077919$7D702393-B7DB-4EC3-B73D-1DF0A0DB213F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa40233ac3d99cc7af80112f7d5356ddb7e1c24c","datavalue":{"value":{"entity-type":"item","numeric-id":1077918,"id":"Q1077918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077919$81EF1C33-7898-4E98-BD2B-602838FA0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077919$8E449C2A-89E7-4993-A79C-9699F17F5CB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077919$44F559E3-EFBF-4E39-BFCB-8C7961054B16","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":"Q1077919$B1993177-3F9F-4A85-9EF7-AC74E8A2828E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68a4bcf396932a6a642744a881ded4dbca7a6ce3","datavalue":{"value":"It has been shown that the design of deterministic programs can be formulated as the resolution of relational equations. Because relational calculi are not sufficently structured, there are no algorithmic solutions to relational equations. In this paper, we formulate some heuristic solutions to these equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077919$36F170A1-6B63-4AEC-A71F-39E206BAB62A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077919$E66F98FB-CEFE-4AFE-B100-0FB5F7DBAB30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5feb6da2bbf7184bcb93d823526ec2375de344cb","datavalue":{"value":"3958706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077919$AD283FAB-6B0E-4F46-A61B-A3365993742E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6f8b8c922b756a58eab555ec7a05e540196834","datavalue":{"value":"deterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077919$580AC598-9007-4CC2-B9CB-660A3078FD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfdb0c183c5d8e43fb7ba81fc97d2878e2058e97","datavalue":{"value":"relational equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077919$0C5B61F4-171E-411C-B3C6-EE201EE804F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57bf3f7fdeba34b1620763a13c098a9c05d34d35","datavalue":{"value":"relational calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077919$D3F20486-96F7-4B94-A6D5-00F752508003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ac361c90b2218de52008e5b27aa9ca1220d7a4f","datavalue":{"value":"heuristic solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077919$A9B34987-DD17-4D4B-97E3-79DBC42C834D","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":"Q1077919$5A6A7B0E-6E82-4404-89C8-6D26226E3FBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bce561abacc58f217096dda2d716acce1177fd","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b4f5494233f658462af60ec217fbb1eb62bb71","datavalue":{"value":{"amount":"+0.7481411695480347","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":"Q1077919$E79550C0-B422-4204-AFC0-F4DA0A994E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c4be8a694466a11739517dce618f81986a62a4","datavalue":{"value":{"entity-type":"item","numeric-id":4461449,"id":"Q4461449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f667e846a0885073e3da5e78350a072a7fff78","datavalue":{"value":{"amount":"+0.7403013706207275","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":"Q1077919$2F1AB717-6026-40D1-8E84-A73492C1FE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a42cd6b7e97c314ae1771a73529d698a390665","datavalue":{"value":{"entity-type":"item","numeric-id":1961862,"id":"Q1961862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590a93ea33b1dfc1964a83adffe7128c8ca39723","datavalue":{"value":{"amount":"+0.7202845215797424","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":"Q1077919$2FC952A3-F951-4501-93CA-4D65EE325845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f313acf52490eeb6c5ae2109e43e36b7a27858","datavalue":{"value":{"entity-type":"item","numeric-id":4037329,"id":"Q4037329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbfba743e9988384d9316c8214bbb144869db71","datavalue":{"value":{"amount":"+0.7160818576812744","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":"Q1077919$C09D4284-2FED-447E-A1BC-7F65158566F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc372ddcd05f1d33bb670f2df9fe27a034e54e01","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbfba743e9988384d9316c8214bbb144869db71","datavalue":{"value":{"amount":"+0.7160818576812744","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":"Q1077919$BE617DB4-ABE0-45DE-B805-C022C57994CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational heuristics for the design of deterministic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_heuristics_for_the_design_of_deterministic_programs"}}}}}