{"entities":{"Q6047713":{"pageid":13181869,"ns":120,"title":"Item:Q6047713","lastrevid":47894017,"modified":"2026-01-03T00:26:00Z","type":"item","id":"Q6047713","labels":{"en":{"language":"en","value":"Encoding true second\u2010order arithmetic in the real\u2010algebraic structure of models of intuitionistic elementary analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7736845"}},"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":"Q6047713$4B1CD218-6E86-4047-B7F2-5ADF3F8BE99E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"738b82246c11eb7cf9edc38574e50244bb43bb2d","datavalue":{"value":{"text":"Encoding true second\u2010order arithmetic in the real\u2010algebraic structure of models of intuitionistic elementary analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6047713$4CE9A1BF-4500-4BE9-B3A1-F232C9488A97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee9453b5c807d3828737a82090cef069f0f73f8c","datavalue":{"value":"1521.03239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047713$8508CEA0-2F66-4CCE-A389-D58441C031BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9a1ab7f8d2feba48de8b8a13f3a28d9d9c280ed","datavalue":{"value":{"entity-type":"item","numeric-id":1006482,"id":"Q1006482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$3C5C9AB0-A975-42EB-8DAB-C6A701915B16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$1DF4AADF-6126-4F88-8CD7-A17A040E05A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b10b641c55248ed64dbd4f5995b6de282ea97fb","datavalue":{"value":{"time":"+2023-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6047713$3959A756-E5C5-4CDA-B603-7C7D60091A8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047713$88227A4D-1F53-4FE6-8D5D-1285AC0791D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047713$23EA2E1E-3630-46BF-8CC6-A971D919EDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047713$3843CF21-0C29-4C84-959E-FBA9A04CCE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047713$8F91514C-C082-46C7-9939-D26414D3C493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c914640e341aab176facccec094e08bc899c0ae8","datavalue":{"value":"7736845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047713$7A4E32C9-F7E5-4923-B27E-04EDC9809AFF","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":"Q6047713$C20C3928-81FA-4D1A-BBDC-675994CA3E6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"377b44f1d32bc5a06ef051555ceedb9c596c2906","datavalue":{"value":"https://doi.org/10.1002/malq.202000048","type":"string"},"datatype":"url"},"type":"statement","id":"Q6047713$7E181D86-5C9C-4857-801C-2021E80AFE87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b6d61325769db5c9490ca4bc31da056b1df081b","datavalue":{"value":"W3201052650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047713$07A2E63E-63A3-45B9-AE7D-2621B78BB252","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a87fd18abe1d28171dc82c43982184eff47ac2","datavalue":{"value":{"entity-type":"item","numeric-id":1140613,"id":"Q1140613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$3C892632-0651-4FE0-B66A-DBBCFF8C885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f3d323962899b1e635dd964f91e773e470fad3","datavalue":{"value":{"entity-type":"item","numeric-id":4372914,"id":"Q4372914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$4D187062-B976-46FE-A132-C1AE12165192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95560e64cc62fbf2fa50a58716174b973dddc2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4210836,"id":"Q4210836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$1EE34830-4A97-4BD7-939E-6843AA56A402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8c82545f3aa1266e71c99a5ef1cec796b487ea","datavalue":{"value":{"entity-type":"item","numeric-id":4527909,"id":"Q4527909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$3AB184E5-DA4E-4834-86D8-2E98BAED82FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$0A38DA75-D330-4560-8221-CE7F9D10DB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$FA019F73-04D8-46F4-81AE-EE105140DBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728900563d2dd104624b25a22acbaa9fe64f7f22","datavalue":{"value":{"entity-type":"item","numeric-id":3208650,"id":"Q3208650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$A72D7A8A-9174-4B8E-BE48-0A9ADEC6389C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49211c43fb5f8b7b35ea98d9e6081e315ab65fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4404863,"id":"Q4404863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$FF9D4465-21BF-4BB7-82ED-130BF87B60DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57dbfeb894648d79283f5525d4b60ce88ed55b0","datavalue":{"value":{"entity-type":"item","numeric-id":5593817,"id":"Q5593817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$452E3405-616D-4DF8-A704-048050290B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b5d0ea9c1855b62ada9184c785efef60a25272","datavalue":{"value":{"entity-type":"item","numeric-id":5614645,"id":"Q5614645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$7631D2DF-B4A3-4EBF-8AC7-2DB95010A175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e850d5bcdb0fe043eed18d2bebfdcbbaeecfa457","datavalue":{"value":{"entity-type":"item","numeric-id":1059071,"id":"Q1059071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$BBDA67FF-C0B3-4A1C-9F4E-95A5178E1B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621cde72264d87de25dd9cf1c766b18faf2274f2","datavalue":{"value":{"entity-type":"item","numeric-id":1076670,"id":"Q1076670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$4F52D2D7-3E14-4BC9-9C3F-EE7280A8A410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf90816cf6bbfb17fb60e87b7166f8c504cc4193","datavalue":{"value":{"entity-type":"item","numeric-id":750439,"id":"Q750439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$64F05AFF-85ED-42ED-A4D8-E27136EF260E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bb4bade9154b298dec9eeff5f3980507a06710","datavalue":{"value":{"entity-type":"item","numeric-id":5676209,"id":"Q5676209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$F20070B2-5E61-4B2E-B9ED-92745957E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5705a2bc71a85b7bb2d856c1cde9b4da8d7426","datavalue":{"value":{"entity-type":"item","numeric-id":4126323,"id":"Q4126323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6047713$B12568BC-6BEC-4D8D-82E9-F04FC268CEF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a222868dbae6dfee82ca2d7ba4f6177e5d92aee","datavalue":{"value":"10.1002/MALQ.202000048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6047713$CA70382C-A861-4A3E-A4AC-2008BE92D56F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322c25a07d67ac33ccad0db6096ff048ee49de4a","datavalue":{"value":{"entity-type":"item","numeric-id":4527909,"id":"Q4527909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e107b354439e519ca29c8e2309db2b89b2c965a","datavalue":{"value":{"amount":"+0.835730791091919","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":"Q6047713$04C6A069-92A4-47A0-9836-E3F9F633E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b8c98cc5d2a750a906a9b581298ea515071834","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7729ae10b52154fc52b7e9a25520fd605a639fa","datavalue":{"value":{"amount":"+0.8353359699249268","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":"Q6047713$4E109EFE-4021-4A90-BB69-06408340EABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d60cf930b782884e740f982556febe7190bba1","datavalue":{"value":{"entity-type":"item","numeric-id":4328839,"id":"Q4328839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e4e059d83493c7e1de0ce96a4d551a29961266","datavalue":{"value":{"amount":"+0.7711120843887329","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":"Q6047713$19D0DE03-D2DD-4618-BA39-AA3692280C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f837cce084c3978a4e26e7bfa72e1fc781054fcc","datavalue":{"value":{"entity-type":"item","numeric-id":5593817,"id":"Q5593817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e041f2ae3722b5a0bb075ddd706afcf3845c9e","datavalue":{"value":{"amount":"+0.7313517332077026","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":"Q6047713$370B1D1D-035E-4963-910B-84925D1A5E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c333501388da7f7d83c2fdb2bf7af09b199e52","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96681d184b032e5c77a9e1637cea28d149c6ccf","datavalue":{"value":{"amount":"+0.7172549366950989","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":"Q6047713$3BAC5ED7-CA96-4463-846E-635062D83D5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6047713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6047713"}}}}}