{"entities":{"Q736840":{"pageid":738689,"ns":120,"title":"Item:Q736840","lastrevid":63956124,"modified":"2026-04-11T16:40:29Z","type":"item","id":"Q736840","labels":{"en":{"language":"en","value":"Provably correct derivation of algorithms using FermaT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609475"}},"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":"Q736840$386FFCD9-4A86-4593-B4A8-97B77AF5F66C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7840e298d430e4d3198e1b3770e282e029a8b78a","datavalue":{"value":{"text":"Provably correct derivation of algorithms using FermaT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736840$BE31AB2B-BF71-412B-9C78-1ABDD12EB4FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42fb05cf14e288de5ad86de310fb06fcecd44e15","datavalue":{"value":"1342.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736840$58B61F25-4518-4305-81EC-0C9C43F4BF23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1da6219749186da9b109d5d624f9dbc91e9540be","datavalue":{"value":{"entity-type":"item","numeric-id":736839,"id":"Q736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$788C8F1F-FDD2-42E4-948F-D3EA24D5F847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaba274761d641033c5366f150e7046109eb456a","datavalue":{"value":{"entity-type":"item","numeric-id":716294,"id":"Q716294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$68DA37B6-26B0-4AE9-B71D-A2CAC006A757","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$F449515F-D6B8-48AA-B62B-AA98A0836909","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736840$E89D8050-E768-4F6E-9825-031FB4FD7227","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"723df6e64eb9287361460dec5f7fa3241de9936b","datavalue":{"value":"http://hdl.handle.net/2086/9173","type":"string"},"datatype":"url"},"type":"statement","id":"Q736840$C9539BB9-BA2C-473F-A722-E09E08252CAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736840$726FB673-00BB-44A9-B3A0-2F313CF2B2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736840$82EF4AFA-A504-4018-90D1-FC0CB41CB4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736840$ACEE0AA5-08D1-4EE3-B6DC-85CD19FCDD4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c5add0bdfc4f928cc5efdbd39bae2f323b3c51d","datavalue":{"value":"6609475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736840$FCB419D2-7490-46AD-8682-9CE7C3E36F6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544dd6cf222dd3d6adc0310d00b2dfe4a91d88c9","datavalue":{"value":"transformational programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q736840$7C362872-BDB8-496A-8E36-57C3CF0269F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q736840$CA02049C-5724-4070-A8D2-3345A1E92075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q736840$1138890A-3F1E-4BDF-BD87-E699DDB4015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55cd9888348f14c79bc7d2099be9862a0a3344c7","datavalue":{"value":"algorithm derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q736840$C061E466-B5A2-4A6B-A1A5-0BB9EB329343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c918c9acc0d3163ff11ae69f318b55cd45a24bd","datavalue":{"value":"FermaT","type":"string"},"datatype":"string"},"type":"statement","id":"Q736840$C78D89B2-44CD-450D-9277-D49C535DB0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6f14041fec8fdef2bfe7b3cfbeb81ed40faf7e","datavalue":{"value":"WSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q736840$B1A3F6B8-410A-4F75-9DD7-4E6382B776C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82e645c19ef516329a43430e439ec857e133219d","datavalue":{"value":{"entity-type":"item","numeric-id":28414,"id":"Q28414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$86586972-327A-41D1-8B04-9184F363C44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e0da2013ff3b32bcc05c0d69931ff88dc11497d","datavalue":{"value":{"entity-type":"item","numeric-id":35398,"id":"Q35398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$5C0AF493-1991-4E29-AB60-31570A7108E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae8739186f915dcdf22aade1969a1b064b021cc","datavalue":{"value":{"entity-type":"item","numeric-id":15781,"id":"Q15781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$2CF37E55-D3C7-44DE-A2AC-106A48C946D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$FAA56DD4-596E-4441-8B19-6253930995DB","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":"Q736840$6E55ECCF-9B9A-4EF1-A419-2AB75C6E2FD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96336601ca7979d2681649df94ef15548e3a58d7","datavalue":{"value":"W2016919797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736840$7C1222B7-9808-4991-91B3-6CB193C1B31B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d563b33a97ae532ceb4fa7611f2c0c8a02aa021","datavalue":{"value":{"entity-type":"item","numeric-id":1019025,"id":"Q1019025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$9BA09AD1-A5D0-4690-A549-D2A2116255B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbce0da924fa75b7a16a82de6097135ad7fef973","datavalue":{"value":{"entity-type":"item","numeric-id":4195967,"id":"Q4195967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$225D96D5-BEE4-4BDD-BEC0-1BBDD754A950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab093a96ade3491ae9b52c95def4a12e402a98e","datavalue":{"value":{"entity-type":"item","numeric-id":1062444,"id":"Q1062444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$F77413C0-9044-47F1-A20B-BB1C460DF868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0806a5e59f7fdb389bccd3bbb8481240750eb363","datavalue":{"value":{"entity-type":"item","numeric-id":3815517,"id":"Q3815517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$079038B9-4B8B-4DE5-912F-4498E2562A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447367c00a6eb1910657a616a3f360216597f2d3","datavalue":{"value":{"entity-type":"item","numeric-id":1103365,"id":"Q1103365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$5EC86D06-8C92-4BFA-8680-173145D0986A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825ab4c172520052e5230110b703709aa8296785","datavalue":{"value":{"entity-type":"item","numeric-id":4885873,"id":"Q4885873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$F913BCD3-9A68-4562-A72D-B2495B46C57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c8f9071577ba573850f7e66a886df33df06189","datavalue":{"value":{"entity-type":"item","numeric-id":3339253,"id":"Q3339253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$E7440037-5C4F-46AE-BE8C-7EB86C6B1F3D","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":"Q736840$3E704217-71EA-4399-87BE-0BC9EEF4F5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$A6ECD200-06D6-4E39-BFF8-A6524F472207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$A546F59C-10AE-4935-80B7-E44A30F3F17B","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":"Q736840$3153567E-00A5-4BF0-80B7-DB3FB182D942","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":"Q736840$9B6BC99D-1512-493C-8343-3962FDD5E859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$AE5E5601-0B29-42E2-975C-DAD0591DE918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a902cb5984a7967d2b7f17cb76cfdbe88b622b4","datavalue":{"value":{"entity-type":"item","numeric-id":4002148,"id":"Q4002148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$3DA642FA-D443-48C9-A00E-CDA752AF70FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638eb3a308c544ec7a423ab31468bc6929fab040","datavalue":{"value":{"entity-type":"item","numeric-id":4055144,"id":"Q4055144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$896251A1-BC9F-460C-8DD8-8FC11495AC4A","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":"Q736840$EDAFF538-833E-4F57-81E5-BCE91565E56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$0043D5A9-5886-4CA6-A781-E22A9205F051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a478be38050a04b93d92ea4bb1fa2d28ecd03ae","datavalue":{"value":{"entity-type":"item","numeric-id":4950861,"id":"Q4950861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$FBDA3C41-8CCB-4E98-A9CD-FBE4C5BFE1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370ea0ed88ddc514bf8cddd07d242b2b30d33f5f","datavalue":{"value":{"entity-type":"item","numeric-id":1887676,"id":"Q1887676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$CDE50D87-19E4-4A9D-9A01-540BF972094A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$7AEFEDC8-85C9-477C-936E-CFEAEEBABF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76be8b7525a713071e38a8fc2a89a0425945231","datavalue":{"value":{"entity-type":"item","numeric-id":4484349,"id":"Q4484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736840$2B758614-4266-461C-B5DE-0688302A3C39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a53b931e9a75285f48167ac116c11030b823149","datavalue":{"value":"10.1007/S00165-013-0287-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736840$BBE560F9-86D9-46D2-AE5E-22817299C431","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b1176ad4304d92eb668b02a244c311ae15fe40","datavalue":{"value":{"entity-type":"item","numeric-id":4932639,"id":"Q4932639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a358f94d7c96f9d9c60d17bd6536cd8b730fe80","datavalue":{"value":{"amount":"+0.8265985250473022","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":"Q736840$BB1834B8-36A4-4A65-A699-78A05E272C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00554e14e2494e96367dcb40e4edcafaa636fdbf","datavalue":{"value":{"entity-type":"item","numeric-id":3034803,"id":"Q3034803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7eb0f03d5377ab11418b33c7961201c600458d4","datavalue":{"value":{"amount":"+0.7530234456062317","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":"Q736840$CCCDC172-5071-4AEC-B636-3D3CA896CE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4631f1144e6e690531ba1bcf880d34bf69d8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1070817,"id":"Q1070817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b92472c53016efabfafa73c1902a9ba180d750","datavalue":{"value":{"amount":"+0.7352113127708435","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":"Q736840$AE8E1D09-A6B4-4772-9734-4C243B1AC611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e6b5302683360907da256906c47a77a0a40ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4884666,"id":"Q4884666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb319a8342da22ef297e13651cfb82351e1c1bb","datavalue":{"value":{"amount":"+0.7288844585418701","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":"Q736840$FA254950-CE52-4594-BF9A-8EA1A1E0C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3528af2edd751e3642e41265ecc0b8bd32705d","datavalue":{"value":{"entity-type":"item","numeric-id":4825544,"id":"Q4825544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb319a8342da22ef297e13651cfb82351e1c1bb","datavalue":{"value":{"amount":"+0.7288844585418701","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":"Q736840$B7DEF270-576C-4D0B-A97D-6AB50E46FF0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provably correct derivation of algorithms using FermaT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provably_correct_derivation_of_algorithms_using_FermaT"}}}}}