{"entities":{"Q3723690":{"pageid":5753596,"ns":120,"title":"Item:Q3723690","lastrevid":50763071,"modified":"2026-01-15T02:15:32Z","type":"item","id":"Q3723690","labels":{"en":{"language":"en","value":"Formal Techniques for Deriving Binary Search Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954264"}},"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":"Q3723690$222A5640-21EB-4021-9F08-672B0EB1F7D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6268cfb35fffbab930692d71a9a5fb556fee3e9c","datavalue":{"value":{"text":"Formal Techniques for Deriving Binary Search Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3723690$73873F04-4A72-46DB-9F4A-E1D7003AF1A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eddfe99c5a339bf11ca3c3c94829b7ae12d3cdf","datavalue":{"value":"0593.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723690$20239A13-B08F-4755-A3EF-835127AE62D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56374dab3e93eec65bc00c2fed7522669aafefd0","datavalue":{"value":"10.1080/02522667.1985.10698821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723690$3693CCFD-EB94-4037-B2C1-00B07BEC25E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc549f4f57cb8fb7d6b43a60e626a42f722a9b9","datavalue":{"value":{"entity-type":"item","numeric-id":1050778,"id":"Q1050778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$C5B02D4B-8732-44DB-B284-6B96A2895D74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6a0a77cb14b02661b1e5854858fdaace54fd1d17","datavalue":{"value":{"entity-type":"item","numeric-id":2764972,"id":"Q2764972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$B40CD650-66C2-4A43-84FA-EF864C32F095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3723690$2C12BE34-EA1B-4368-8904-35C779C76402","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723690$81FE83AA-DBB1-4F57-8C69-3ABBAA06C3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723690$32D6CDE6-0647-4C67-B4EF-B44179F69B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723690$D558EFF7-FD04-413A-BFF4-FF0C1B106734","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c92a5867cba9b3e882483e3ef0377445c2db6b75","datavalue":{"value":"3954264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723690$8DE075EF-43E2-43C3-A09D-D861CA624CA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237f6e7456a67e7690ca213a110e8f04b42193e5","datavalue":{"value":"formal techniques for deriving correct algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723690$124DA197-786D-4BD0-992F-667930D3E3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02746b2e6e92b4fae3469d6654cfaeb5a8506290","datavalue":{"value":"controlling variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723690$B5299E15-32DA-49E5-AD54-3BF3198503C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee7fdf2049db9290d38cc9f0709f4ba151de5a1","datavalue":{"value":"guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723690$5BD367BD-20EC-4C59-B38D-4B6DBF49C57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3979a896f7197a1c43d259d2a30ef2ee1c07f4c4","datavalue":{"value":"post-conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723690$BF70399F-D624-45B2-A236-BF4802CBDC92","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":"Q3723690$2E568C0C-8BB1-44F5-B35C-135C6A1A20B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbe7b5ec6099db48db1ab2015bae9122d9606136","datavalue":{"value":"https://doi.org/10.1080/02522667.1985.10698821","type":"string"},"datatype":"url"},"type":"statement","id":"Q3723690$C850F1D0-8881-4A7F-9A65-A8B958923EE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4d19d422b19459e1e4b1b024861adbd966342a4","datavalue":{"value":"W2016170755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723690$3284DA58-E93D-4023-9340-8A2F1C71DD0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$94A87175-62C5-42EA-847E-B04C7EB8B08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c05a5274ff4e0cdb3e6ef34d413a7f16f96d3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4174692,"id":"Q4174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$77EB8C3B-A965-4FD4-A7E0-906764A4651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a955c5b68584ce61b018e571e6c8c93272676be6","datavalue":{"value":{"entity-type":"item","numeric-id":3847729,"id":"Q3847729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$2B9D5D6E-FF43-413E-9D72-28C86D000901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$5588320B-7192-48B2-8C23-BAAF93294CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33e7de28808a367cef4d346ec2060e4cf93a0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5670158,"id":"Q5670158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$5EF2CB5C-F674-4F44-8ABB-3D27C41670D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734b4579b771bb65fba625db51836de5c14347dd","datavalue":{"value":{"entity-type":"item","numeric-id":3282304,"id":"Q3282304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$6AAFDC68-1DA1-47E3-BC77-8187783226B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$B0DF7D35-9D6A-4CB7-93F8-DC557ECD478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5042e107c97fc3b571de7f478d8b6d2642d08761","datavalue":{"value":{"entity-type":"item","numeric-id":4118792,"id":"Q4118792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$4BDA555B-ABF2-41FB-BBB6-500B19DCB1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff81489e80366438468bf6dfe10c7a159bc3ea8c","datavalue":{"value":{"entity-type":"item","numeric-id":4057549,"id":"Q4057549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$1390548B-DB84-4315-89C8-06C0E7B02974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ef9d19336642477e74f92ab0c66d8766d7ee09","datavalue":{"value":{"entity-type":"item","numeric-id":3657441,"id":"Q3657441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723690$D3263341-278D-467F-81A9-DB921E13BC2E","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":"Q3723690$DDD7F288-05F9-462E-BC7A-A34AD47E9D89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c229517954d211b6f1c4f984dffa0b196a82702","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd8d62089f4d111c3b889bb7dc82f08f62c8931","datavalue":{"value":{"amount":"+0.8374326","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":"Q3723690$3DBB45AD-60A8-48C2-9567-DBC8E6BD6D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd23afc70e331b687ec6a18592fa23d43d423634","datavalue":{"value":{"entity-type":"item","numeric-id":1822923,"id":"Q1822923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d819a0cb2eb12147de793108e830e65d8dad4c4","datavalue":{"value":{"amount":"+0.83739555","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":"Q3723690$AB3A76C5-5752-4162-A755-16BD6BCFACCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3360a61977a1ee968db1e29c50105216b7d324b3","datavalue":{"value":{"entity-type":"item","numeric-id":4268421,"id":"Q4268421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8fa7fdb053919d7232c4ee9a1c406871b83d9f","datavalue":{"value":{"amount":"+0.8338627","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":"Q3723690$663BAC90-9135-4CC9-9E74-5ED1852682D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c837a97f3b48db0b2986d8418e242dd2d62847e","datavalue":{"value":{"entity-type":"item","numeric-id":4995951,"id":"Q4995951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129a8a311f094f7b68c70ed9b54374c05ecbecd8","datavalue":{"value":{"amount":"+0.8334693","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":"Q3723690$F2EC7577-1BF5-499D-93BD-37C701CAAF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8122640eb70d1e880812195786a742162af73a","datavalue":{"value":{"entity-type":"item","numeric-id":779163,"id":"Q779163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f2db9a137cf8fa309f71ce1f3018741b776f83","datavalue":{"value":{"amount":"+0.83252233","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":"Q3723690$4575B200-9A46-4D40-B896-FF1A65B23E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1181c1757874949fd794c44531f402bb92d72f77","datavalue":{"value":{"entity-type":"item","numeric-id":3707401,"id":"Q3707401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708dec32db22ebe1a57846d710dcb733a6ca13d6","datavalue":{"value":{"amount":"+0.83209985","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":"Q3723690$F960622C-97CF-4398-BC4A-B65389971C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92e0f2be34bd5f65fd1bfcfe85121c140e4201e","datavalue":{"value":{"entity-type":"item","numeric-id":1575934,"id":"Q1575934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02c1bc157b94e67989d79a7eb137f400c4551eb","datavalue":{"value":{"amount":"+0.83193094","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":"Q3723690$1EF9ACAE-8D6D-402D-A922-145AC852C78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d8f39f42455f6c1e4eb3ef3c81673d50b47d56","datavalue":{"value":{"entity-type":"item","numeric-id":2970775,"id":"Q2970775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602a9f79f55acccdb8d23fca8dfdbbf1281abe41","datavalue":{"value":{"amount":"+0.8315847","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":"Q3723690$424E8AE7-93BC-4FCA-8BF8-1B91A98B37EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0294f772afc45e1d2472e820f88e87f978718519","datavalue":{"value":{"entity-type":"item","numeric-id":5153485,"id":"Q5153485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24c51d78d9ef8bfb1fd3129fe2ce418eed8908d","datavalue":{"value":{"amount":"+0.82795894","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":"Q3723690$5382DE55-992F-4F52-9AF3-8B351C8F1E79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3723690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3723690"}}}}}