{"entities":{"Q1900220":{"pageid":1910962,"ns":120,"title":"Item:Q1900220","lastrevid":73722792,"modified":"2026-04-14T17:02:30Z","type":"item","id":"Q1900220","labels":{"en":{"language":"en","value":"A theory for deductive synthesis of algorithms in the computing milieu"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 810821"}},"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":"Q1900220$584EB15E-4CDC-4826-83BA-62915E9564F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5027f0b9f6f69b39b95dae579be2d2a7c7e1e5d5","datavalue":{"value":{"text":"A theory for deductive synthesis of algorithms in the computing milieu","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900220$3E54086F-D60B-45CD-A590-9A1FDC8F53A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24844b5c721a79dc8e0b3de0510a5b30a7497782","datavalue":{"value":"0834.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900220$0E39DBF2-666B-4E86-AF9A-D450636CEB3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2b64f0961f0651858ae8900a541d0d880eb189","datavalue":{"value":{"entity-type":"item","numeric-id":1885029,"id":"Q1885029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900220$A3395940-51A5-4D26-B1EC-7C8867548C51","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":"Q1900220$59A37F80-4B32-4B92-BE02-DC34337259B0","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":"Q1900220$8261DB3D-1A7E-4914-ACEF-C6C960EB876E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900220$EE69AF9F-D744-4EE4-8EBD-33E0CFBAF36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900220$CA497528-9C70-409C-92E0-BC9F8609F765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900220$C185E21D-0133-4E14-BA2C-EC1560CAEFFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"052a54b7b216e828b4a183419d1d577a442d7027","datavalue":{"value":"810821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900220$248C9127-1FE7-493E-B197-6DB2AEFB6B5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d5279314838788f37e5afdd2b7967b6dc375b8","datavalue":{"value":"realizational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900220$AB4E743B-25A2-440D-9265-12577BC3D260","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":"Q1900220$193EE886-F0A1-4F51-82E8-31862BDC0B0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20fc7d7ba5f108d8e9343cb1b403ed5c2e13208e","datavalue":{"value":{"entity-type":"item","numeric-id":4539595,"id":"Q4539595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2589d6ac63b62e5e842200c3edd0f7a7be6465","datavalue":{"value":{"amount":"+0.886383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$2A275428-5391-4EC1-A64A-5F061635607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddbba81360bdeefdadc59caf7b14c9a97fd920e","datavalue":{"value":{"entity-type":"item","numeric-id":3730005,"id":"Q3730005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6ccfa38c803c8fb8fa6c340dc3b939deb814ac","datavalue":{"value":{"amount":"+0.8836303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$E82BB279-6093-4ABC-836C-55697B47DE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438161d580242b1bd18397d7421ea3ce7f7dfdab","datavalue":{"value":{"entity-type":"item","numeric-id":3185770,"id":"Q3185770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5586da94015d6741ee84b502df1d592a13999c4a","datavalue":{"value":{"amount":"+0.881676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$0CD5BAA2-57F5-4C7E-9D2B-255415957F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56e63f7671fe2a5a2a294cb752aabeb2cbc7635","datavalue":{"value":{"entity-type":"item","numeric-id":1025311,"id":"Q1025311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c99c98bbe1933139d3d0fbb5873eff5460c8495","datavalue":{"value":{"amount":"+0.8813565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$F16D0A4C-5E99-41D4-9CD5-AA82D809A6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739de54d54a24a71d74f9a0c8bfe93588c075e86","datavalue":{"value":{"entity-type":"item","numeric-id":3352490,"id":"Q3352490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fd7ce51a8bbc81984a1752fabf4a62608908c7","datavalue":{"value":{"amount":"+0.8811754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$8AEEC809-166A-4537-BF98-6E5A80D747A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcbfa10c51a9c70912e92adba6a0a76644b0d28","datavalue":{"value":{"entity-type":"item","numeric-id":3314967,"id":"Q3314967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99ce6a3e2b8d3a1ca79b43f00c99371210e0251","datavalue":{"value":{"amount":"+0.88058805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$C3526274-2864-4062-9117-2D862C953B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b740e6562f22809a9eb23e9cec9c2e79661e95","datavalue":{"value":{"amount":"+0.8780112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$7ADC1086-215C-438E-9BCF-4B6E53F1856C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26377171112486b33026ddc7b78658a0583ca1b0","datavalue":{"value":{"entity-type":"item","numeric-id":1822927,"id":"Q1822927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2516070e5ccf4d9e6deb1dcbe2d410eef495c6a7","datavalue":{"value":{"amount":"+0.87648416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$999E3837-3203-4714-A636-EF355066359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6a2a9599d0d8fb5239a32e9baaab1607a5fe98","datavalue":{"value":{"entity-type":"item","numeric-id":3026355,"id":"Q3026355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2516070e5ccf4d9e6deb1dcbe2d410eef495c6a7","datavalue":{"value":{"amount":"+0.87648416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1900220$77A2645D-FE22-445F-B522-4D08C2B8042F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory for deductive synthesis of algorithms in the computing milieu","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_for_deductive_synthesis_of_algorithms_in_the_computing_milieu"}}}}}