{"entities":{"Q4914193":{"pageid":6943772,"ns":120,"title":"Item:Q4914193","lastrevid":98456234,"modified":"2026-06-05T17:35:10Z","type":"item","id":"Q4914193","labels":{"en":{"language":"en","value":"A general setting for Dedekind's axiomatization of the positive integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155286"}},"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":"Q4914193$6484D8E9-C2A5-47FD-9DEF-10079AABE200","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55daa3f6219069444f8f2ee5e929ac0599e0591e","datavalue":{"value":{"text":"A General Setting for Dedekind's Axiomatization of the Positive Integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914193$14D60147-C37D-4BC4-8782-3B3F91690900","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cd5857c6ff0b8bbe0cc03a3be72ab14e4b8c529","datavalue":{"value":"1271.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914193$7717EDC9-2B46-4409-9D73-67A9EFCB9D17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4aaf6f34b67504b9974139e4ad4d3c8c72f1952","datavalue":{"value":"10.1080/01445340.2011.585788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914193$DB901D58-F43D-44AD-9A0D-883C9C86D930","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$41965F0C-5C4E-4A7F-84CB-FCB862A329ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc7e66db6101b78e3ea7c15b1ab0503a867fd99a","datavalue":{"value":{"time":"+2013-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914193$4D2E57F5-B279-4814-A6D8-DE202B8EA9B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914193$28B42C39-D5D0-4FE5-B6E6-5F6212E6F166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914193$CB074E79-4B2D-445C-94AE-FEFD3DA543EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914193$4F3EE86C-7AA4-44A3-B2F7-CD93EC2E025D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d66e62c925a9d2f11afff60d52fe738221dd693","datavalue":{"value":"6155286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914193$DD47E4E7-C261-4D50-A42C-BF99A7FA4A04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604130cb438cd3bbc3955ba03f8072292c19eae5","datavalue":{"value":"model theory of second-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914193$8DADF02C-D3ED-4521-AF71-4049DD0DA93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a23eee94ca7e5c8109ffad015fe0305b08d7196","datavalue":{"value":"countably infinite Dedekind algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914193$8B1B53F3-8442-4D7A-A06C-8A9CE12DD241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914193$AF497242-98F7-40E3-BBAF-81634A39D200","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb22934de46582f1d34874e34f371e1c38ac742","datavalue":{"value":{"entity-type":"item","numeric-id":1327487,"id":"Q1327487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$DDEFADBF-4673-4DCF-847A-BC80DC472D05","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":"Q4914193$4CEA30C3-599E-43ED-AE52-2AA59986EDD0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1b9034567ce7b31ab5a266dc7a0c41b47b043af","datavalue":{"value":"Q58528880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914193$45021F46-FB6D-4497-9CDE-6B8B7D9E8FA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"411f90f72ca98d92c5e93bd251185b698339b397","datavalue":{"value":"https://doi.org/10.1080/01445340.2011.585788","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914193$6A1F41E5-3F40-4128-B32F-CB47E976AEFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0800717aae29860e601a93ae5cd0df058b0caa5","datavalue":{"value":"W2065932547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914193$7B533A5D-CBA3-4AC7-B689-CD00ABF5044D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"655696763ffee898c7a5a8b2bfc083e83deef025","datavalue":{"value":{"entity-type":"item","numeric-id":4706120,"id":"Q4706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$F2E546FE-295B-429A-A330-8391AF5BEF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55fda03b4a9f9d95136745d383134b475c56dffd","datavalue":{"value":{"entity-type":"item","numeric-id":4739896,"id":"Q4739896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$01194E80-3196-4936-BDDE-4F2F67A8AC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089564042dae6c33d77c6e45e2c14e431e068470","datavalue":{"value":{"entity-type":"item","numeric-id":5966796,"id":"Q5966796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$6F55DE94-2D65-4EB5-A0B3-EE4414C07B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f65e2c0e5569766f713b06731c3a4efec50e40","datavalue":{"value":{"entity-type":"item","numeric-id":5719494,"id":"Q5719494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$AD98F79D-4B7C-4A74-B779-BCC7F1A40D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58735dedfcc12b99bcf01db69a6c54def2d28532","datavalue":{"value":{"entity-type":"item","numeric-id":4081255,"id":"Q4081255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$79857316-CD50-4E08-BA85-B6F16973209F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257e33dbcd3edcac172d6d2c7f3e0143b84abfd6","datavalue":{"value":{"entity-type":"item","numeric-id":861573,"id":"Q861573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$5A19D277-E3DF-44A8-9BEF-906F13C32722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ca06956d12cdd8fbf2e47a620d3092d301008c","datavalue":{"value":{"entity-type":"item","numeric-id":3257866,"id":"Q3257866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$0B7B03A0-FDD6-4DD9-AB9A-B5290F247443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038889faca863545ea3672ed69fab6c1ea6e0e1","datavalue":{"value":{"entity-type":"item","numeric-id":5797030,"id":"Q5797030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$6DF572B5-AE84-4D36-9C39-61A3943D43FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b704e73039bfcf45742f7c021bbaa182333159","datavalue":{"value":{"entity-type":"item","numeric-id":3985095,"id":"Q3985095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$1BA3C37A-06D6-427A-B3D9-30E1833C1F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8bfbaa23d1cbdf15c26d78c482bb2d4205d472","datavalue":{"value":{"entity-type":"item","numeric-id":1975161,"id":"Q1975161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$06775285-A670-4B38-9761-24268229AEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15961b03011d4fd80209e733405e555efb321fd","datavalue":{"value":{"entity-type":"item","numeric-id":1810813,"id":"Q1810813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$5611DA48-0388-40BB-A10C-624774266C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560855529212dd03e96be2ba7f6559cd5a5016e5","datavalue":{"value":{"entity-type":"item","numeric-id":4798208,"id":"Q4798208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914193$BA20C3ED-D9AD-472F-AB2B-2C845BF1D69E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69218c339013f2052525cf8d50200d78983cfd2","datavalue":{"value":{"entity-type":"item","numeric-id":4798208,"id":"Q4798208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2ae19427bd5d828feaf8667d9729a269896866","datavalue":{"value":{"amount":"+0.8534119725227356","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":"Q4914193$FA25A55A-76D8-46F0-8B00-97E19E620F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb821f76fd55a7eb4b792aab8c6fcd69b3b4962a","datavalue":{"value":{"entity-type":"item","numeric-id":1975161,"id":"Q1975161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5603e9a9540a04efa94cad1b3229f57ceb9f18c6","datavalue":{"value":{"amount":"+0.8346849679946899","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":"Q4914193$48D65EFD-2F45-4F25-AE8C-4A90CD3B00BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0586dbdde168b6b85eae2e346f9eba996fe5d7","datavalue":{"value":{"entity-type":"item","numeric-id":2345394,"id":"Q2345394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5603e9a9540a04efa94cad1b3229f57ceb9f18c6","datavalue":{"value":{"amount":"+0.8346849679946899","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":"Q4914193$6EE44924-D324-49EB-B84C-C20CC1A3AE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e02ecbbab2851d7fc64047a24e190603d99f5960","datavalue":{"value":{"entity-type":"item","numeric-id":4438234,"id":"Q4438234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435490f11e093ee6664d166f278c85c571677a45","datavalue":{"value":{"amount":"+0.8339963555335999","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":"Q4914193$FA9B19EB-79FF-4CF5-BBA2-C17E9C749BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babe774922e1844f5abdbbb450ccf3b2f3a5bd6a","datavalue":{"value":{"entity-type":"item","numeric-id":2540423,"id":"Q2540423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ed6b0ab6742c85d0df6da600393b688dee5acb","datavalue":{"value":{"amount":"+0.833482027053833","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":"Q4914193$4F4F0768-978D-4E0E-8B86-C98BD77BDA3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general setting for Dedekind's axiomatization of the positive integers","badges":[]}}}}}