{"entities":{"Q3559765":{"pageid":5589669,"ns":120,"title":"Item:Q3559765","lastrevid":87365903,"modified":"2026-06-04T11:30:11Z","type":"item","id":"Q3559765","labels":{"en":{"language":"en","value":"Embedding of Systems of Affine Recurrence Equations in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705576"}},"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":"Q3559765$84ADA330-D67D-4B01-A4E4-CAC4583303E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"104097123b47984f44d6c5027b2a8ed283f09fc1","datavalue":{"value":{"text":"Embedding of Systems of Affine Recurrence Equations in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559765$6D3DD858-EE46-4451-B6D7-2E0DD853A3D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f74d2be63143f2e7b4e547005407d9d4ae98b0b7","datavalue":{"value":"1279.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559765$8A3BB7B0-4888-4B34-BCF8-ACD0EA8C2E88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f21ac6af6d87be4f2fc35e4d6cc304e88eb9d73f","datavalue":{"value":"10.1007/10930755_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559765$1F7E4951-0F60-4AC2-A861-3A1AE7425BAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f0e18fdd00238943dbba3bf0ab72db29f03c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1389679,"id":"Q1389679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559765$3F1C3667-A08D-4A39-8056-5D3C088E44FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"322d1bbf43d96eabe74baa00ad17d618005c3800","datavalue":{"value":{"entity-type":"item","numeric-id":287368,"id":"Q287368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559765$F67A7BA9-4EEA-4957-9346-DE238A8DF350","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559765$84B353A7-FBB3-4E07-8290-3B57200CEAA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3559765$4CD4DC31-589D-48C8-887A-4F452622A45E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559765$FB48E908-CBC3-46CA-BAC0-06295A1767D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3fe6564feb151278d7bec6ab669b5a0a6e40809","datavalue":{"value":"5705576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559765$86EBB9B7-BD60-4465-BB86-CCA23040BE69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559765$6DDDB953-61A1-4F11-B317-05BE04BC021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559765$B90E2CC3-9FBE-45B8-A8C3-B35244CAFB59","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":"Q3559765$A872548E-196F-42C5-9076-1DB873D54793","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58329e6d62bbbbc5b6fdc870623cb233cbf83dbd","datavalue":{"value":"https://doi.org/10.1007/10930755_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559765$5AE00E63-7CA8-424E-8E01-8D9914A8B959","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71eb3b4a19d8fcfe071f80d2bcf75c26bcc170f1","datavalue":{"value":"W1535723389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559765$CF2E43F8-7E65-43DF-8A57-D5D61B5C4769","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cecb197cba373237d74ec245fe75d5b1a83f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54606cc52317344b49c463a200169474813ac4e","datavalue":{"value":{"amount":"+0.84805083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$5A0DEBDF-4485-4DAA-BF76-A64118507C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cf8b0db6a23b172da9a9459498ad2a216039bb","datavalue":{"value":{"entity-type":"item","numeric-id":5505507,"id":"Q5505507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d84fe6d18f8c52883817d0b7deb72e72644da9a","datavalue":{"value":{"amount":"+0.84519446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$6D34D663-3701-4DFF-999C-847A65D8758B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e4b13b9c8e15eb79d17e078f2f9b4e46a3a5a8","datavalue":{"value":{"entity-type":"item","numeric-id":3105114,"id":"Q3105114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c01cd76ac2bfedac2e0a2cb5acf94a028c436a","datavalue":{"value":{"amount":"+0.8448369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$E9FD16E9-FFCE-4E6F-8B0C-0C3154F287E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1cfc0ee441c55061ade0df25f42404a102491b","datavalue":{"value":{"entity-type":"item","numeric-id":5327365,"id":"Q5327365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9e89c19a3e319450e52883c3340ac6f4b04311","datavalue":{"value":{"amount":"+0.8431554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$BF68F162-04F7-4CC2-AAA6-8E80D943720B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0768fcace66c5f88e37f89ee3137123d4bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":5428839,"id":"Q5428839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06dfde1630e1523c728a2d196e595678aa7356c","datavalue":{"value":{"amount":"+0.84101284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$EE94C9CE-B220-46AD-A286-E586F151BDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373e41fc02db44aae8e55356356be213cc7d3b74","datavalue":{"value":{"entity-type":"item","numeric-id":1014638,"id":"Q1014638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06dfde1630e1523c728a2d196e595678aa7356c","datavalue":{"value":{"amount":"+0.84101284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$C8BAC7CC-5091-4F3E-A175-1FEB80485C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a04bd870194a7ce7cbc875d3aa605ee882ab6fe","datavalue":{"value":{"entity-type":"item","numeric-id":3431546,"id":"Q3431546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb826e428001467f49d72a1e785292dc637e8c3d","datavalue":{"value":{"amount":"+0.8388853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$5123CD40-090B-4421-83FD-94989830E79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6420c792dd462fa17848f8fb268b8f7977414da1","datavalue":{"value":{"entity-type":"item","numeric-id":4813045,"id":"Q4813045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95eb82a8d8a53f24a2fde8a86d1ee5a148768449","datavalue":{"value":{"amount":"+0.83656794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$9CA9285D-CB22-4D4C-A243-FED63318E39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8dd60d8ffa429e9574b03af9bed59b69a12dd50","datavalue":{"value":{"entity-type":"item","numeric-id":5200106,"id":"Q5200106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80882b3c8983f7df7bfee597035dcc398497f6b6","datavalue":{"value":{"amount":"+0.834352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$2EA80AEC-D104-4A8B-92BD-DD844C480D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66054b45a9665394bdd04e7f8f70b8248fef5d15","datavalue":{"value":{"entity-type":"item","numeric-id":5828042,"id":"Q5828042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dea7d492dc3eecd6f2ae2a5f8846843d69dc292","datavalue":{"value":{"amount":"+0.8340118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3559765$4011F4BD-9D04-42B1-BD1E-3EB476940F8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding of Systems of Affine Recurrence Equations in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_of_Systems_of_Affine_Recurrence_Equations_in_Coq"}}}}}