{"entities":{"Q1899896":{"pageid":1910638,"ns":120,"title":"Item:Q1899896","lastrevid":69232704,"modified":"2026-04-13T05:38:48Z","type":"item","id":"Q1899896","labels":{"en":{"language":"en","value":"Formalized program specifications and transformation synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 803882"}},"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":"Q1899896$F878C06E-8E83-411A-A25E-27C970E1A85C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e515f2c35afa372abe026012fc6d7965c230d3ec","datavalue":{"value":{"text":"Formalized program specifications and transformation synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1899896$13B297A5-21A8-49E5-8ED4-E968ED80ADCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f506621eb791aec4f7ab22f9b67635f9124f615","datavalue":{"value":"0833.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899896$9175AE92-1C26-4DF6-B308-1E02CDBAAD90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"188c642fc058989fdeedca3a78e0a6554b2a91e1","datavalue":{"value":"10.1007/BF01130094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899896$DD4AAC1C-50FF-4D9E-8863-4956240E253C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e25d52c9d94fab2eafc6e810908269d03ae14fbe","datavalue":{"value":{"entity-type":"item","numeric-id":800710,"id":"Q800710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$72D22D77-83D8-48D2-855D-46BCAE0AE170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e72512dd1a168b2f3bb30b024cd16d7e0e4f15d","datavalue":{"value":{"entity-type":"item","numeric-id":1142583,"id":"Q1142583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$61029724-F2E3-4A2E-B140-DED4F206E5E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$9C6C8CBD-7215-44D3-A40C-F773DA4F8D57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"203f3aae96b7752dfa1b69e446c2fcabe5cb7398","datavalue":{"value":{"time":"+1995-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1899896$87F793FA-FA2E-4EDE-8E62-FDD610BD6CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899896$4C7240AF-12F7-46BA-923F-4F5A843B77B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899896$25FA9D1E-84DB-4EEE-92CD-4D03FB869843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899896$57FE4C9A-7438-45DE-9317-0A80DCF89A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f9123e95ab061ed162c8b611c3b8fd39c306afe","datavalue":{"value":"803882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899896$430341DE-756B-4B19-AA93-5F166AE19338","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26cfc320bc0b2eea3bb70032d463c157fe8a361b","datavalue":{"value":"algebraic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899896$834F0003-913A-4BEE-B163-5181BEF90642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d5f58739970c6e0615b2fbad919c072931e2bc5","datavalue":{"value":"algebraic-grammatical synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899896$51BD5C77-EF10-43D0-A263-C307B160621B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4c0e78a54a7ae4ef97b7d5a2aaf4d6366e833d","datavalue":{"value":"logic-grammatical synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899896$5672E0DF-5525-4CFD-A318-16DF32081F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"409fbe252581c354125d9fdbe82dde6eb91f9959","datavalue":{"value":"program visualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899896$D18D7505-C3BF-4301-8066-3EBEB4AB3FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f41c701f9ca5968efebecc97c6b35b988bbf5b11","datavalue":{"value":"mixed computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899896$49313F91-442C-4939-9836-E700068B15A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3557e2faf4d80543b816b990309fe6580c066b9f","datavalue":{"value":"concretizing programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899896$2F92AC40-FCDC-4A3C-AEE2-0D6BFBE8C6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f0693618987eb858b56ced09b83371bfa4abd6","datavalue":{"value":"computer-aided program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899896$44DD11A5-ADAC-421F-AD02-0077056CB5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4989e6dbec88f1903309964fb4bcdb4c1bd20e8f","datavalue":{"value":"algebraic-grammatical apparatus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1899896$472E8D21-45D0-4553-A25E-4407566CE9C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98cd83fd979958aaf8f55eedae733a1697011a8b","datavalue":{"value":{"entity-type":"item","numeric-id":20964,"id":"Q20964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$093745F5-3DD9-4224-87E6-E21286D6A5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f41eea6c38120c5efc7b966e886a51a58f394d23","datavalue":{"value":{"entity-type":"item","numeric-id":13951,"id":"Q13951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$E2340DC6-FB97-4A7E-A348-9D0D64466329","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":"Q1899896$DF39909A-2C9D-498D-BD6D-BF63668D4077","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$E1DF57EA-8BF6-4044-BAC5-D61D5BA4DDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab093a96ade3491ae9b52c95def4a12e402a98e","datavalue":{"value":{"entity-type":"item","numeric-id":1062444,"id":"Q1062444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$9FE81BEF-399F-41E5-BD34-F7A3C335C038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efa321b5fd4ae2ae1f300587659df3f52bd0b56","datavalue":{"value":{"entity-type":"item","numeric-id":3735063,"id":"Q3735063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$3F3D26D1-9915-4104-8E8F-53ACA677B438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce6202770f170732d42a41b2734c315fa24285","datavalue":{"value":{"entity-type":"item","numeric-id":4237429,"id":"Q4237429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$1E6D495B-D72D-4C2C-837B-4928CBCCF031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$A2B4EBCF-6687-4E76-B3A4-23CFBBE1E160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84f03104a9ac585d8b4e68131b5641b281ec7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4055582,"id":"Q4055582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$17503965-A357-4A46-B0FB-DFD49B9ADE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0104cfd675ed2bde8eccc17abaf92db818257d","datavalue":{"value":{"entity-type":"item","numeric-id":3960098,"id":"Q3960098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$BC70A383-98A3-4293-A146-9F76738595ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f4f078a406b3592b17e09bdb000d0003e4047a","datavalue":{"value":{"entity-type":"item","numeric-id":4154035,"id":"Q4154035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$0D21B517-08B0-45B1-A4A0-773CC51F3401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefc38f44770a6f5b0ac7c5f909b99eefc868c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4712899,"id":"Q4712899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$9E8736E3-6CBC-4ACD-BFA5-DE3EC11D2077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119b045cb4fbc641fe5aa76ec5477d4371384ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1910963,"id":"Q1910963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$D797D2DC-CC13-41AD-AE69-EB1374A35E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2603cd6bac9dc0ea215b96ae0e0864f00dc1a6f4","datavalue":{"value":{"entity-type":"item","numeric-id":1910975,"id":"Q1910975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1899896$7014B1F0-2E31-47BB-A3B0-B4C2D8A43628","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea81b04a4dd6ea1ae62e56ece15027d884f2d916","datavalue":{"value":"https://doi.org/10.1007/bf01130094","type":"string"},"datatype":"url"},"type":"statement","id":"Q1899896$592F6A12-253A-4C34-B0C1-429D08088F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0a8512ab419a6e652ca016581a72ce765d0e990","datavalue":{"value":"W1964376144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1899896$84B8EB25-45F5-4E6D-90FB-AF0341FD8EB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf46f319d63f9e0789f735f4c58c45d4094b2ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3780492,"id":"Q3780492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2de6895fe99792d89d191d2cbba4a7d1cf46c4","datavalue":{"value":{"amount":"+0.8051496744155884","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":"Q1899896$C898331A-3172-40A9-9657-748D4587955D","rank":"normal"},{"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":"b9df8b790ca6984a9a9b12a1fc3c9b174bed9061","datavalue":{"value":{"amount":"+0.7990613579750061","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":"Q1899896$96F932EB-4DBA-40EE-B8EF-74989CA43542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc8ac6a8c26ca6e8fa34adea54c1657cdc19332","datavalue":{"value":{"entity-type":"item","numeric-id":3687682,"id":"Q3687682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2bed5049af2f228da57f356a79653cae2deaef","datavalue":{"value":{"amount":"+0.7911154627799988","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":"Q1899896$8322B607-E11A-4209-9F34-CBB8C9ABD39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a2418c01d7d4c5a06cc6efa211da7d51b094d","datavalue":{"value":{"entity-type":"item","numeric-id":3814781,"id":"Q3814781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cc7a126df938e88e17f1a577cf770ad8828f33","datavalue":{"value":{"amount":"+0.7899308204650879","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":"Q1899896$B3AC1954-E920-4EB0-A449-B15D09A79C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb70e32c7438af6fb904e891c8cbcd827c00fae4","datavalue":{"value":{"entity-type":"item","numeric-id":4002107,"id":"Q4002107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c72b1c70ba075362599846dac96e1f486848972","datavalue":{"value":{"amount":"+0.7820712924003601","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":"Q1899896$50618002-5380-42DD-86E3-33F58A5E62E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalized program specifications and transformation synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalized_program_specifications_and_transformation_synthesis"}}}}}