{"entities":{"Q5146566":{"pageid":7176137,"ns":120,"title":"Item:Q5146566","lastrevid":58448229,"modified":"2026-04-05T06:38:03Z","type":"item","id":"Q5146566","labels":{"en":{"language":"en","value":"The Barwise-Schlipf theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301347"}},"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":"Q5146566$3FF2E020-9E2B-4FBF-9C06-4D2CF3179BD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c2d5f976c17de8c788b4ddd4bd78c2feb322278","datavalue":{"value":{"text":"The Barwise-Schlipf theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5146566$864B4CF9-D1AD-41C4-BCBA-FFECD96CEABB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94a555626f195307dca122dffc5e42f0c4aff6f6","datavalue":{"value":"1459.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146566$49782DFC-5E71-44AC-A93D-49A08E681D6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d91baa7b851119daffbdb37a964d70bc49dc7e61","datavalue":{"value":{"entity-type":"item","numeric-id":204231,"id":"Q204231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146566$9B8DE054-D33F-4660-834B-8B5A9C1696C3","rank":"normal"},{"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":"Q5146566$0CED198F-08B2-4C70-BBD4-82E9C37AC3F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146566$E1DD2E2F-2FF9-47FD-A0CC-EB4B9CA934E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c37197fdcc622dda62b1a70d213b12db611eb0","datavalue":{"value":{"time":"+2021-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146566$5716A63B-3309-403C-A89D-615EAC0D61D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e0f35609d92a3c002c050b879a6ad20b29dee08","datavalue":{"value":"https://arxiv.org/abs/1911.05117","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146566$0EB9FBCE-85B4-4246-AC6F-48BD93F98866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146566$431A59CC-5412-436A-8E07-5301115CB02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146566$88602965-3849-4679-B46A-57DA48EF31DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146566$10A55157-208C-4DCB-B269-53CC21C47025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd4767934cb1b1c6c042351d7b89202c993a0ec9","datavalue":{"value":"7301347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146566$DE5FBF97-BEAE-4244-A70F-0905DDD98A76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb78bb18f3a146f8ec0fba8087cdcd8dfdba88b","datavalue":{"value":"nonstandard models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146566$E0803E42-423F-437A-824F-8F8C65B7389F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146566$A09BD3B3-3AF0-4575-9D36-22D624FCA333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7010c2da262ae30262762edb52a75765cd41a6f5","datavalue":{"value":"fragments of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146566$858DE5C3-F2EE-4D3D-8612-EEE5B42DD776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d75109db94197a2c7d4644515f497e9b7eec79","datavalue":{"value":"expandability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146566$B3BC4997-63AE-493D-A01D-035233D70784","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":"Q5146566$7D33D06C-D327-4CE4-A39A-D1A827721FF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b95117087d96d70d2b9221031427535f8b238737","datavalue":{"value":"W3036308316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146566$84C4BB65-9B96-4BAF-BDCE-96B3F332CBEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec381d7fbc674530adbba7e61cd69cd3fa58306a","datavalue":{"value":{"entity-type":"item","numeric-id":4110995,"id":"Q4110995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146566$8CE9C15E-DD5E-4A11-BB7E-D6942C6C0F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347fbb1126deb105abceb87df99802acc1433f9d","datavalue":{"value":{"entity-type":"item","numeric-id":762144,"id":"Q762144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146566$A10C8E4B-7930-4202-94A1-431A986E2621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4973f90bc4763d4c9be1bdb425de22d9bd0e3687","datavalue":{"value":{"entity-type":"item","numeric-id":3755444,"id":"Q3755444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146566$1C730D46-8385-473A-AD31-589BED089A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc51eeb746bbd26502a71e3d1b9cdb6129e95d4","datavalue":{"value":{"entity-type":"item","numeric-id":1236114,"id":"Q1236114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146566$E95637E7-7C21-46CB-8222-AB384FAE5D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146566$0778FC5E-4180-4E30-BC46-9AC5EC2DB093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cc02264b41f13da9858fdcf78f208463e9ed5c","datavalue":{"value":{"entity-type":"item","numeric-id":3966138,"id":"Q3966138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146566$22FDC2B7-5C04-4E5D-A44A-D99E6211E5AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09de876fa6f0f4df3e0119da3cafa3092c03fa0b","datavalue":{"value":"10.1090/PROC/15216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146566$7454F882-E8E7-4ACB-8210-1A322ED4CCD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb0e2885ba45919dccd9293efa00e86a88dc40f","datavalue":{"value":{"entity-type":"item","numeric-id":3755444,"id":"Q3755444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5dc0e0ef9bf8f5022cd2c2aee994568971b794","datavalue":{"value":{"amount":"+0.78971744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$B2F71C10-F8D9-408D-8362-815AF7E58DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e8d6d6af0411f8f489b31d23b30683ca1188c","datavalue":{"value":{"entity-type":"item","numeric-id":3701406,"id":"Q3701406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1004af4221677f32d14cdd913173cb934041b7b9","datavalue":{"value":{"amount":"+0.7774525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$F283B60A-822B-4C03-90E7-74AAD4054904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375f83f0eb026f08595b54475eaf2d63c4f73d31","datavalue":{"value":{"entity-type":"item","numeric-id":3118397,"id":"Q3118397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f728eb2448618dc33f91ca48f5ba39709493a32","datavalue":{"value":{"amount":"+0.7760774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$51729038-65DE-4C0B-8C5B-2F3758E2B30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1493c9eea3065d6ef84c2054e6d6ac9128df8caa","datavalue":{"value":{"entity-type":"item","numeric-id":1102945,"id":"Q1102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1817bf232be87d4e200a9513b825ba4b1e6a7ac0","datavalue":{"value":{"amount":"+0.773767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$76FA8B96-FBD5-437A-B53F-DD888BB15A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26746b6d65bba143035b97d6561c52ac4515ea51","datavalue":{"value":{"entity-type":"item","numeric-id":3786482,"id":"Q3786482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f50cbe4c13c825109b9b25a246ee8ac13bfb32","datavalue":{"value":{"amount":"+0.766116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$C407E718-4ED5-4E60-9A40-CCB9F4E240BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb26ca29ce863e1e33e129512d1a0aa786aa8e5","datavalue":{"value":{"entity-type":"item","numeric-id":4944906,"id":"Q4944906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bac66b06478a0ac73b38cf492506364e93d02eb","datavalue":{"value":{"amount":"+0.76269644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$38EACFF4-282A-4ADE-8958-233EC21B447F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e237ad0d51971a6701ad1bbd62674704a54c51","datavalue":{"value":{"entity-type":"item","numeric-id":3757917,"id":"Q3757917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2224fffab35266cadef3a72eb3baa75dcc1545aa","datavalue":{"value":{"amount":"+0.75360954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$D2C04056-BF02-4F62-AC45-464009904A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be0481f5d03a7487bad27cfac54bf7d9f743c27","datavalue":{"value":{"entity-type":"item","numeric-id":4309361,"id":"Q4309361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a61a0cd9fdb29ab8ed8fe83754bd687629dbc92","datavalue":{"value":{"amount":"+0.7520231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$EEED3ACC-29B3-4DE7-B941-2F4B400FC650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258b41ad36b0268d19373c85b40f390b63241d8a","datavalue":{"value":{"entity-type":"item","numeric-id":3691674,"id":"Q3691674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6e93bfb3ad4be519dfa031ca27551a2ec6ccc4","datavalue":{"value":{"amount":"+0.75019175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$BBC399AF-B51E-4F50-85D0-DBA90334D30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c206a643c1242c4b11f7affb3ae59377869ded2b","datavalue":{"value":{"entity-type":"item","numeric-id":3216650,"id":"Q3216650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569778cdb52418a2b617090cd1ad501b5e204265","datavalue":{"value":{"amount":"+0.7482651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146566$21757B2E-C94D-4B8F-8617-D89787F8D3CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5146566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5146566"}}}}}