{"entities":{"Q5741335":{"pageid":7770886,"ns":120,"title":"Item:Q5741335","lastrevid":52579490,"modified":"2026-01-23T00:53:32Z","type":"item","id":"Q5741335","labels":{"en":{"language":"en","value":"Index sets of constructive models that are autostable under strong constructivizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6605595"}},"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":"Q5741335$3BFD977A-E0C6-407B-8AFA-8AA010F24FC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd40a9cdbf0e294495a4826e2978b748aadd4c38","datavalue":{"value":{"text":"Index Sets of Constructive Models that are Autostable Under Strong Constructivizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741335$270FCA8E-474E-42D1-A1C1-8A9AF5F9ABFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"914aa75accfc92374046863603dbd085753e55ee","datavalue":{"value":"1349.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741335$FB6D635C-2E4C-4756-9E22-652CCD7DC21B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3d105f491b7e6c22fb9c617c8e70845778d8507","datavalue":{"value":{"entity-type":"item","numeric-id":282113,"id":"Q282113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$8C52EE54-B531-4F6A-BBCE-70C25792EBED","rank":"normal"},{"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":"Q5741335$D620FB14-6DE3-40D7-AC66-59975AE9E2D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b65895f418cb6cfe6543bd8749d4295b0550dd53","datavalue":{"value":{"entity-type":"item","numeric-id":2714525,"id":"Q2714525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$C114A5D7-7258-46D7-A2BD-8FAA4B12DD3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"feb37f72a8cdcd68b43ae07ac4ed5aec5e9e9d96","datavalue":{"value":{"time":"+2016-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741335$13AAA50B-D83A-4235-AF06-5BDA6A44B9E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741335$1AC1D711-47E2-4105-9904-9D55D37E12AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741335$7ED53173-6314-4898-A1D5-99F2313BE319","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5198d9779475714ea783c2244a2537323d53179","datavalue":{"value":"6605595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741335$242A83C2-B6DB-4FA7-AFDD-6E7313539FD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741335$61FBADFF-4488-4EB3-AA29-E56BF43D686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42cf61fa4c957578962d9bf1adc9089584c594","datavalue":{"value":"decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741335$D7D42655-66F1-4226-998A-7F5F6C915E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5741335$55633763-3948-4B03-8FEF-216DEE94998E","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":"Q5741335$75E018D1-BE3D-4F89-B905-C57C1471898C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3871f6623e67c3229c7f4ecc166082fda625f9d","datavalue":{"value":"https://doi.org/10.1007/s10958-015-2253-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741335$9F702DC2-0A77-463D-87A7-5A46FB4F2046","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1149917975d3c5da77907a9714ee41043ca207c3","datavalue":{"value":"W2088150916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741335$4A914188-A4EF-49E0-8308-8846E1049937","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f895fbc3b088bef36af77b96b3008a50868d4c64","datavalue":{"value":{"entity-type":"item","numeric-id":4451633,"id":"Q4451633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$B6D7FA71-2DDB-4851-B910-010E9161BE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05842771ad47a3d3403f057a3b67447b5fa7c597","datavalue":{"value":{"entity-type":"item","numeric-id":1159633,"id":"Q1159633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$2A5406C0-1BC8-46D6-B37E-8CC019E744BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab88fb6864a2f03e697c990b449e5ab7bf3c4d94","datavalue":{"value":{"entity-type":"item","numeric-id":5200654,"id":"Q5200654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$39D1B76A-4F94-4242-A44B-9E1B0D5BF6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e1e15d2703aabda083ea06310b1138b9882d5","datavalue":{"value":{"entity-type":"item","numeric-id":3544794,"id":"Q3544794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$01E87DEA-2A94-4432-975C-EC59F8FD6013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c270e90f01f60db0e4b2062e9fcd865cd4cbd0b4","datavalue":{"value":{"entity-type":"item","numeric-id":3545596,"id":"Q3545596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$4DDE99D1-7261-4200-889C-12FC5B7974AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490c8b3d860c19ff543cc45feeb92d1907ee8def","datavalue":{"value":{"entity-type":"item","numeric-id":2454492,"id":"Q2454492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$93C0D120-2648-4593-9EE5-9EF083F79D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4edcc3c4fd1ed85d4874668b9eded1012ba7acd","datavalue":{"value":{"entity-type":"item","numeric-id":5476776,"id":"Q5476776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$9F07D2BD-E3F1-414E-A5E5-16FDCE899DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf9ec6f22aa0070a3fb4ca66bb36ee05f9b4ad9","datavalue":{"value":{"entity-type":"item","numeric-id":3475255,"id":"Q3475255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$86EB2DC4-310A-4D2C-A776-C6E173019190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d8e1ec72c8ff3967bc4895830c9797d68c4746","datavalue":{"value":{"entity-type":"item","numeric-id":1217118,"id":"Q1217118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$73F7C160-2541-430D-93AE-10A2A2A36885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab29b7ae68d66547d4d8932b68fb390ebf8070f0","datavalue":{"value":{"entity-type":"item","numeric-id":5398268,"id":"Q5398268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$00B9A59C-A65B-4F7B-9D5D-BF1E075BA5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$8AE265E2-1E86-48D9-93E0-005531BDABEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23aea37cb2490757706f0b3846685277fa8af5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3768858,"id":"Q3768858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$836FDA85-5460-4D3F-86C1-EA71684D7386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6123305a0b1a7d6da86fc46cc8b08695d515e124","datavalue":{"value":{"entity-type":"item","numeric-id":1843428,"id":"Q1843428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$33E0439A-12AD-46EE-A461-563375C33491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef892522a12b4e94fb984c322cd147868bc1a3e1","datavalue":{"value":{"entity-type":"item","numeric-id":3130249,"id":"Q3130249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$5A696E3B-C3C6-4907-AA6C-45DA2402FAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f3708e7285d20181548b3f49bfc6d5a92fdb0d","datavalue":{"value":{"entity-type":"item","numeric-id":1219275,"id":"Q1219275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741335$E54CEF66-859E-4FB2-9850-0E39F19332B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8081592455037098b21600fecbcc243a7568869f","datavalue":{"value":"10.1007/S10958-015-2253-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741335$97BBE28D-2F85-48E5-B929-B866FED566E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4738761164f0e980c4e63c296abad1653ff3fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":906085,"id":"Q906085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06146893cc5af3b806b254214ec68efaa914e9f6","datavalue":{"value":{"amount":"+0.9007472395896912","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":"Q5741335$A090A471-16CF-44FF-9830-08604BAEC1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8519e57fa1bd79fd0527e29bd746254e1e77f606","datavalue":{"value":{"entity-type":"item","numeric-id":498225,"id":"Q498225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc1c349211652d36db1322345526ba38b4ba98f","datavalue":{"value":{"amount":"+0.8781160116195679","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":"Q5741335$AAEFD854-4A5F-4836-8FAC-BE04B0A9415E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d361184aec8b245dfb57eb91792248fe70c217","datavalue":{"value":{"entity-type":"item","numeric-id":3322080,"id":"Q3322080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46870e430b3942cc799624bc7d150f4d32ce5a3a","datavalue":{"value":{"amount":"+0.8275848627090454","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":"Q5741335$093D9BB1-A6F2-41E5-B5FC-7D4DF7C66545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86da1ec37fc7fea15179c5e285d1c9b9cb0424d6","datavalue":{"value":{"entity-type":"item","numeric-id":2364335,"id":"Q2364335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6923d86108669503a58ffe120256f7f717712174","datavalue":{"value":{"amount":"+0.8257502913475037","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":"Q5741335$B3C56A38-526D-4635-9DDE-740EAE9470F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef1ea1d53f1ee7ebd538fc7beb6047d2ce6c6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5741407,"id":"Q5741407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f4c94ccb6a85c364d84e4daeeb38385a92bf76","datavalue":{"value":{"amount":"+0.8195983171463013","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":"Q5741335$95B66CAC-17A5-4293-89D2-3D9254844011","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741335"}}}}}