{"entities":{"Q3082391":{"pageid":3093106,"ns":120,"title":"Item:Q3082391","lastrevid":51204527,"modified":"2026-01-17T05:48:16Z","type":"item","id":"Q3082391","labels":{"en":{"language":"en","value":"On autostability of almost prime models relative to strong constructivizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5863909"}},"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":"Q3082391$095F6023-CF34-43B2-BA0E-5A9DBAF17EA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d373438c3014fb9239dd9a44a4d20cb29759dc39","datavalue":{"value":{"text":"On autostability of almost prime models relative to strong constructivizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3082391$166811B3-9ECB-486A-A4EB-1DC88E25203D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4a6a5fb1f298047e43851d2acb0c58b686c7fd2","datavalue":{"value":"1219.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082391$A77585E3-C974-4A78-AB24-AA18656E8739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082391$52A19434-026B-4DDB-B3DD-3240C4B34A89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea47cd398be2e1bd31e6b45d02de9148c81f65a6","datavalue":{"value":{"time":"+2011-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3082391$E122FFA6-C4F1-4AEA-B70F-8529849BE097","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082391$F0360F82-74A8-4B19-8F20-7FE4657E41C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082391$CE1FB516-C9A9-44D9-80FF-B9817709615A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082391$45333A40-B3BB-4FBE-AE76-89275609DEC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bf1651b8083e1b06f37e8558c4d370fb778fbf1","datavalue":{"value":"5863909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082391$9B67CBF5-E9E1-4134-B38E-D4E1A00F4008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$0E7152E9-23EE-4C0A-8950-EC7429E63566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2c2059af58e22e0d5de707b1eb4f3ceb83c5a1","datavalue":{"value":"constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$6B70C586-E50D-49BE-863C-EA5305C8FCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe135efb603954fe7b7138b3e8ffb007142d52df","datavalue":{"value":"strongly constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$02F78B71-2B5E-4238-9018-3D095C4C0B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8482d1adb70bd06dfee2710c3e7bc21026b4be2","datavalue":{"value":"autostability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$B958EC2D-B07F-43BB-B810-4957721688BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$E1208BC1-071C-4485-8EE9-CC1EA64DB08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6ea2cf60d6d20bdcb6bfb5082e4d8e6d2c48816","datavalue":{"value":"almost prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$6DE58227-CAFC-4585-A39F-5A396662837E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55dbc3814951c41a1b3d8d1a4c6f49d72d29581","datavalue":{"value":"Ehrenfeucht theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$5EE8BC6B-94B7-487F-A971-2E7677A5FB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed13a4aec24f54e32c5f25dac34c6d78b1c24a1","datavalue":{"value":"decidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$3CD6E186-550F-4C58-896D-665F2DCB7748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42cf61fa4c957578962d9bf1adc9089584c594","datavalue":{"value":"decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3082391$CA0117CF-5C14-4CDB-8364-7834D1EAAF38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3082391$84B430B0-416D-433F-B65D-481450098A60","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":"Q3082391$94F63961-D994-4EBF-B32D-122417B7BE03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e461cbf37b7676e8c9daea105e02988fda388ae7","datavalue":{"value":"https://doi.org/10.1070/rm2010v065n05abeh004704","type":"string"},"datatype":"url"},"type":"statement","id":"Q3082391$A7A15555-97A6-40BA-8CEA-2677076F6200","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05c68ae7bdafedbeea0106a796f906ff2e504467","datavalue":{"value":"W1981656597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082391$FF5E0DA7-09D3-44CE-9E95-24227A435797","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa545f5e3c502fd51a08949fbd24eff2ae78bac2","datavalue":{"value":"10.1070/RM2010V065N05ABEH004704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082391$606C0059-86A7-4A4C-975B-BDFF8032F2EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73453f1f6ad1f17515af70c60ac79603df90817e","datavalue":{"value":{"entity-type":"item","numeric-id":1071013,"id":"Q1071013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f95f9111dfea1b7be8b18d67aa8f84953a81b4f","datavalue":{"value":{"amount":"+0.8540871739387512","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":"Q3082391$A1CD3B55-F851-48E5-82FA-5EC19011A973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcba61ed12823f7ef9a14f38f9ae1821897b5630","datavalue":{"value":{"entity-type":"item","numeric-id":431714,"id":"Q431714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a333fd6ba9400f25098a70bf8d44d5bde9135427","datavalue":{"value":{"amount":"+0.8473679423332214","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":"Q3082391$BD84F704-5119-43E6-8914-B130086E5AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22d94fa2eb29d9de6f351b65de546327cd86608","datavalue":{"value":{"entity-type":"item","numeric-id":2510761,"id":"Q2510761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2e8aecdafdb7a7d3924a63425fbee8719d5741","datavalue":{"value":{"amount":"+0.829615592956543","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":"Q3082391$9AA88699-D70D-454D-AF00-60B999D08EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbd7a769b4cd82d5b860be62cc66ad081a65e44","datavalue":{"value":{"entity-type":"item","numeric-id":1077409,"id":"Q1077409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc46c77b4cf025337446a7fd8f08e48fadeb690","datavalue":{"value":{"amount":"+0.8278814554214478","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":"Q3082391$C53F7DEE-1EB0-4CC9-A919-5008254811C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b14c32199bd4c84c92cb65b0ce6b161cc847a43","datavalue":{"value":{"entity-type":"item","numeric-id":2709309,"id":"Q2709309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c3be05769532fb0d068f898ac1a73d73193edd","datavalue":{"value":{"amount":"+0.8251974582672119","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":"Q3082391$E3099D62-7A56-42BD-8A57-E3B3ECBA4F6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3082391","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3082391"}}}}}