{"entities":{"Q2113835":{"pageid":2124578,"ns":120,"title":"Item:Q2113835","lastrevid":57383559,"modified":"2026-03-30T18:14:00Z","type":"item","id":"Q2113835","labels":{"en":{"language":"en","value":"Partial correctness of a Fibonacci algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7488869"}},"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":"Q2113835$3D0B025D-11BB-49BA-9C47-1D73E7695F84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"576974a513b68761ca7f7dd4415f264681b5a8d8","datavalue":{"value":{"text":"Partial correctness of a Fibonacci algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2113835$71834F7C-B8A4-4A2D-9139-C37020EE808A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$820D85BA-1935-4858-82BA-66A8114D2985","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$F204E635-7A4B-4015-9AFE-B99EFF4C3A34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b9356dd598909cd854098580edef30353b10f02","datavalue":{"value":{"time":"+2022-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2113835$D65CCE65-4C3E-4653-84E6-5DDB8EE9C112","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113835$F7E4892F-63BE-4CBA-8431-DFB3F34B42DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113835$76622344-31AD-47A9-A907-746D473480F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113835$98533237-36F0-4D81-88B3-86C229BC3E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113835$0B47D991-2ACB-42CC-BFFE-450E32146216","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa298f2ac61c79bbfd7189c596f0adbbce818dc3","datavalue":{"value":"7488869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113835$BDB50783-F620-45FC-96D9-4BADF6B81CD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc330330af81c651fedbd47b883734cbc393641e","datavalue":{"value":"nominative data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113835$8A6D6DDA-D976-4ECC-8BA4-19AC59E5BA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113835$F697DB0D-CAFA-4DE3-8AAD-B1A35B3A0E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0514de64a92d377eb5b7f411a83a6f319c4635","datavalue":{"value":"Fibonacci sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113835$2C86C48E-BCAA-4E4F-A141-5B55FD2411C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$57A5B662-99A3-40F9-B69B-5B318D05A2EB","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":"Q2113835$FC22A29A-D26A-41B5-A05F-A1DBE2153E6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f9e9021e91e0d9aa60b3e3673dc1bdeaf802f3d","datavalue":{"value":"https://doi.org/10.2478/forma-2020-0016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2113835$3F99EA29-17F3-4D2B-B2AA-9E89DE63F918","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ececf1dbb0eba4e03e10beb95251383f3475c4a","datavalue":{"value":"W3143907783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113835$CEC5E278-F4C5-4BEB-A237-CE2ECDFB255C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$E9F6E5A1-5DEB-493F-B897-388F88F746C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$C2374B05-0D06-449C-BEF1-F6B68B719EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$488105B5-A8B3-418A-B514-A6DEFEF6A152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$1D863DC1-2D2D-4DDD-A4CE-28058376B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50098f7373776d4560222ecc8a748602d90caa1a","datavalue":{"value":{"entity-type":"item","numeric-id":1688748,"id":"Q1688748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$FEA0DDDB-1E9F-45BA-95EA-039B6A74A370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeae895a2eedc4d5094f7da768129446f8f2e69","datavalue":{"value":{"entity-type":"item","numeric-id":1650410,"id":"Q1650410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$078AEF3C-F20C-48CD-BF87-729CE98B9B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d91bfaa278ea5f6d261d9800ec324915876d776","datavalue":{"value":{"entity-type":"item","numeric-id":2311522,"id":"Q2311522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$C91CFC6B-F9AE-474A-A505-9AE2EC66ABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca891fbeb599e54094d6325ea944d3297b062ae","datavalue":{"value":{"entity-type":"item","numeric-id":2311523,"id":"Q2311523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$73D3C559-DBB7-47E6-8A3C-73237404CDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fbf368a20bdd3ab27aef01d424d68ccd72c8623","datavalue":{"value":{"entity-type":"item","numeric-id":2311524,"id":"Q2311524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$20220186-A944-4873-B7CD-89C541FF64ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44a6ed92c6c245811327538ca01c4b094bb1c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2311521,"id":"Q2311521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$39813B1C-5433-479B-84EB-5F7A8332E3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5a905b54e79a46eae8ed5e133348b084137d06","datavalue":{"value":{"entity-type":"item","numeric-id":2337338,"id":"Q2337338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$32A9965D-E63E-4C9C-8A05-C64624FCBB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2372b24e88953aed235b786ca1e00031c76e619a","datavalue":{"value":{"entity-type":"item","numeric-id":2337337,"id":"Q2337337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$3189821C-89A3-42B6-A904-EEF236581A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804d612aa23ca04bde66555843a754f787b9f3b8","datavalue":{"value":{"entity-type":"item","numeric-id":1796766,"id":"Q1796766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$A3321A2F-81C7-4E77-8CEA-AD76A34094F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129b34a25e9b7fb67fdfe3e59012717c8e20f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1650373,"id":"Q1650373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$C920D277-65E7-4173-BA01-4CAEBE76EB83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92b6dc4ce69c799cabdbc90f9e53faa84c6424a5","datavalue":{"value":"10.2478/FORMA-2020-0016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113835$5544DC08-5647-49E1-9342-8A98E2305146","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43ae278fbd5fe7ca8d8cf5cbc9d67e34432bc81","datavalue":{"value":{"entity-type":"item","numeric-id":6592315,"id":"Q6592315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5480005a5f64ef13aff0cc08f8ea02f3e0a8ee6","datavalue":{"value":{"amount":"+0.8558558225631714","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":"Q2113835$DDF7C877-3533-4B35-90DE-4CCDAF215424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b3c798b7f555ed21cc5776c6a654b949ca8478","datavalue":{"value":{"entity-type":"item","numeric-id":2337337,"id":"Q2337337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5da9ecf548d10f44f1e40153ce6c03b0492e0e9","datavalue":{"value":{"amount":"+0.8245676755905151","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":"Q2113835$6FE25A92-7779-478F-BCD2-B48E282C749E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1309c64ee93aec7c1d3e75069d0b5bfba7eb1a8","datavalue":{"value":{"entity-type":"item","numeric-id":2337338,"id":"Q2337338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9391cd96441988a58e588e7b83c91f1231aa0f58","datavalue":{"value":{"amount":"+0.8003925085067749","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":"Q2113835$ABE8FB5F-719D-4122-989D-E6F77436DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c09dec551365eca46146b68cf8e903857a4fdf","datavalue":{"value":{"entity-type":"item","numeric-id":6592314,"id":"Q6592314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256d0d4340037494555c03d039dc9f4786d851ef","datavalue":{"value":{"amount":"+0.7544912099838257","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":"Q2113835$3E7155A8-92EA-499D-9BE4-307B39EE4688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f90b9866779c45ae9ebcdc7c54fe7d4c323f7a","datavalue":{"value":{"entity-type":"item","numeric-id":2311524,"id":"Q2311524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cfbba5d02b7d2dc83eb95a628caafac80d40e2","datavalue":{"value":{"amount":"+0.7437609434127808","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":"Q2113835$04714CE8-D683-44AF-B06D-01D601C41DCB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113835$AB0CE636-AB12-44FE-A158-890ADBB3B4C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2113835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2113835"}}}}}