{"entities":{"Q6592315":{"pageid":14203472,"ns":120,"title":"Item:Q6592315","lastrevid":57383613,"modified":"2026-03-30T18:14:19Z","type":"item","id":"Q6592315","labels":{"en":{"language":"en","value":"Partial correctness of an algorithm computing Lucas sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7901006"}},"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":"Q6592315$7EA7DCDB-5911-442E-A039-5BCE2B9EB3E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"788d81e1fa83d4edfd26a212521a35968294a955","datavalue":{"value":{"text":"Partial correctness of an algorithm computing Lucas sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6592315$AF680E34-20CC-4481-B567-5A48AA98E3B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ccf7f5b3b0a4fc97b97321868a9bcdcde98ae1d","datavalue":{"value":"1543.68421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592315$54F559A7-76D8-444B-9D2F-2E6BB68A6CC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97f5866402635b99149bc460396a826566782037","datavalue":{"value":{"entity-type":"item","numeric-id":2337336,"id":"Q2337336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592315$80B1F168-F147-4994-A5C3-4A80F3C90020","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":"Q6592315$970C98D4-B5AC-405F-BA06-B6B9560FBE1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31004ac8a77f65318e51d8c72811e6bbf118c123","datavalue":{"value":{"time":"+2024-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6592315$CCAFA7C6-A205-49FB-8613-2548393FF47C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592315$BC25C3C0-DC71-4EB1-8CAF-476AFACC93D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592315$922F776F-676C-4FC1-A2FE-EB0B016740C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592315$1C82BC58-17FA-4788-8BAA-90313A3AE5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592315$983E0072-8EE8-4203-AB4E-C9E4D20AB564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592315$52B52FF4-B33C-413F-A6F7-DAA6A17EF476","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c87bb7711c20dd6b2a70be353fa29d327d88e38","datavalue":{"value":"7901006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592315$DEE0DCCB-06F8-4FC8-B945-5A4B5EB0A9D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc330330af81c651fedbd47b883734cbc393641e","datavalue":{"value":"nominative data","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592315$06AEB34F-F0D0-44A7-A6BF-6D641DE260D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592315$1E1EEDDC-C94D-47D8-BCF5-D851F4234E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6173606706b04932375fea9863120ddfa8f17e87","datavalue":{"value":"Lucas sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592315$E89737C2-B7C1-4155-8FA2-3A4232CC4096","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":"Q6592315$A951A3CC-83A3-4A76-84BB-31D0FD2DC7F2","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":"Q6592315$20BDAFD7-EBEE-488D-BA98-9489BB519914","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":"Q6592315$CCDAC0A3-7764-4AFF-B67F-65A9E952C58F","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":"Q6592315$E564C9D6-9111-44CE-9316-6115CC40FF33","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":"Q6592315$F66D3B78-3174-4FB0-8BFA-B39D8EFA7D50","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":"Q6592315$95DB5C11-7B98-4728-9065-1EE038884AA8","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":"Q6592315$CCD9B791-E5EE-4A6C-90D3-BE5F15879045","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":"Q6592315$93699837-F2A9-4CD2-A24F-F79FF86E27A3","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":"Q6592315$8D5C8A22-A65A-452B-98D2-D488102DB7C5","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":"Q6592315$EBADEE20-A43E-46B2-8C8A-F83EFA326E7B","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":"Q6592315$8E9BE3A4-D0F3-49B7-B0C3-9725706D5F66","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":"Q6592315$11475B9A-512C-4AD1-8587-4834D64C3A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ac5ae8515be762d73ae79a8e0e574a3d23d33d","datavalue":{"value":{"entity-type":"item","numeric-id":6592314,"id":"Q6592314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592315$0C6D2457-304C-497B-85CC-DD23AF365861","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":"Q6592315$92A47A10-3781-4F5E-B81F-C14D9A15E716","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":"Q6592315$E6B224D0-B905-44FD-AC5E-DA7933DBFE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ecdf0f9a2c68bbd93ad53a738ce566c2d9beb0","datavalue":{"value":{"entity-type":"item","numeric-id":2957095,"id":"Q2957095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592315$EA2B9797-D20F-4666-B194-6E9D0E65A540","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":"Q6592315$03B2DC6A-E609-463F-ADF7-A6EBDA2A7FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5d28f4440163ec6cb3409db556a3dceab3c4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4692934,"id":"Q4692934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592315$C499FAA7-0900-48AE-8CB0-0F6785891791","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3842ff028a33d6256025ce1958edf26e9a33cb2c","datavalue":{"value":"10.2478/FORMA-2020-0025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592315$B313BE11-1888-4791-986A-E52100AD687A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7552db9fd04152d821844505552b66770fa20c25","datavalue":{"value":{"entity-type":"item","numeric-id":2113835,"id":"Q2113835"},"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":"Q6592315$FE719107-7B7B-4C74-BC66-D17FA0F8C63B","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":"efaaefb829b4ed0f408b7ecbc7ac13befca49bf3","datavalue":{"value":{"amount":"+0.8100058436393738","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":"Q6592315$7CF67AA8-2B7E-4322-89EB-B106EF408F7C","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":"2787aa94aa1fa289ab7f09b92d1a8825f35b62ee","datavalue":{"value":{"amount":"+0.8022981286048889","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":"Q6592315$D28DAFC6-B3A2-431D-9A32-9BA540176114","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":"614f2f88144b2f053a2c0b3990500c38958b5a1d","datavalue":{"value":{"amount":"+0.7718372941017151","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":"Q6592315$178C5A28-1919-471C-91B8-72BC0ACD2910","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":"3682eb15d459d6db9cbb8a4c94ddbc932b0a93f1","datavalue":{"value":{"amount":"+0.7504239082336426","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":"Q6592315$DEE67ADA-76D2-4F03-9A02-A539E2E8E6FD","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":"Q6592315$BEEC016B-ED31-4875-BE57-8A9CB38152AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6592315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6592315"}}}}}