{"entities":{"Q2374306":{"pageid":2385049,"ns":120,"title":"Item:Q2374306","lastrevid":78609020,"modified":"2026-05-06T12:00:28Z","type":"item","id":"Q2374306","labels":{"en":{"language":"en","value":"Formal derivation of greedy algorithms from relational specifications: a tutorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6663640"}},"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":"Q2374306$93D7A83D-CF21-4E2E-8372-227E2F84E659","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"721462b0d588d3b72ec10aa187c75bd8d04a6438","datavalue":{"value":{"text":"Formal derivation of greedy algorithms from relational specifications: a tutorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2374306$511ED685-CF7B-4858-BB0D-BF893659FF0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d5974a237309315799954b2a35e01976714b2b8","datavalue":{"value":"1355.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374306$463A5636-D2F7-4F0A-8240-8D219FC0DD02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1806a2e88a4dccd151835afa5ea7b6b71b5306ff","datavalue":{"value":{"entity-type":"item","numeric-id":2374305,"id":"Q2374305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$F11C4AF9-41C5-4465-9C33-B74F4DE96670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de02a9fa0078d5c4dd476379688b2208c97acc13","datavalue":{"value":{"entity-type":"item","numeric-id":1648869,"id":"Q1648869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$E3C12F94-EFF9-4E7B-BB70-F3541773A0F2","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":"Q2374306$D24E0121-E55E-4660-9D6E-D17080224922","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1669fd63345cf64b2617c12ed41ffb07d8520","datavalue":{"value":{"time":"+2016-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2374306$565161F4-C1F9-4FE5-85B5-635EBCA547E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374306$3360FEC6-9EAF-43EB-B2CD-CB7485D049BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374306$FFB444D1-172A-4085-A79D-EF0B9865AF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374306$92F47B94-68D5-4EF3-9902-53C837153A67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01cb685456bf06d243d1b62f65aa10f91c0ad70","datavalue":{"value":"6663640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374306$9F111D61-0CF8-41F3-8822-CE56E4E5E6A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374306$3A3DAFB9-1FF5-4E63-85EB-2888B8D7A9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5f6a4488e8218c24dd76275ae41906f1646c66","datavalue":{"value":"algebra of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374306$163938B2-C24F-4F4D-A19F-9B9AB0E084F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374306$50EB1AE6-CDBC-47C6-A468-C145B77DB1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9af64aff6f4b1584152e161c095f4457b67fd943","datavalue":{"value":"dependent type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374306$557F7EEC-21FF-4D13-A3B5-3A1FAEF82A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063c69dbafc96ae561366df8c8c971a14e4d7852","datavalue":{"value":"machine-aided theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374306$5D671506-E06C-43FF-B015-89D2E1E7E96C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$E271E1CE-37FE-4E57-A77F-D7EF8616A225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9db81755b8583ee717e753dd02789b0672cce84d","datavalue":{"value":{"entity-type":"item","numeric-id":21811,"id":"Q21811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$DFE95103-70C6-4F06-9BAD-22A8514A2DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d72ab927629ec388c848089eb858c4f64bea438","datavalue":{"value":{"entity-type":"item","numeric-id":21956,"id":"Q21956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$B7BDF18F-0165-44E0-9057-7EC1DDA90062","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":"Q2374306$D27E956F-5308-4E6C-AAFC-534714D18647","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ee4370c922bae3c69dd903c409faed177200dde","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2374306$B4251420-4FA7-4F12-8333-AE52E5793A70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38d7573d1fc6b0b44e004b98d99951adecb6d79d","datavalue":{"value":"W2267561372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374306$DD0D9059-BBE1-46EF-A4B7-34779EF3B08B","rank":"normal"}],"P223":[{"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":"Q2374306$B8A24DC5-1E4E-467A-83A9-4FD3282414F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f702b92d66893c6092c6d287512f21c49a795242","datavalue":{"value":{"entity-type":"item","numeric-id":5695116,"id":"Q5695116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$46B81B6D-68CA-40A5-8C4E-BE773209AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99419914e050ccf47cae4e01d560d77ad4b300ae","datavalue":{"value":{"entity-type":"item","numeric-id":1916366,"id":"Q1916366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$3B7617DB-C5D3-49D9-8945-81DFE6B53A37","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":"Q2374306$8368AE4A-4322-4F5B-A140-EE6BB05231CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cc78eee4241c63b7c8b1ec5c7302bcdb9872c5","datavalue":{"value":{"entity-type":"item","numeric-id":4738113,"id":"Q4738113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$F5B96B5E-042D-4B1B-98F0-947F03285CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c52ec8d7a769fecbeb6e9eb7e9cf0c37315768","datavalue":{"value":{"entity-type":"item","numeric-id":4500365,"id":"Q4500365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$43BC7EA1-8560-4A62-A0D5-48A274724980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae11c34bc2501c08760c5d0168667dce9f66244","datavalue":{"value":{"entity-type":"item","numeric-id":2817688,"id":"Q2817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$93498741-A14B-401B-AE1F-B13D0CF35C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bdd715b1026d1cb98b08aebff75dd42a415013","datavalue":{"value":{"entity-type":"item","numeric-id":3644935,"id":"Q3644935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$BB57A3F3-C73A-4A53-833A-98E798223C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a59a7b94eaa18737dc78a96a731d757f32ae17","datavalue":{"value":{"entity-type":"item","numeric-id":3007585,"id":"Q3007585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$C171FE13-B3A1-43D4-9743-202C444CB4CF","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":"Q2374306$0BF72693-4BCD-46BB-A6C2-5FF752A0CE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1420eb5b183c580e3eaa2025b4097787d860ff45","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$A61F9176-0B6F-4EAD-9D05-1040295FD76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8d252c4b63fb90083780691f3f8fc55c61a1bf","datavalue":{"value":{"entity-type":"item","numeric-id":969585,"id":"Q969585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$383DFEB8-F366-410D-86D8-D35131443E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df06466b6f377c39c331464b5c7d3ec349130c2","datavalue":{"value":{"entity-type":"item","numeric-id":5692153,"id":"Q5692153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374306$9239961C-4F79-4370-AB96-34A611D85312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87cb7488ffc9f03dbc471a13b3c688a4b267de38","datavalue":{"value":"10.1016/J.JLAMP.2015.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374306$D0BFDAD8-874F-453A-B9ED-2105452113EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a22fa7be21a5b1b1d19d69ff2110b83b91e040e","datavalue":{"value":{"entity-type":"item","numeric-id":1931902,"id":"Q1931902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc3c04ba8188cc0f6d522eec913958ffa1379c4","datavalue":{"value":{"amount":"+0.7379746437072754","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":"Q2374306$5EF77449-8465-45CA-97F7-127745B806B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7a1389e72e761145fbc41a5b93293e4ec3017f","datavalue":{"value":{"entity-type":"item","numeric-id":5712433,"id":"Q5712433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf541b02c60c2265eca81f5be30311fc4ad28ca","datavalue":{"value":{"amount":"+0.7353805899620056","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":"Q2374306$3C5AB6F3-072A-4A2B-8F42-6E68AA2A9CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa46a956faad38e3f1771e7b96a1754e6c4a524","datavalue":{"value":{"entity-type":"item","numeric-id":3007585,"id":"Q3007585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26337f6d31d26f61b81ce6000757fd9c8fb7d917","datavalue":{"value":{"amount":"+0.7331823110580444","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":"Q2374306$AD052E01-4E65-4A1D-9E7D-B3AE72BCB5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fd6e82fda8b1632b23ee9629703362da7b6d82","datavalue":{"value":{"entity-type":"item","numeric-id":4362883,"id":"Q4362883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3a937f49bc7ef8b264f14866a806cdd98964b7","datavalue":{"value":{"amount":"+0.7276503443717957","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":"Q2374306$B2B969F0-9CA3-4AC8-B735-01073EB6E017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795d655dee71c3122fa8ca5ec82f8ea5c6a19008","datavalue":{"value":{"entity-type":"item","numeric-id":3585060,"id":"Q3585060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3a937f49bc7ef8b264f14866a806cdd98964b7","datavalue":{"value":{"amount":"+0.7276503443717957","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":"Q2374306$EB7E37DA-AA7C-491C-ACF0-6F541824EC63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal derivation of greedy algorithms from relational specifications: a tutorial","badges":[]}}}}}