{"entities":{"Q1822227":{"pageid":1832969,"ns":120,"title":"Item:Q1822227","lastrevid":73448649,"modified":"2026-04-14T16:02:13Z","type":"item","id":"Q1822227","labels":{"en":{"language":"en","value":"Description semantics in utopist language and automatic program synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001453"}},"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":"Q1822227$AD197DBF-4CA2-4BB6-9E40-315C90D0C5C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c3787978f2d6b22c962ed672abc798d72c5ac12","datavalue":{"value":{"text":"Description semantics in utopist language and automatic program synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822227$665592C4-D808-4AC7-AAE8-AEE7D8352564","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77996a1c573ca8df986ad70c7b08a50295c58146","datavalue":{"value":"0617.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822227$C3B963A6-BD12-45F9-8F20-E734A3786841","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822227$26D60E05-CA9E-4366-A44D-E51E9B23EE1E","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":"Q1822227$6A5D3E26-953C-44DE-8F81-5C9683DF8E1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7211183564692eac1240279272d82cbc2b94c4e1","datavalue":{"value":"The paper reviews the UTOPIST language descriptions and transformations that assign to each description a set of axioms in the propositional calculus language. This, together with the rules of calculus by means of which proofs of solvability can be constructed and programs derived, constitutes an axiomatic semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822227$10427697-70EA-4E66-9577-48570B188BA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822227$383108C3-7334-4702-B2BC-92F44B7D4B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822227$D5F53818-5FBA-46A6-8D06-1BA062F9A520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"575967480003c898c1faa20b69bb84c58b02f48b","datavalue":{"value":"4001453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822227$A4D964FF-5A58-4593-AD69-62BF9F5D2ADA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822227$726698CF-D749-40A1-8528-0B4861EB1CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c8db5bb5901ca55456277cb808db385589275d7","datavalue":{"value":"UTOPIST language descriptions and transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822227$3958AB44-3389-4F20-BDA1-2537B64C4E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92277e78bacba41fbc6643e3369e4c783fdcef9e","datavalue":{"value":"propositional calculus language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822227$AB16700E-7077-47D7-99C6-C65B5182C20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822227$558B5E00-EC0D-4E0C-B5BA-9445C20987FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822227$2087BED7-F523-44DE-AAB5-076192807DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44cae58b7b1ebd97a8ba1cdb3090f9e875e9f030","datavalue":{"value":{"entity-type":"item","numeric-id":1607555,"id":"Q1607555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822227$A631F930-F36A-4BD6-8D3A-BCF1A90D6924","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":"Q1822227$97D36C7D-EC55-4BA7-BDBB-44E6A41C0315","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620dc478aba2d0a7349eb85b9fd811aa5113bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":1091120,"id":"Q1091120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac049153fa88eb5b5a4503df7556930a8393dd6f","datavalue":{"value":{"amount":"+0.7499319911003113","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":"Q1822227$5E0B049E-ACF8-4220-A7EA-968BA855B9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66176bd66d4c903e09ae7852d378e4d0a8aade9","datavalue":{"value":{"entity-type":"item","numeric-id":5184386,"id":"Q5184386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6f649cc33bba3c80c3c3f793bf98a9bf943722","datavalue":{"value":{"amount":"+0.7427403330802917","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":"Q1822227$C7649FFE-0D51-4AF3-82AE-A8E6D574CB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb91f361bb96588746d6304c4a6c8ebd8250e0f1","datavalue":{"value":{"entity-type":"item","numeric-id":5930819,"id":"Q5930819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ac4102322d76c615d56932ee7bb8836f2a01a2","datavalue":{"value":{"amount":"+0.7301653623580933","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":"Q1822227$47D9C538-9FF1-4E08-B2B3-6C56FE54BDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2ff3a086d3a673bb22696570cb8fce22840548","datavalue":{"value":{"entity-type":"item","numeric-id":3043821,"id":"Q3043821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab54668e3423102aa6933c0a1ab738f9f0fd4137","datavalue":{"value":{"amount":"+0.7101906538009644","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":"Q1822227$CD6BE631-C838-4FF9-8B3E-6A657F97BF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6abfb445f75a7649ad7c09bc1a531f0bf7a192c8","datavalue":{"value":{"entity-type":"item","numeric-id":1956949,"id":"Q1956949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997e1e25b01aa19140e086db8352f925eff07785","datavalue":{"value":{"amount":"+0.7082379460334778","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":"Q1822227$5C498201-30CA-4056-88D8-9E2321535A12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Description semantics in utopist language and automatic program synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Description_semantics_in_utopist_language_and_automatic_program_synthesis"}}}}}