{"entities":{"Q3195586":{"pageid":3206294,"ns":120,"title":"Item:Q3195586","lastrevid":52369706,"modified":"2026-01-22T11:55:04Z","type":"item","id":"Q3195586","labels":{"en":{"language":"en","value":"Solovay-type theorems for circular definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496482"}},"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":"Q3195586$50B39722-0FA7-434C-960C-B7C80351BB43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a3074da74970c2cd7ade98112ce66f337c62dd2","datavalue":{"value":{"text":"SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3195586$3447E453-719D-4AAB-9CD4-98EB2C8D8B4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef1d78a318d7fbc1c3876fb0cf895d56d4066293","datavalue":{"value":"1347.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195586$F54AF0C7-419D-499C-8ABF-85FA51238177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f630dfcebbb7a72b83b630fee2dd0385e70d436","datavalue":{"value":"10.1017/S1755020314000458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195586$FC4A6191-8BC0-43CA-B075-09A83D7C01CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"623fa57fb5f22ed9cedfbc94c6c6341b681212eb","datavalue":{"value":{"entity-type":"item","numeric-id":1679782,"id":"Q1679782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$0B90066C-672E-46D8-A8B3-9E8888ACB9AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$E30ABDF0-4161-4A4E-81C9-DC725CF09541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3195586$2EB73A21-13EB-4BBF-AF3B-2372C6F231F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195586$D93DBB28-5461-4495-BF8E-E9D9AB35F460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195586$FB75112F-DAC0-4DC9-896D-55A9966C360C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195586$0DB00A0D-2C1E-4432-8BC5-25FEE1FDAF62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6454e0cfca1010c0fe2b7e48a80838062e5baa90","datavalue":{"value":"6496482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195586$84FA26C1-95A3-44A0-8E15-925094DF0029","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a29771875a2c7926be0124eb8d2777e9a82458","datavalue":{"value":"revision theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3195586$5167519C-F5EA-490C-AF61-0ACDB308418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fab337d4d849a57f11bfdd042f1f1173a7470a22","datavalue":{"value":"Solovay's completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3195586$D9550A04-63AB-4144-A32D-593186199D11","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":"Q3195586$7B31EB04-8738-49B8-BD71-E4A0A183F668","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0414314b8a8d0e8691ece15a84f72ba00dde71f2","datavalue":{"value":{"entity-type":"item","numeric-id":5951910,"id":"Q5951910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$54493600-6F62-4AD7-99EE-FB0D14CB1222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94284ee8fcbd451899be71423e8f6c3441e429cf","datavalue":{"value":{"entity-type":"item","numeric-id":3760496,"id":"Q3760496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$B22F01D6-54AD-47B6-9425-FC334AF0744C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46676d728cec9221729b77e0903cd00e1a720ad5","datavalue":{"value":{"entity-type":"item","numeric-id":1317974,"id":"Q1317974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$0FFA0C79-D95F-4D12-9FA4-1A2167B3FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$16E35F0F-FA54-4102-9FDD-ED89629E5BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae27d7122ec1a8cf54a2bf44c67ebac4db36f11","datavalue":{"value":{"entity-type":"item","numeric-id":1050329,"id":"Q1050329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$3F8788A3-B391-4D87-8A90-84CA63953DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883907c1b9faaee90794cecd283314576399aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1839240,"id":"Q1839240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$80BF98F2-A0C8-47D2-90EE-F4D0354281FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1a1157145b49065cc80dc5670512eb05e94b8c","datavalue":{"value":{"entity-type":"item","numeric-id":1815415,"id":"Q1815415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$FD7DD1EF-1935-4969-BA03-8A047060DF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1e485e82c7dc84d069a763eb4a11a2b42b250b","datavalue":{"value":{"entity-type":"item","numeric-id":4845457,"id":"Q4845457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$E9DA4FD1-094C-4F70-B632-9AD36F044F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d057a7e73164cf15e89bdaea55e55f04703d5bd","datavalue":{"value":{"entity-type":"item","numeric-id":383558,"id":"Q383558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$E0E6662A-1503-47F1-8B69-39251E773B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$AFFF370F-6BE5-435F-A558-214C15FF26C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d201ede5ca679cfc81b78a00904975105b96557","datavalue":{"value":{"entity-type":"item","numeric-id":4817192,"id":"Q4817192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$67DBCC85-51C5-439D-9ABF-AD20A768F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b48b5ca3a0937e284aacf3c016ac331334302da","datavalue":{"value":{"entity-type":"item","numeric-id":2446052,"id":"Q2446052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$945A2736-9C69-4F1A-A985-0FD6A1BBEA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5500dc137d3569466f9be625b63e15fa420e30a","datavalue":{"value":{"entity-type":"item","numeric-id":1333309,"id":"Q1333309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$FE6B76CF-9702-4804-917B-E216570B32BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a75078d05d662aee2069a3920ece410ef8e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2778662,"id":"Q2778662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$D473E3AC-3980-4AC8-BD81-87D017053C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$86780A5E-406B-4647-8976-860A018A6776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b510021deee6c8fd92f323e734b1fafcb8400","datavalue":{"value":{"entity-type":"item","numeric-id":4953216,"id":"Q4953216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$5C5EA278-8B94-405C-AE43-2BD05F524736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa515511a1147cd26ebe25e50ac0ac37435c500b","datavalue":{"value":{"entity-type":"item","numeric-id":5951911,"id":"Q5951911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$0EF9881A-C1AF-4AC6-977C-0EAB2DB2C978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b1c0b48fa8a1740f78f2fee5809ed412160f82","datavalue":{"value":{"entity-type":"item","numeric-id":817681,"id":"Q817681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195586$8ACE2CCB-2454-4D7F-B84E-4CBF2EEAB868","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaec293d47c5ccf7a7751035abfc3ddf1ec925d7","datavalue":{"value":{"entity-type":"item","numeric-id":1685933,"id":"Q1685933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89bc1b44099111b2682c7d1963eb734512451e0","datavalue":{"value":{"amount":"+0.7521135210990906","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":"Q3195586$D7D5C85A-1349-4A9B-84CF-C2F2BC679DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fdf1649a75caf06f675d4d9b225cd2e2dc66fc","datavalue":{"value":{"entity-type":"item","numeric-id":5224693,"id":"Q5224693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba63e2df073ed44b013f127baab6d92328e1ac44","datavalue":{"value":{"amount":"+0.7507129907608032","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":"Q3195586$74643A6A-332B-42E2-947D-4C9814B2AB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7982ab060501728ce0f2208c041f28be535a51","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f14c0ddd99c6f0fa423283caae776cd8bb512b","datavalue":{"value":{"amount":"+0.740207314491272","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":"Q3195586$41E885C1-8B89-4A37-9D96-0CD85FE1C42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e7fafb3109edd967df1045510ba6456f3b124a","datavalue":{"value":{"entity-type":"item","numeric-id":2420713,"id":"Q2420713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f53a1344597f088d0c8f7e4477c0ae49a0cd58","datavalue":{"value":{"amount":"+0.7400983572006226","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":"Q3195586$E05A390E-063B-4F6F-9E57-42FBB3B5A2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63bc7d6db024925399dc96ee66f43a29dca8964e","datavalue":{"value":{"entity-type":"item","numeric-id":4639909,"id":"Q4639909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03861614460d9ec3bb2bd30416f30045218f17c2","datavalue":{"value":{"amount":"+0.7380602955818176","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":"Q3195586$7B0764B0-E62A-45FF-81D1-FBC4123AED97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3195586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3195586"}}}}}