{"entities":{"Q887638":{"pageid":889486,"ns":120,"title":"Item:Q887638","lastrevid":65215131,"modified":"2026-04-12T01:05:05Z","type":"item","id":"Q887638","labels":{"en":{"language":"en","value":"Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6498555"}},"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":"Q887638$3EA4982E-40CE-4C15-9132-0310F95D7E38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9fb16caeef63f0d829d5a1f079e338cca4f95cd","datavalue":{"value":{"text":"Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q887638$8C419BB8-FADB-47D3-AE5B-AC4BBBCCC056","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d632e5efb52bc33cce89bedce019011e7e092208","datavalue":{"value":"1347.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887638$F5D89A7C-44E1-4E76-92C9-0BC3A5857B15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887638$515B3F81-2690-4754-9BBA-13F33277F710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c7e608d0bb85e41554d5122b6bd0bdc88b90e0c","datavalue":{"value":{"time":"+2015-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q887638$EAD7280F-5ADD-442C-9FE7-1C76D594D3B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887638$D59FE298-BB3F-4D05-8495-B27C709EE268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887638$45532339-F692-4230-9A32-B690089AF40C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be808ea9b93d3df8c26db0b944f34564f6a8edad","datavalue":{"value":"6498555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887638$C7880542-DDF4-4256-91D2-E018FCCFEDBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q887638$D6FBB430-BFCE-49D2-9D80-1F6DEF151F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2c2059af58e22e0d5de707b1eb4f3ceb83c5a1","datavalue":{"value":"constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q887638$A71853D2-FBE3-46AA-9217-C119FE8224CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8482d1adb70bd06dfee2710c3e7bc21026b4be2","datavalue":{"value":"autostability","type":"string"},"datatype":"string"},"type":"statement","id":"Q887638$3E8DE425-00EF-4AEC-90A9-E6BCC35CC784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7d07f38ec58dd62dd712e1d243ae3a3974b348","datavalue":{"value":"index sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q887638$361D6060-7E9F-4A03-82A5-FD8FA25A35C3","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":"Q887638$8AABF09A-6836-4591-8FA4-D0F159DA06FA","rank":"normal"},{"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":"Q887638$B43B8760-1D43-424B-875B-45801F180BAA","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":"Q887638$EB936185-69F1-4708-AF07-454B80C2E7DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61a728dd288ddb798d92256ce4a18a02933f5233","datavalue":{"value":"https://doi.org/10.1007/s10469-015-9331-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q887638$33C20E1C-D642-4E25-B48D-6B952B1E7925","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3854ba8a08a7d7407dba9fb88dd50f6aeaf4a8b0","datavalue":{"value":"W2295080684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887638$FB3ECB59-4ED5-45D4-A055-8C3E0F5DA1EC","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":"Q887638$0650042F-306E-49A9-B870-AD4B358BD64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eadadadb05bdd0bd4b4b6c4166373be9eb0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4935938,"id":"Q4935938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887638$186387B6-9CC8-4A6F-A5FC-1D5A22D17973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7326762699e9101e0f0b14c3d6655cb2b160cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3931264,"id":"Q3931264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887638$90CCAEF8-A956-4594-96FF-D65061550A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ae3c645312444739db54e724dcda720475d0da","datavalue":{"value":{"entity-type":"item","numeric-id":3447199,"id":"Q3447199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887638$37FC8E6F-7350-497B-B746-0D98A9F3C311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8924ef66f9f87e5c5513588215a11a53795571","datavalue":{"value":{"entity-type":"item","numeric-id":5453983,"id":"Q5453983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887638$57062885-ADF3-4DE4-A90E-84DD644FCC6F","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":"Q887638$E36ECDCE-547E-4DD0-8D77-52CD1A15D207","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":"Q887638$D6E154F3-1DFE-4A9B-9339-58813E8B3467","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":"Q887638$877C270C-E08B-46A2-9990-93AD3ED6E585","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":"Q887638$B5D839A4-7FFE-4979-A948-5AE4085F427B","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":"Q887638$E19C0CA4-778C-41D4-83E0-DDDB74AB03E2","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":"Q887638$B65C2D10-18B9-4EF1-9BCD-CA8E576A5B2D","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":"Q887638$95440880-FA87-4FE0-90AB-834325A3B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0996b297d7a93293d6093a367bbe6e07fedd1d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4895321,"id":"Q4895321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887638$622315B6-FFF6-43BE-AD9D-58A6242D282B","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":"Q887638$FD484EE0-681C-4D52-823C-9C037DB7A7DF","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":"Q887638$223024B1-CE03-428F-AB90-20AD7D1DCE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e153b8d9db5b29397c00a354e1039a528d57e76a","datavalue":{"value":{"entity-type":"item","numeric-id":5741335,"id":"Q5741335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887638$5E4F95AA-56A7-4274-890D-EF02B67B8B30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87e5c73cf524caf6ee28e10341615e73b85192cf","datavalue":{"value":"10.1007/S10469-015-9331-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887638$FC4F45C9-4957-473C-A6F7-FDD8DAFB95CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Index_sets_of_constructive_models_of_bounded_signature_that_are_autostable_relative_to_strong_constructivizations"}}}}}