{"entities":{"Q485843":{"pageid":487610,"ns":120,"title":"Item:Q485843","lastrevid":62256852,"modified":"2026-04-11T04:51:16Z","type":"item","id":"Q485843","labels":{"en":{"language":"en","value":"Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386143"}},"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":"Q485843$CAACDAAB-8AB9-488E-9456-A8813D238224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c98deed2dedf9cee132f359d1796050cf223c24a","datavalue":{"value":{"text":"Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q485843$10C5B53A-7FE9-421A-B248-4F7F6DC0DD44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e3efdbbd65d8144cc211a0ddf31f03aca1b26cf","datavalue":{"value":"1315.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q485843$B1998F59-25BA-4B25-A8BE-DD89007DC331","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83136e3815234cec6578a3872e677d362852be2f","datavalue":{"value":{"entity-type":"item","numeric-id":352958,"id":"Q352958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$A95FB1AB-0FC7-4460-A22B-3462B9BC16BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$9465B4C3-5FEE-4718-B804-BC1314A572EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$C4A038AF-14BA-42C9-9477-4D9F6E38D8D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$51454125-E0EA-4D59-B372-C1A2FDA39D54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263261338df616964a138c38a6f0c5b7f36f1f12","datavalue":{"value":{"time":"+2015-01-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":"Q485843$4B2A3329-C62D-463E-A3F0-56DF694242D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q485843$E163341A-0973-424A-B00B-11885BB5C665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q485843$DD8D32BA-345C-45C6-A5E9-F0D6393C0559","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fca2145fb6e077a770885abdb014b08b0ac4eba","datavalue":{"value":"6386143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q485843$DC764CE2-5DF7-4510-81AD-1F78F58CCC96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q485843$F57BA03D-DCCF-4884-8596-C65CF003C922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q485843$38B2BCBA-7ACC-48BE-BDB0-3DFDCCCB09B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q485843$92EE89F6-D276-41B2-8153-698BC8DAF689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q485843$B521BF88-F044-4C88-B366-6FB5D119080E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$A65F10BE-2DE0-4280-BA99-0CB8D178C7B0","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":"Q485843$2512D57A-7E6B-4BF2-9010-B34F89009EBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21b379991d6b34a1c624f402feaa4bf51ecc5553","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2014.09.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q485843$E60E9B38-F833-4886-AD50-D65E7310B6F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68c7c315804d99e6ae33e58691351a55c66a7c0d","datavalue":{"value":"W2028930358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q485843$FC7ABAA4-0E9D-463A-91B8-2553DA9B2AB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"279c3d2f33bbbcbefab5ed817a5c061033fcde81","datavalue":{"value":{"entity-type":"item","numeric-id":1097882,"id":"Q1097882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$2D893C79-E728-4AC1-BF85-9FCB2D89C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069fc99cb46e4a17e82773855cf96a50af6be28","datavalue":{"value":{"entity-type":"item","numeric-id":4750638,"id":"Q4750638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$ADA972D8-7719-4399-A9F1-FCE0BD7E3CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cea6af4ac375cfff93398a6355c2fe5e1792d5","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$D2496FE7-602E-430A-A34C-C0A55148DC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447402d695dd1d5a272c5fa6ae629507f7b89f52","datavalue":{"value":{"entity-type":"item","numeric-id":5044740,"id":"Q5044740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$75640181-DA3E-4D30-941E-7FA98CF8ABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$5C4DCF78-2C47-4195-ADD8-132D3BD8362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d754d80779292b5ec72b4d7d243e876e7f4355a","datavalue":{"value":{"entity-type":"item","numeric-id":3608809,"id":"Q3608809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$2D5689E4-5BB6-46E0-9098-62BC041F04D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$FE7EDE31-9979-458B-A31D-084057A926C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceae5f0830e60eea49f64451d5f6caeb8ca9da98","datavalue":{"value":{"entity-type":"item","numeric-id":2272192,"id":"Q2272192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$43A3D59C-00BE-4A10-8B5E-0F70E9155CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$4749136F-CA00-4F5F-8422-B12ED806782F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bcaacfea2aa87458e1d3c1aa5260e6875d0121","datavalue":{"value":{"entity-type":"item","numeric-id":5834329,"id":"Q5834329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$FAA76D47-6078-4456-B5F0-057F1F86889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07e4d9d2ace99448589eee0456b962a45d71d2d","datavalue":{"value":{"entity-type":"item","numeric-id":4333476,"id":"Q4333476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$BEDB3981-C2B3-4937-B98B-CE7E768D8BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c3d7dfc55facbac01d8f787937a9b2b168b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5464701,"id":"Q5464701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$FF84F33D-7EA3-4577-BBC2-7A776D5825E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d59713a33fffd1fe610c5f315ab2ff7c4cb9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$FBF463B3-CF5A-4BC8-8C3C-79E5116603BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245e2c144d2e7cbcc9ef39e10d0138294ef4a59","datavalue":{"value":{"entity-type":"item","numeric-id":1272602,"id":"Q1272602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$D9418F66-68C8-4678-81FF-28B1CADE8811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8520468368f643afacd59846425a2cf896008c34","datavalue":{"value":{"entity-type":"item","numeric-id":4864753,"id":"Q4864753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$160DA6D5-A5A1-413E-95AF-44400246AD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$2D04B086-119A-4147-A2ED-C69C0DA4F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64021d9ab38394ea6847528c3ebac3055b434f04","datavalue":{"value":{"entity-type":"item","numeric-id":5200038,"id":"Q5200038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$95965352-B4C6-4C57-A831-7276F2E63BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea24a9ba8416b9474d91a2db7e8b15201afb5ec","datavalue":{"value":{"entity-type":"item","numeric-id":5958622,"id":"Q5958622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$70BFF927-67B5-4964-9F9D-FF62770F3718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e380188713d1cd1796289985428147f94d1a2","datavalue":{"value":{"entity-type":"item","numeric-id":1879000,"id":"Q1879000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$50767B60-17E2-4D2B-9414-D508214A9261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d3278b59ca26b48dcba11320e0649be1fb27c5","datavalue":{"value":{"entity-type":"item","numeric-id":1805401,"id":"Q1805401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$EAE96358-D9E7-42C7-9EF0-ED1055A5CD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2f9c64da6d5ad5ed3d8f7184a83da7801f1c212","datavalue":{"value":{"entity-type":"item","numeric-id":5170190,"id":"Q5170190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$C7388F2F-C395-463D-B44B-730523EA6DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb859fc691841d164dc83bc674b45469dcd4763b","datavalue":{"value":{"entity-type":"item","numeric-id":851144,"id":"Q851144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$8EF94693-9984-443F-8523-224B99F6114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd0aae943b09bf6448c3535c3ceba38afee549f","datavalue":{"value":{"entity-type":"item","numeric-id":734036,"id":"Q734036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$883AB549-42CB-4B35-B602-0072BEB40398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0bfd7fc410231621da60e4613e46718e4da36b9","datavalue":{"value":{"entity-type":"item","numeric-id":5895523,"id":"Q5895523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$96125E79-AD4B-4F7B-B923-B539F5D6C521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$6201C4F8-E941-47E8-A110-9DC2AA98F2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d25837ded14d6394ff95e33c185112b70434e94","datavalue":{"value":{"entity-type":"item","numeric-id":5297489,"id":"Q5297489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$9581AC35-375E-4219-9DAD-07E9CE78F2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16088cc87169a38459e2ac37621458259e083bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5410712,"id":"Q5410712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$FBB1DC00-4CC0-4D90-B357-5B7B2E37D595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8f5bf3bbbb90d2771a6bc1a5bd5d42d5f4b4df","datavalue":{"value":{"entity-type":"item","numeric-id":673975,"id":"Q673975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$F6A03386-86CF-48B8-90B6-CBEDC08CEC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d06c26862db1f7e59f700a6fed580956476040","datavalue":{"value":{"entity-type":"item","numeric-id":5747788,"id":"Q5747788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$12567B97-6E16-4BB7-BE57-057B3454D9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33bd2cf6fd4a9089f57b640424bc06972aea0a25","datavalue":{"value":{"entity-type":"item","numeric-id":2891472,"id":"Q2891472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$8D6E4A39-9E0B-42C4-931C-7A14D0C0586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5ed3b791c7ee1304cff5eda2eafb7978922896","datavalue":{"value":{"entity-type":"item","numeric-id":2958394,"id":"Q2958394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$4984A165-62B8-4CD1-BEA5-B564AFD530B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac27b687c7a6102d152723e7b5b7704ccbccbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3066114,"id":"Q3066114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$C4923D53-E71E-40AB-BA57-4EFBAC5B60AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"578e5aac1b2448cca5cb00c8636f795201d20fad","datavalue":{"value":{"entity-type":"item","numeric-id":5941751,"id":"Q5941751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q485843$8A707711-512B-4CBE-A658-3AB9C9DD3B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bfc1c74790b47362337e68b00577c32db68ab04","datavalue":{"value":"10.1016/J.JSC.2014.09.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q485843$67D4CF86-6F88-412E-A2EF-95AF668D5CA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406c4580d51070b7891ae82b6ceb7b54871c0af0","datavalue":{"value":{"entity-type":"item","numeric-id":2958394,"id":"Q2958394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c51c24937b239093f36d45b64b42c4b34f9db20","datavalue":{"value":{"amount":"+0.950775384902954","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":"Q485843$6B68BFBC-1AD0-4590-9F26-5E35B20A38AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18c04be89b35d25ba0d84559e204a128a0ed60d","datavalue":{"value":{"entity-type":"item","numeric-id":3466405,"id":"Q3466405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a41733430c901ce3d42ef18c0c258b481083f5","datavalue":{"value":{"amount":"+0.7938604354858398","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":"Q485843$9491BD3B-447D-42CF-A82D-90E6CCEAEFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e9931cfaa550111f744264e17068625cb86634","datavalue":{"value":{"entity-type":"item","numeric-id":5881273,"id":"Q5881273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ff99f9550bd815eb4b8c5503ae62b2f2aa6044","datavalue":{"value":{"amount":"+0.7734458446502686","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":"Q485843$8895BF55-83CA-4135-A974-83C532B04DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c9d51b387606b25b893694d7e0638c186ab9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5170190,"id":"Q5170190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71056406913b3a3f10121751e4c666656a386e23","datavalue":{"value":{"amount":"+0.7635065317153931","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":"Q485843$2A33BE60-3D33-4A19-A9E0-E73624C7C391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66ab237eff44109d2461a57cf704dd48b490809","datavalue":{"value":{"entity-type":"item","numeric-id":734036,"id":"Q734036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7261be69de01c5037fcf4192bedfa6993535148","datavalue":{"value":{"amount":"+0.7576517462730408","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":"Q485843$F973FC23-4ED0-45AE-9203-47494CDC2692","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations","badges":[]}}}}}