{"entities":{"Q4419265":{"pageid":6448864,"ns":120,"title":"Item:Q4419265","lastrevid":81901373,"modified":"2026-05-06T19:37:28Z","type":"item","id":"Q4419265","labels":{"en":{"language":"en","value":"Expanding the additive reduct of a model of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1958268"}},"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":"Q4419265$DDCCDBF1-2E19-4BA3-B90D-8819B9D76894","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"379887b4c233122ffa8b4e067a165f600d1dfa66","datavalue":{"value":{"text":"Expanding the additive reduct of a model of Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4419265$3ED968C1-B1B7-4D04-A354-286B8BE23FAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5457026a5adca8a7339eaff9f758a0afbfc698f5","datavalue":{"value":"1026.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419265$EE6E90EA-B53B-4D1A-97AA-DE90C3369419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fb150c754f9c2fd0faf1e971071b95d8ec1c1","datavalue":{"value":{"entity-type":"item","numeric-id":741746,"id":"Q741746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419265$F56E8DAC-EED6-4C4B-B954-F3F714566892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ace7d35c48a276921b263ca7dc19018345e4b50e","datavalue":{"value":{"entity-type":"item","numeric-id":190289,"id":"Q190289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419265$808606AB-6F19-468B-8741-869067DA2F11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419265$6ECB9D5C-822C-4A26-AC7F-75393678E084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e5efd6fac58dc2b0f5c6858806b68aa522c192c","datavalue":{"value":{"time":"+2003-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4419265$E8069714-E495-4EAC-908A-A90E9EBE4239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419265$B1F5BDE7-0BDA-42E4-9D17-BC8F41F002DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419265$28B8144C-80A1-43B3-8E9C-515858850504","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cad7fcf134625824bc38b9b6dc2d29b6c9e0b2e","datavalue":{"value":"1958268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419265$A8456AD2-2DD6-487E-91FC-049375A98B16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419265$AD8383E7-8C9B-4ECB-B9D6-A8682F5ECC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f896697d8fb28419ed20fba16be5936583b1e960","datavalue":{"value":"additive reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419265$4E182496-155D-4B7C-BD46-1BD5933428EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb31aa2ef04195a2f5aac30ae5bf74153efff4a4","datavalue":{"value":"multiplicative reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419265$50FD58FE-BC4B-4E2A-9E82-576A2E8510D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419265$A3694A2C-AF58-4300-A416-CBF56DE676A1","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":"Q4419265$AAF5206D-BFF2-4866-BACF-4BE021F4DEB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5689686323f65cc5f40d49df0980b8b7a04d55f4","datavalue":{"value":"https://doi.org/10.1002/malq.200310038","type":"string"},"datatype":"url"},"type":"statement","id":"Q4419265$DED275E6-75AC-4F68-AA8C-EFF13E117DCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14f4a6352fb27dd1bc24b62f3dc036dfc735f6b5","datavalue":{"value":"W1978803490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419265$4D07B1D0-F38E-4408-9E07-4750CC235CCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8407badaa27e8ace16b7eb8cc85cd0a7e2d2eaab","datavalue":{"value":"10.1002/MALQ.200310038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419265$0BD96F3E-6739-4E98-80B5-C26AD22EF2B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220dbd3981d498a4386bead6434a182f9d0a935c","datavalue":{"value":{"entity-type":"item","numeric-id":3475260,"id":"Q3475260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f21719a3a76691ffbb6fdceb537518212a873b","datavalue":{"value":{"amount":"+0.7947442531585693","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":"Q4419265$AFFD79C8-63A8-49B5-904C-00495DE11BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef27d274eee274643cff1de53e52460cbad23c8b","datavalue":{"value":{"entity-type":"item","numeric-id":819263,"id":"Q819263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b555b53e743aa361c30bfae3cc0a135c27d50cba","datavalue":{"value":{"amount":"+0.7845754027366638","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":"Q4419265$DCF0C76B-D564-46B4-BD9F-80438A09996D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08266c7b95744e792ec69964daea45c6c43977d","datavalue":{"value":{"entity-type":"item","numeric-id":3679180,"id":"Q3679180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddcce8d35b5c20eea708ee3efd1c8f51eac2b9a0","datavalue":{"value":{"amount":"+0.7626278400421143","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":"Q4419265$5DCA9A56-1B77-47B1-8840-E3AE6387B424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe9f21f99f3dd8f2eb2740974d670332eb5f06d","datavalue":{"value":{"entity-type":"item","numeric-id":4647109,"id":"Q4647109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247a5462838bbf58c22c706a9e3937037bf5a7c0","datavalue":{"value":{"amount":"+0.7614952325820923","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":"Q4419265$DC8FC96B-DF8A-4FA7-B57E-4C438E0E292E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7997b96d38336187ce006695ae93b59c4da07be7","datavalue":{"value":{"entity-type":"item","numeric-id":3708803,"id":"Q3708803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dfdd07bada03d79569b80a0ab15ecc370bda346","datavalue":{"value":{"amount":"+0.7607318162918091","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":"Q4419265$A5694996-03A4-4500-A237-461FD5CD3EDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expanding the additive reduct of a model of Peano arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expanding_the_additive_reduct_of_a_model_of_Peano_arithmetic"}}}}}