{"entities":{"Q4695582":{"pageid":6725159,"ns":120,"title":"Item:Q4695582","lastrevid":47173378,"modified":"2025-12-31T22:06:24Z","type":"item","id":"Q4695582","labels":{"en":{"language":"en","value":"Finite Substructure Lattices of Models of Peano Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 219552"}},"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":"Q4695582$53D065DD-20D8-4CB6-A905-469FCE783660","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cb4d8343c11b640608c80afddd9d82b31ddb8ca","datavalue":{"value":"0788.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695582$F158F2BC-C277-4750-A08B-24BECD2C9DA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"729f578bea221a7284da2a01442100ff4a8cd573","datavalue":{"value":"10.2307/2159151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695582$4A66F18D-8D71-4011-ACC7-1035AA5F3073","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$D6A3BA14-1CC9-46BA-9B33-C26D40D1C1F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4695582$C73DB8F7-40B5-42EC-8B3F-D42A4766BF26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695582$0B42E51F-E9BC-4890-A376-FEB6FE754067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695582$BF306FC1-E7CA-496E-842F-CB76F5AFF559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695582$65291C42-0256-47BA-9B17-2A24220E2138","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"536ff69f23fc24d4436a1cc68dcf5723875be22d","datavalue":{"value":"219552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695582$05C040ED-7D97-480D-95E6-A455F5E2F00A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"258e00cc13fd9669d27fbd4cf08c18bb11bacdd6","datavalue":{"value":"models of Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$E74DF5EF-0B4D-45C7-88BC-98980ED2E4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$8B91BA9F-3071-40C5-B277-E234D7523A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60744c4e5f7d408aab9c8734559d2c0d9c6f4e08","datavalue":{"value":"1-n-1 lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$7FF5E2B9-23CD-4893-9BCB-BE79B998CBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bb63aa3b7d43ba5caa397c93bdd9cbb97caa78b","datavalue":{"value":"\\(n\\)-CPP representation of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$2AE08CDD-9443-4902-9C55-D5C15B72CB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ee602cbfc83d3d2024e37d5de54ae30ad13245","datavalue":{"value":"elementary extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$0E34ACD8-C7A6-49DB-91E0-84A002CF5C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05adaaf3fc52c0479f7bfbc85c2eae20c03c08a1","datavalue":{"value":"hexagon lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$23F031F2-B4DA-4655-BEEF-FFDC63EFF991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16b971b63ccca3a9a8eb041c61eaeabb31bb5585","datavalue":{"value":"substructure lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$1379331A-3FCC-4E1E-94BE-88890FAFC60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23029265a3b7aef2605f2e8909487240495a4ec","datavalue":{"value":"finite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$884FDD1E-B545-4EC1-944E-A6D761C1CDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"123bd95a36f8f58ac8ac56edf642600b76ce8ea3","datavalue":{"value":"finite congruence representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4695582$1C292218-B896-43B6-A8C8-F0433283B26A","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":"Q4695582$228ECA81-8B21-4B2C-BD39-576451425C5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abdc01a079e5068f0bcaff63cf5ed9b5c6ac06ef","datavalue":{"value":"https://doi.org/10.2307/2159151","type":"string"},"datatype":"url"},"type":"statement","id":"Q4695582$552FAC07-D16F-4803-BD36-54315C51B66A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1b47f7fbfb196981154afbf370186833b938607","datavalue":{"value":"W4241404598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4695582$180469CF-F343-4E5F-92A6-4A8C6675DC28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f2f0ab3657187dfeb093d431e6aab13de12bf33","datavalue":{"value":{"text":"Finite Substructure Lattices of Models of Peano Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4695582$DC05D076-255C-49C3-9B15-D049A78423C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"412f01b069bed1258faeff252faea9d0455c3d28","datavalue":{"value":{"entity-type":"item","numeric-id":1106323,"id":"Q1106323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$0AFABBC4-488D-4CB9-B3D5-58C1FC42333F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3c32a4fb9a3f04d796d08c0ab22ff4b2032544","datavalue":{"value":{"entity-type":"item","numeric-id":4096940,"id":"Q4096940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$A0262CB9-8B8F-43FD-99A8-0D67D47F639C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0a5fe31bbcfc94b385f5edf3a25a8c16107996","datavalue":{"value":{"entity-type":"item","numeric-id":5727672,"id":"Q5727672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$6D45F6AA-D5A3-4F3F-9329-20B4D617C35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc3144412ddd4d667ccdb95e8d0cf0529c54800","datavalue":{"value":{"entity-type":"item","numeric-id":4161327,"id":"Q4161327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$80E18291-D84F-489B-BAB1-66956925216F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712e386bcb9e899f4f86ded2c8582534bee0f322","datavalue":{"value":{"entity-type":"item","numeric-id":789416,"id":"Q789416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$21116906-7553-4604-B3F1-ECBA719416C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6a568a5f1caf562a349645e6d4137098f2d2b0","datavalue":{"value":{"entity-type":"item","numeric-id":4170721,"id":"Q4170721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$D6BBD276-51F1-4C1C-8320-B4C01BD8C0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdcab3c299bd68d05805d6fd31146c3a951d826","datavalue":{"value":{"entity-type":"item","numeric-id":3727997,"id":"Q3727997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$6581AE9F-E180-4C68-888C-8D7AAA444153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249329e7e0c8ff7b716c07e555a3d0848cecaf21","datavalue":{"value":{"entity-type":"item","numeric-id":4141236,"id":"Q4141236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4695582$1B8FDBA7-69FC-4A0E-8C12-78AA0E30C7E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a0d2196f54c85b3d15b07effe04c45ad47ede0","datavalue":{"value":{"entity-type":"item","numeric-id":3159410,"id":"Q3159410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7e1a537ba2b988bcc9be63b28993c7fb76b04e","datavalue":{"value":{"amount":"+0.8425266146659851","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":"Q4695582$63585880-B5B3-48E2-A7D5-D6C156CA308B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91353cc539935ae93b91eb4a035f5aab92a47d19","datavalue":{"value":{"entity-type":"item","numeric-id":3727997,"id":"Q3727997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28236125e9b614cf276229c51a90ff79c6c2a93","datavalue":{"value":{"amount":"+0.8319577574729919","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":"Q4695582$E41A2768-59C9-4873-BF58-D6A5D2400EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b780b49ac8fa008bd9e97f91814dea1d240e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3066799,"id":"Q3066799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b676279d9e50d77801c3b7a9f9671e8199b180","datavalue":{"value":{"amount":"+0.8245348334312439","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":"Q4695582$E90E3B72-5FA1-4C7B-B7CD-84EED77B227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee3d847311832c78a47cce7bcd917c093bf5868","datavalue":{"value":{"entity-type":"item","numeric-id":5387308,"id":"Q5387308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d868784ec2f92b0e92e61fe0869b65ec644204a3","datavalue":{"value":{"amount":"+0.8104081749916077","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":"Q4695582$7914EE84-C0A7-4B85-AC7E-CA1D16B20898","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":"9665797ae8b7e4f9a84d7f2d4cf868caddd9e220","datavalue":{"value":{"amount":"+0.807702898979187","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":"Q4695582$755ECD6D-0F6F-4DEB-BB75-356FD007CD52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4695582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4695582"}}}}}