{"entities":{"Q1683699":{"pageid":1694440,"ns":120,"title":"Item:Q1683699","lastrevid":71967228,"modified":"2026-04-14T01:46:08Z","type":"item","id":"Q1683699","labels":{"en":{"language":"en","value":"Programming from metaphorisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6814737"}},"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":"Q1683699$03706585-1182-4446-8A8C-C7C30948E797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd0ab6836a3c2c8d4b642e73ab67efb8813f534e","datavalue":{"value":{"text":"Programming from metaphorisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683699$FADE5DB1-1D71-4EAB-A642-4AB7E9C730DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6be480236161a8d2bec27a2fefd19d82278ce655","datavalue":{"value":"1381.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683699$374D6FE9-B2A9-4B5D-AA11-757134819B97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b471f64e9099db93b347de45c232b233ea6e17a2","datavalue":{"value":{"entity-type":"item","numeric-id":299178,"id":"Q299178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$F7E16F55-30B5-49B7-BAB1-92CFDA577962","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$F9526AD3-62F4-449D-A635-8D7E459E426A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0b35d2e482cf5e430246ef005011e53c42974f0","datavalue":{"value":{"time":"+2017-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1683699$A47D76ED-E002-422A-A5A7-7816850DBF97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6697ffe06adc79c8711fe15edc8ceaed5449447","datavalue":{"value":"https://arxiv.org/abs/1709.09013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683699$5804F802-0511-4460-A43A-62B95397B530","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683699$F8F4B629-D300-4594-849A-17D8F35EB0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683699$C1BA5334-485B-4075-905C-ED4EAB05F43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683699$2B52A902-7BB1-4CA2-BB1B-0EFD27071E89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0ecfa3bc92fe66178e4fc488c3fc2f6dff69af9","datavalue":{"value":"6814737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683699$94F21A60-3A07-4261-ADFE-8AFF070B83CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23803550ccea7a5faf716ed9be1234d51248b783","datavalue":{"value":"programming from specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683699$20D3EC5A-BEF2-4DC6-8B26-26F3D8C7F4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5f6a4488e8218c24dd76275ae41906f1646c66","datavalue":{"value":"algebra of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683699$55E21FC9-5ACA-45C5-8E94-54A652C4FD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f480c0247784b9e47d04afcba38a1d59065b0b","datavalue":{"value":"weakest precondition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683699$55B740A3-0976-4142-B330-DC51CE346E04","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":"Q1683699$ACA13AE1-1B16-4B54-91D8-2FCAEF6F00B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"847fd2cacff1ada304890594420c5a9fef4d3cf6","datavalue":{"value":"W2963898348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683699$FCF427B2-06FF-4657-8C73-7400A384889D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88ea5a992263a1b81c96b95c29c27f2b2d02613","datavalue":{"value":{"entity-type":"item","numeric-id":3460624,"id":"Q3460624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$0C28C971-630B-45CE-911C-4A856234023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40170e2f3e4a580506c9a2b7a732d2f25e339e3","datavalue":{"value":{"entity-type":"item","numeric-id":2638796,"id":"Q2638796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$80A731EB-06DD-466C-A8D1-45CB64CC3823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c98dec4731218f9786346f2241a6f7a4a7629db","datavalue":{"value":{"entity-type":"item","numeric-id":1931902,"id":"Q1931902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$81ED7D56-0CA3-480B-A2DE-05F7ADB01AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$74DD8CB9-65F4-4F80-AD4D-E584AD587DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e5b1ffc1fd8073de4f976d4764db5658742b24","datavalue":{"value":{"entity-type":"item","numeric-id":5790797,"id":"Q5790797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$37A99B05-9BCF-4C9A-8110-42F4B4BBCAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eabf3b065fe28773b21352239ee1cca367e40b6","datavalue":{"value":{"entity-type":"item","numeric-id":3498426,"id":"Q3498426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$AF2BE037-F5D2-4B18-994C-EECAF891D81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d20c6f655bbac618ef63dd05ccfc2d4cd9a820","datavalue":{"value":{"entity-type":"item","numeric-id":870275,"id":"Q870275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$218F634E-2B5F-48CB-91E9-5654290D41C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae63d93ea84a3972c8dfdff84c55f4e40042bd70","datavalue":{"value":{"entity-type":"item","numeric-id":1311465,"id":"Q1311465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$2E038C53-BD48-47E1-9B44-D5A64BC58C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1973cb42dae13c11d40464fda9c7ae89dd1360f","datavalue":{"value":{"entity-type":"item","numeric-id":4705620,"id":"Q4705620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$7940D885-8AD0-47B8-994C-5039B2DF99C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a8530cc8341477c91a6a458d8bc3eaffcd6c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1251072,"id":"Q1251072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$FB3CB2C9-BA7C-4241-8096-6FBA79B14D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97864e7c6a99ece042c37b2d603f504c31d24ba6","datavalue":{"value":{"entity-type":"item","numeric-id":582127,"id":"Q582127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$E7002EAD-AB94-4246-BAD7-4C25C93E5FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$67EA7258-4E43-49AC-A917-B24A00144799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d6b634a5ded65ca8a3eccd9fce8e0ef477cc40","datavalue":{"value":{"entity-type":"item","numeric-id":2374308,"id":"Q2374308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$E1FB5F66-E367-4189-9DE5-FC381FDBC5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$01E584CF-40F2-4199-ACCE-299C5EC04BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e457aefff7227ec2d9e92fa001f8d2d7dd1bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1189893,"id":"Q1189893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$EDE61A25-8008-45D9-9866-EACB8DE30EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d8ccbd7988543f93ed95917ed77456ffc5845a","datavalue":{"value":{"entity-type":"item","numeric-id":4738116,"id":"Q4738116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$080E0699-8F8A-4B50-BCE5-41DA11C3899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b15f58a0414d2baa71ed6d655d1fa3469b3195","datavalue":{"value":{"entity-type":"item","numeric-id":2374314,"id":"Q2374314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$8047D284-C2EF-452C-8B72-9F826A6E07CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e82571462174702cae90fbb271bc375c63716c","datavalue":{"value":{"entity-type":"item","numeric-id":406457,"id":"Q406457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$48E78923-AAA5-4D5C-972E-2B2CFC2A7E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ee72dfb42e2ffc1454ffd9bb23bca2c64af87","datavalue":{"value":{"entity-type":"item","numeric-id":3917520,"id":"Q3917520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$3A73DD8C-9FF9-4B51-92C5-C5B1CD7A7C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ce2baffc43563f7c49b8f5f238edbcb4e1d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1391737,"id":"Q1391737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$06A8D464-2910-454B-A837-754AF0377979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$AF9439FA-F540-4238-A23C-38422463038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$C04BF0CC-37BB-45FC-914E-029F1E73A70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300b066b262aaa5087292d44055e54225031dfcb","datavalue":{"value":{"entity-type":"item","numeric-id":1881267,"id":"Q1881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$B84FB01D-9D2A-43E6-BC3F-4C62A9B371A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$69A360F7-9A38-42E9-B2F9-6FBE8F3AF67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f700a75ce07071ada4e1d187b51eb2723a50613","datavalue":{"value":{"entity-type":"item","numeric-id":5191091,"id":"Q5191091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683699$C0B80DE2-D590-4187-B2ED-ACD54FF3559E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33b7dbc3705bec51fdbbccd915e43d30926d7a61","datavalue":{"value":"10.1016/J.JLAMP.2017.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683699$B4866676-EEE8-42E0-985E-50E946FC880D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc3fc8bf7feccedc8426db1c10651a92bb2303b2","datavalue":{"value":{"entity-type":"item","numeric-id":3460624,"id":"Q3460624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9973a29eb49d0d396e4fabcf75e8c0ebb7bb10b6","datavalue":{"value":{"amount":"+0.9619038105010986","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":"Q1683699$C91EC1F3-D831-454C-A299-803F89E95AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73159b10e8f8af27f079b02153a82aee2dd07b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1203125,"id":"Q1203125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cd0d5cf5883329738132edfb1178e29e549c8f","datavalue":{"value":{"amount":"+0.6810017228126526","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":"Q1683699$ED0C31F5-9DA6-4A6E-804E-ECAA4BBD8037","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":"7dd88546bf41d4ac61755a157aa7457b4e429f3a","datavalue":{"value":{"amount":"+0.6730030179023743","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":"Q1683699$3584C4BB-65FD-4A14-98B5-72770F8257A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e9309691e6dae97032b2f3ec7c3e38decde3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4727399,"id":"Q4727399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd88546bf41d4ac61755a157aa7457b4e429f3a","datavalue":{"value":{"amount":"+0.6730030179023743","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":"Q1683699$A7381E5F-406D-4E80-8DE5-50060DAF13A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17aa412fc39b15e8eee9b4c28672c58ae88bf579","datavalue":{"value":{"amount":"+0.6693646907806396","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":"Q1683699$1E9F8CE8-F7E6-42B3-8E62-0AE9DA29F69F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming from metaphorisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_from_metaphorisms"}}}}}