{"entities":{"Q4205072":{"pageid":6234673,"ns":120,"title":"Item:Q4205072","lastrevid":40769301,"modified":"2025-04-04T15:25:06Z","type":"item","id":"Q4205072","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4124989"}},"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":"Q4205072$464FF20A-6A79-4F6A-A796-F892EDC0E49E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a000157e41f58a2a1e2ca41c3ae537eab0f01be","datavalue":{"value":"0686.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205072$F3166822-796D-4BFC-868F-50A8D04CEC3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4205072$FC6BC9B3-50FF-40A4-9DB2-709C4448D9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"465916b21c4df3873b1fb206b35b9ffb3c6b8ee9","datavalue":{"value":{"entity-type":"item","numeric-id":3814795,"id":"Q3814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4205072$392D232C-519C-4DE5-94A1-BAC642BD21EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4205072$F294EC08-6CA8-4B26-B569-36AFF73C31C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205072$054CE4C3-90A5-4DC4-B50E-B7CE5964EB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205072$AA1F4EB5-4767-47EC-BD66-ADEC2A3EB5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205072$87D8F837-9329-426B-909C-AC16623E5A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205072$7E12AF6C-B532-489B-A1E0-57D5D53E20AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d155d6d20c3944ecb857cb16daa53b2e98fe38b","datavalue":{"value":"4124989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205072$9EFA94DB-834F-4372-B3A1-560A6D6D6764","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205072$D22A4AC9-CD8E-438A-B4CB-60BB14581642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205072$5605147F-8070-4928-BD5C-1FD441FF26BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205072$F7443A4F-D21A-41FA-8B40-3631EA41F45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205072$EC5887D0-A3C5-467C-8829-8278F174CC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa86aa93d75c7c6893f42ab151165fabc7f89ff3","datavalue":{"value":"asynchronous reactive program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205072$0C7C60EC-12B1-49F7-B31B-85887AF79F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf2b6f3c254fc30689dd31c281db45df88d70e67","datavalue":{"value":"program synthesis by constructive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205072$6D19C95C-CC03-40B6-9675-5BDE3B37C8EB","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":"Q4205072$C8506CBE-74F5-41D3-B62D-B7506BA5D646","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d10b9d83011d8e25549c6874210a583cb619ca","datavalue":{"value":{"entity-type":"item","numeric-id":3814796,"id":"Q3814796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b141a9a8d83ddb125c646f3e3941a09104dc63e9","datavalue":{"value":{"amount":"+0.9134465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$790D2A37-BE62-4858-BEB0-2A19378E3551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fa7898f81858dcdd92a4a778118665ccd1a4a0","datavalue":{"value":{"entity-type":"item","numeric-id":6045013,"id":"Q6045013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e699c8f9ee87b112311a83d5d719577fa9c662","datavalue":{"value":{"amount":"+0.90264976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$F0BA32B8-AA5D-4F92-BEA1-E793105B38EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65298b1d2da92378a7d1c8ef54d337b25cc482c","datavalue":{"value":{"amount":"+0.8724954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$F5CF4BE1-44AF-44FB-A858-B8D8D26C7F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ea3dcd3c7f39e06aec6e5356a4d598daf2ead28","datavalue":{"value":{"entity-type":"item","numeric-id":5295514,"id":"Q5295514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c8be1e5cbd9f796f3c0cfcbcd4eb06f7188c0a","datavalue":{"value":{"amount":"+0.869512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$603A20AC-8A25-493F-944A-4D998CD4C642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8924a7e1cad26dcec4f3c208c4c327c56ab1db72","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608a4c468373ea7796be592a86efff917791d09a","datavalue":{"value":{"amount":"+0.8692399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$391D90C1-5D67-46A0-82AC-2B880D434B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0a64a02caf70ac14f7070bf11a7ab917c2140","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af67784cf15b826d54a7683af361b0b73277ec69","datavalue":{"value":{"amount":"+0.8649608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$81D76544-03CC-40EE-BD1A-E1E42EACA749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6f4cb3899b89ca3aacd8a090cf56ccb05b3392","datavalue":{"value":{"entity-type":"item","numeric-id":4247268,"id":"Q4247268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543f0fb473f1b21ee809e730ca133cb95a0f1d9a","datavalue":{"value":{"amount":"+0.8613546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$5DE155DB-438B-41B2-B31C-2CAFDDA28B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec470c097908876b0737b0731364dfeef28af57","datavalue":{"value":{"entity-type":"item","numeric-id":1004062,"id":"Q1004062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9356039c172b53e126180a0982f1bbb7ceb1035e","datavalue":{"value":{"amount":"+0.86071014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$83D9BDFA-527E-4A78-A9C3-B13F43B22C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b120b2ad162f24a7ba0efd83df69264839571371","datavalue":{"value":{"entity-type":"item","numeric-id":4421728,"id":"Q4421728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e486cc528d1a88ba244caf468b8a2511356d22cc","datavalue":{"value":{"amount":"+0.85849905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4205072$5FC7C12C-26BB-4AE6-81A7-6CD0C6D6B1AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4205072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4205072"}}}}}