{"entities":{"Q1099165":{"pageid":1109917,"ns":120,"title":"Item:Q1099165","lastrevid":69637227,"modified":"2026-04-13T08:22:07Z","type":"item","id":"Q1099165","labels":{"en":{"language":"en","value":"Generic generalized Rosser fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039857"}},"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":"Q1099165$2063BC56-7F43-447D-B972-3CA812B7E525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92857c569657d864270d356fa15d7bbbfc772771","datavalue":{"value":{"text":"Generic generalized Rosser fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099165$DEC99B8F-96DC-4920-A15B-28EC131E8679","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28a0926e0264c24c5c11a284cb8b69a21332a5ff","datavalue":{"value":"0638.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099165$70B29F4B-BED0-4CAD-9D5F-DEC8FF888E8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ff838868823435bf8382acec8eaf9bf34b56787","datavalue":{"value":"10.1007/BF00370381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099165$02F7F218-0FE8-4165-9895-B7C941102E16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$80CC3D9B-0308-484D-AD40-4CD8FB92DCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$FEFFA4F7-039D-45D7-92F7-0BC199060E1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$8C224288-092B-4A41-A768-0AEA1C35AFD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1099165$73766A79-FC55-494A-8111-58D2C93761F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92a2ac49d8f1ccdb9f90544db40d7b8798724930","datavalue":{"value":"The usual provability predicate \\(\\Pr_{PA}\\) for Peano arithmetic enjoys a generalized fixed point property: for every total recursive function h there is a sentence C such that \\(\\vdash_{PA}\\Pr_{PA}(\\ulcorner C\\urcorner)\\leftrightarrow \\Pr_{PA}(\\ulcorner hC\\urcorner).\\) The formalized Rosser theorem is an instance of this construction. The paper introduces a modal system LR\\(=GL+\\{\\square c_ i\\leftrightarrow \\square A_ i(c_ i)\\), \\(c_ i\\to \\square c_ i|\\) \\(i\\in \\omega \\}+\\square A/A\\) (here GL is the logic of arithmetical provability and \\(\\{c_ i\\}_{i\\in \\omega}\\) is the set of new propositional constants). A usual provability interpretation \\(\\psi\\) of GL is extended in such a way that \\(\\phi c_ i\\) is a \\(\\Sigma\\) \\(0_ 1\\)-sentence and \\(\\vdash_{PA}\\phi (\\square c_ i\\leftrightarrow \\square A_ i(c_ i))\\). A modal completeness and a uniform arithmetical completeness theorem with respect of PA are established for LR. A \\(\\Sigma\\) \\(0_ 1\\)-sentence C for which \\(\\vdash_{PA}\\Pr_{PA}(\\ulcorner C\\urcorner)\\leftrightarrow \\Pr_{PA}(\\ulcorner \\neg C\\urcorner)\\) is called a generalized Rosser sentence. Corollary: for \\(\\Pr_{PA}\\) there are two non-equivalent generalized Rosser sentences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099165$9AFF31F6-CE97-4E02-8E92-7D0BBDAEDB8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099165$001BE1E9-EBD7-477A-8F8E-0DC76C0FC749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099165$0B1B2E45-E830-4844-9178-08B3617FB16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099165$EDCA991B-2B94-4A18-A7F2-AFED0C7F9CF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77c56826e3d4f5468bc6d079f3dece9ff7bdef02","datavalue":{"value":"4039857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099165$14B3BEB7-B9BF-4D2A-8789-12803273E49F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099165$9C493C8D-D993-4E5E-A9CF-202FC1C2EEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099165$B73CC655-EC68-42FA-99B1-8DE0AA44B154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38553ace56ec07e30740d5d083279f81fb899637","datavalue":{"value":"modal system LR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099165$721358DB-3ED4-4C5E-82A8-6C7274D03859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb795df5bb5a124f5a1a7f9231e3de12e87529cf","datavalue":{"value":"generalized Rosser sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099165$D8C78904-7A6F-4D98-8A86-DF08D50D841E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8ed9eb7b5676e67d936495c86d88b4db3563325","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$A63DBFC4-04AC-46FF-9A3A-02EA4771296E","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":"Q1099165$6DF1A023-1634-4DD6-90CC-94B900E27453","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c73f57a842cb7334be9de90eb3dd1dd27b760b","datavalue":{"value":{"entity-type":"item","numeric-id":1222158,"id":"Q1222158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$334A3878-4700-49D6-AA75-815049CA574B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82101a0d47d940e7a610e83e81b3b494dea51ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1233018,"id":"Q1233018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$515D16E8-73D9-4AC0-B7FF-C156F7368C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98dbf65a9935396cd1d93a4eae150528e47e483","datavalue":{"value":{"entity-type":"item","numeric-id":1078181,"id":"Q1078181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$0F2B67C3-33A3-4852-9573-C75F51A2E3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dbf8dfa5bc399ec3c3b82f7d186f6542ccc3ef","datavalue":{"value":{"entity-type":"item","numeric-id":3677759,"id":"Q3677759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$08364A12-EA2A-4945-927E-53AC7B35A4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$B774FBFF-2321-4AC2-B851-7BF9352F5682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41704d75503b555029d696b92528a73c9193d861","datavalue":{"value":{"entity-type":"item","numeric-id":3944575,"id":"Q3944575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$3513DA9F-8A7D-4F75-A071-DFF106CBE0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ee431ca0e3983f0e67695d4633d067394c197a","datavalue":{"value":{"entity-type":"item","numeric-id":1099164,"id":"Q1099164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$ADE73703-6F66-4686-8833-16887094D4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$788F76BF-B41D-4F9A-B826-D8E65371BD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a575b135ab8c68ef066d427f8c2b91aeb49e6000","datavalue":{"value":{"entity-type":"item","numeric-id":3852250,"id":"Q3852250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$0FDA78F9-CA33-4449-8DEB-53D37D3E54F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6c6e9c94939cd334c10993845a942fe3508935","datavalue":{"value":{"entity-type":"item","numeric-id":1171055,"id":"Q1171055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$49E76867-BB1C-4561-A852-C250B21ABD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$0B4D8C82-AF2C-4131-BA9C-4C5994244070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ea576be6c9b9142ede1ad5e69d44f1362cee2","datavalue":{"value":{"entity-type":"item","numeric-id":3900021,"id":"Q3900021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$53786222-C1BA-4065-95A7-AACBFA414BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc936fb9d74d6cbe030761022ef64e08bc9bae42","datavalue":{"value":{"entity-type":"item","numeric-id":3895468,"id":"Q3895468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$5B88657A-19C8-4E1B-8002-DAB729B47DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$C80622EA-7450-42B3-AF5B-7BB7E6B2A42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd1cf764eb9c91128e15ecfe17f6c1dc4f0ea27","datavalue":{"value":{"entity-type":"item","numeric-id":1068069,"id":"Q1068069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099165$AFC5BF30-E3C8-4191-BBBA-6200D2B1E6AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa86832c82053b5fa2e4e4608865d7d684898fb3","datavalue":{"value":"https://doi.org/10.1007/bf00370381","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099165$613C9BB0-86A3-400F-B5E1-A8B6422B6D22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"442034592d376284ff16eac6e27b9a0fec43a684","datavalue":{"value":"W2014565657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099165$461414E2-2BD1-4DDE-9CA3-7C4652EA84F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332a229e3732f9e5f113d67a42b6b91f94b19ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3675034,"id":"Q3675034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74a734e085587a13e6c1ea539314e4a53d4e38e","datavalue":{"value":{"amount":"+0.887638","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":"Q1099165$99FFF5BF-907F-4501-9F92-1C6ECBEAE2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987ba206e2ad5fcbd1efd02fbda3b596ea0d1f17","datavalue":{"value":{"entity-type":"item","numeric-id":1343890,"id":"Q1343890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da40f4261ed8d653cdefd1dec644105fc9215872","datavalue":{"value":{"amount":"+0.8851072","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":"Q1099165$1A748EE1-1605-4935-8078-2067C24CB07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b223df866c6444f28f4cb8821bac7edce9a5729","datavalue":{"value":{"entity-type":"item","numeric-id":2935793,"id":"Q2935793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfbedd74d00acc1040c3a0256a5970a5a21d4a1d","datavalue":{"value":{"amount":"+0.86844087","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":"Q1099165$F04CABA0-0347-4069-B317-77B35A614CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c631fac00f2d0feb6959b72566f1e9a18a4ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3507189,"id":"Q3507189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c89537afe23b6dd7d5b1843e164c185e8080b2","datavalue":{"value":{"amount":"+0.8683704","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":"Q1099165$50D0C1C1-4131-480E-80DB-523C0E96879E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be8d64213b2d7fa7f63b81370d2d717b0a6d12a","datavalue":{"value":{"entity-type":"item","numeric-id":3756046,"id":"Q3756046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e2f3285b24e6c6d49238277ffc408cfa6a7af4","datavalue":{"value":{"amount":"+0.86787605","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":"Q1099165$26C9CF2D-4106-47A7-9E92-2BC488EAFAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d68df210502fa2f0ba3db45ca60517614685215","datavalue":{"value":{"entity-type":"item","numeric-id":3322843,"id":"Q3322843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cbd8e13be57f4f470f97d0b8e6c148d13ad487","datavalue":{"value":{"amount":"+0.8662605","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":"Q1099165$9766437B-DCC2-404E-8089-22D0D792A676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a7ca4e4cca51814aa8b8df778fd1479bd7fc62","datavalue":{"value":{"entity-type":"item","numeric-id":5753212,"id":"Q5753212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2f514a82ce814267eb01e188054b4da77b51ff","datavalue":{"value":{"amount":"+0.864969","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":"Q1099165$C02D703C-933E-4E3E-B742-B9E3B42D3081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f72094da83a1fd7aefd145f203b866c4dac9304","datavalue":{"value":{"entity-type":"item","numeric-id":2382626,"id":"Q2382626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978a72bdd830678adcfdd48fb787c69e814734a3","datavalue":{"value":{"amount":"+0.86398077","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":"Q1099165$8B640733-1EAA-4848-8C93-253B970F7E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a520b3b049122c7debd25266ed7dd2c45468ef42","datavalue":{"value":{"entity-type":"item","numeric-id":2406153,"id":"Q2406153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c92ae771c832a01340d069065241b04778f8a0","datavalue":{"value":{"amount":"+0.86311364","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":"Q1099165$AEABD146-99C3-465F-97C1-D693B8048239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f089b9b0b985ac69f1d93113861e56a4fae32221","datavalue":{"value":{"entity-type":"item","numeric-id":2318931,"id":"Q2318931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1553767c50b2fc169500dee202e86bd5a60966","datavalue":{"value":{"amount":"+0.8617185","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":"Q1099165$393E574E-7F1F-472A-AED4-49D873F39850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic generalized Rosser fixed points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_generalized_Rosser_fixed_points"}}}}}