{"entities":{"Q3481697":{"pageid":5511597,"ns":120,"title":"Item:Q3481697","lastrevid":49390285,"modified":"2026-01-07T02:07:28Z","type":"item","id":"Q3481697","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152372"}},"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":"Q3481697$E6CAA07D-187B-4B34-A6A4-AC0B80E19FB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad5ea916ca449fbc48aa85ecd63e3013ca8788ea","datavalue":{"value":"0703.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481697$2D168086-819D-4385-8B78-5F6967B32D8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c202384c22915715f42b7278cfa2bc8d6926211c","datavalue":{"value":{"entity-type":"item","numeric-id":684959,"id":"Q684959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481697$953D96FD-62F9-4F97-8CBB-9EA340210C5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3481697$7982272A-D148-4878-ACBC-97CC2D285390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d85ddae94f423b9aa809cf93083ab6bba3b4fbab","datavalue":{"value":"https://eudml.org/doc/68047","type":"string"},"datatype":"url"},"type":"statement","id":"Q3481697$8CC540AD-2AA6-478A-B9F9-500ED0F1E66F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481697$CE86AF92-6A48-412D-983F-2245F72AA02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481697$8BA9D546-5865-42EB-BD71-DC8F35395F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc6564793c8ad941cccb52cbed929ca7af8eb45","datavalue":{"value":"4152372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481697$8DA7E3EF-B700-4F88-80E8-46390E613290","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148cbec86e681f0f3a624bd824528138b3e8a622","datavalue":{"value":"length of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481697$828A7B8A-2B5A-44E8-BF3D-EC273B60EE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7849cf4967868e1682e85fd08af647be01332b1a","datavalue":{"value":"speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481697$9D82D4AA-0088-4F07-950A-D5BA693F2AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111dfc4059931d82d563af3dc5f9d0640f3c44df","datavalue":{"value":"Robinson arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481697$4A5F01E6-F084-41D2-88BF-0202EEC6127D","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":"Q3481697$2EBC2D24-D599-4A17-BA6A-ACC390B1E623","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21473e318044af4735c8f559ea4a6ecae3509f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3773879,"id":"Q3773879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3472112be01fea400ec7f65709e5b80a770d6b8","datavalue":{"value":{"amount":"+0.8011884689331055","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":"Q3481697$92638BAB-7E7F-4E7A-98C6-1A107C6A5F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9286bdc07f848e4c4ce5c1530917dc5e507d5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3426567,"id":"Q3426567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a24d442da51db8d277e176c00e4735daa78c60","datavalue":{"value":{"amount":"+0.7897331714630127","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":"Q3481697$4206B080-5234-4457-BB79-6B759C5FD76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f96dbd05ad84233c354d50f4becf29f2234803","datavalue":{"value":{"entity-type":"item","numeric-id":3399187,"id":"Q3399187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5415b673ed6ee96a7b7c39a4ee6c69d709e75a28","datavalue":{"value":{"amount":"+0.7786167860031128","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":"Q3481697$E52EEF10-4829-4CAF-A78C-FF3147DBC71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc968fc081bfd42f16362de6125da6f02619ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dc889beda0b2a6009bc752dacc70262199e99b","datavalue":{"value":{"amount":"+0.777190089225769","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":"Q3481697$E4676A5D-D77D-4671-9430-5E5F815BA9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dd52adf2785a37b3b321e94e4ac5d4d7793a45","datavalue":{"value":{"entity-type":"item","numeric-id":4306545,"id":"Q4306545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472d9c03e74ec593f3836ba71d51f3d763d11b6a","datavalue":{"value":{"amount":"+0.7731207013130188","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":"Q3481697$D25F741F-C5EC-43F7-BFCB-F7B3FDFDAB6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3481697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3481697"}}}}}