{"entities":{"Q4894728":{"pageid":6924307,"ns":120,"title":"Item:Q4894728","lastrevid":46395570,"modified":"2025-12-24T17:04:02Z","type":"item","id":"Q4894728","labels":{"en":{"language":"en","value":"On external Scott algebras in nonstandard models of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932353"}},"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":"Q4894728$4067E92B-EC49-43AB-B5FC-E13B87F63275","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7f469d269f8df0946e4d834b8f4a5a993934dd8","datavalue":{"value":{"text":"On external Scott algebras in nonstandard models of Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4894728$5DAAF2B8-3123-4D87-B4F6-B7EE92BF7A3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c757554c76630562531635b89af0c8a984c88fd7","datavalue":{"value":"0859.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894728$07847A2E-3339-49A2-85DB-4B85B08C2C75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31f73879e85e3c66e4328df196c227c1ff6a75c1","datavalue":{"value":"10.2307/2275677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894728$4AB9DEB4-CF08-4DAB-B4A9-930EA1ACDD6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b09d794e8860c4a5215cac175587d216774250","datavalue":{"value":{"entity-type":"item","numeric-id":161810,"id":"Q161810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894728$07CC98A6-F90C-4A15-B505-9210C59F1639","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894728$CFE855FC-DECD-4949-B413-74DB480D8B98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987a2f2e82526aa2085dc97bf2e88574c6b234f8","datavalue":{"value":{"time":"+1997-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894728$2B8A5BAB-AA33-4ECE-BA97-C3045F954DE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894728$9BB46F77-D447-4EE6-8D2C-DE22D9A2BD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894728$9A5CCFDB-22A4-42FF-AE23-7DAF2AEA11E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f891631837a6c632d5bde65777448e911f40c5a","datavalue":{"value":"932353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894728$2AD71390-FB74-4612-8E48-0A939310E94F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894728$4938E97A-1444-42A3-8FD5-A5BE775125CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0956182d8af07b801b482d493d148bdff9fee279","datavalue":{"value":"Scott sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894728$E02352D9-00AE-45CF-A6CE-423D73D0FE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1518dfa2b0136a2ccb326c5bde68c6fb0bcabb9","datavalue":{"value":"standardness predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894728$9387B0EC-1EAD-4095-ABA5-18E098D3A8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a79b12a8abda5d5e133485405c9e848f544a40","datavalue":{"value":"Scott algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894728$EFC0F943-D6AF-4F5B-B5C1-AF8D751884BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894728$C7552138-4500-4DE2-8FBB-B6F4A28FC4E8","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":"Q4894728$804AEE58-6D98-4ADB-80A7-8B4E0E919C29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ebcad6c220567098c04ea29bb636dcd7117c260","datavalue":{"value":"https://doi.org/10.2307/2275677","type":"string"},"datatype":"url"},"type":"statement","id":"Q4894728$42B9A4C1-E55A-400F-B97E-A3A06C26AB15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d731fba531f25ad89318bf99d442318af385ff60","datavalue":{"value":"W1986737842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894728$BD447806-C7B6-4E2B-AD23-8A9758409760","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894728$A5811912-253A-44FE-91A7-D38D3707237F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d95cae67ca194bc0d1834741de9deaa5d6edc99","datavalue":{"value":{"entity-type":"item","numeric-id":3898492,"id":"Q3898492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894728$210158F9-C172-459D-915D-DDC83F9D6FDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab55d9bfbcbd97b7aa9ed478d666e76f93384e7","datavalue":{"value":{"entity-type":"item","numeric-id":3617365,"id":"Q3617365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6437e580cf96f5a8dceb61475dd9622260537543","datavalue":{"value":{"amount":"+0.7644996047019958","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":"Q4894728$A943DFC4-807F-4578-B0C8-B24C8AFA1DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feebdd8d49d21f1ccd670a3b0ffbf2bb3054739d","datavalue":{"value":{"entity-type":"item","numeric-id":1238808,"id":"Q1238808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789f65133e4ac89b0367e8d094ab657c715ebe64","datavalue":{"value":{"amount":"+0.7457467913627625","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":"Q4894728$A1CEF635-3E91-4CDC-8F48-8A9A5BB2254F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a06d87ecac2b24188edfe1cae405e49cc8fc18","datavalue":{"value":{"entity-type":"item","numeric-id":4938559,"id":"Q4938559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7725ef9b796eef98d5f578c83fe492b6a6108c6","datavalue":{"value":{"amount":"+0.7419632077217102","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":"Q4894728$A505463C-B5C9-4556-B9C2-2FEA132279C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9a1771c51bb772bb5dae9abbaae39d9ff8db83","datavalue":{"value":{"entity-type":"item","numeric-id":4531088,"id":"Q4531088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c384b182662cda3d6031975763a8e1a4c09ecbb","datavalue":{"value":{"amount":"+0.7407776117324829","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":"Q4894728$8814EE0C-0C6F-4965-BCF5-C22FA17863EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894728"}}}}}