{"entities":{"Q2215960":{"pageid":2226703,"ns":120,"title":"Item:Q2215960","lastrevid":73369350,"modified":"2026-04-14T15:38:19Z","type":"item","id":"Q2215960","labels":{"en":{"language":"en","value":"Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285587"}},"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":"Q2215960$AEE6F526-4438-487D-A1A3-8307805CA513","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b92af083ac2b909c5f9f295dcbbb665ece5f5602","datavalue":{"value":{"text":"Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2215960$AB221AF0-D833-4438-9CB7-50A6B480209F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2717c1566cdaa8f12853aaee456d2ab578b0584b","datavalue":{"value":"1498.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$08FDC3D1-30AA-4465-86A0-3687BEAAC215","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ccb476331e42aaf038cbb749fc8e08e22567013","datavalue":{"value":{"entity-type":"item","numeric-id":2215959,"id":"Q2215959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$ECF3760C-1388-41CC-8C65-14673F1541CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$3A88ABBD-3B54-4620-9784-F2CA9AA69D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$B3DD8B74-35DE-477A-B099-CBA16C75DB06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$35788468-CD9C-40DF-A80B-CF6CB9B1DFD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92018b86948792c7af58198ad3b3a15967a211f","datavalue":{"value":{"time":"+2020-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2215960$B9A52E8F-F7DD-4001-89AD-D0E3F33B0587","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$EE5CF8FB-934A-4119-A835-E59EE044E469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$8650BFF8-D462-4A6A-BB49-40244BE9B5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$D69F6783-1707-4B08-88F6-FF6907F14834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$44580005-B5F0-4206-B941-233F0CA32B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$4A9B244F-881F-4F4D-87EB-67E1C6399D0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ecdfa93eeb4dc4cb6a32834e3a9002d01f862f8","datavalue":{"value":"7285587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$CF8C1413-D167-45F2-8D17-86CBD89080DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215960$12725654-4DF9-4913-8974-05608C51DCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bc8909ce4636a0488fe1c98d1fee6f3e23a4b1","datavalue":{"value":"computable set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215960$3F87BB00-D120-4896-B535-976AF33455FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215960$EA248755-A36B-4C13-BDAC-375CB7275277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215960$3F0BC39A-6B67-4A0F-8E2A-75FABB36F1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45605c1c130274ce6af8474a2e8b8bbfaab9976d","datavalue":{"value":"proof verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215960$6895BE16-A21F-4901-9B05-58EB2CF6C668","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":"Q2215960$0A4A0490-96B6-48B1-BE5D-01A451BBDEE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b73a53e0addf86d1415af6e9d0b784245c3320b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.08.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2215960$333D16A6-D2D0-4AC0-9DE0-A0B699EE521B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5064a48d9bc82d288e8d0332bbb9d9e949e5d67","datavalue":{"value":"W3080392153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$2F5F3D41-DA26-400E-8292-F5EC07BA9570","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$915089C2-3E6A-4161-B2EC-D83539BC05FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5020c04500a91709182037dcf1bddd4989e76c6","datavalue":{"value":{"entity-type":"item","numeric-id":1100935,"id":"Q1100935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$184B9E91-1318-4AA4-801D-383561C7B6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deed870d3160c3d9176d3cd4064d414d164ca374","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$F7FE628C-DCC7-484D-8C27-0F64D6BD638A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf4e74a56d02db9ef5de98771c6583ec27c8b63","datavalue":{"value":{"entity-type":"item","numeric-id":3999861,"id":"Q3999861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$30877340-A532-4B64-B9EE-D0FF4CDB98D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928c2af04ecf0989e66e39a3bd22c3885db1336a","datavalue":{"value":{"entity-type":"item","numeric-id":1813824,"id":"Q1813824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$AFCCA398-9970-493C-95E5-9BEBA5265781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$0F6A7F85-82C2-47EC-8F25-EA0B004F37FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef71c10b823a83d9ff190d3f50d1420337a24495","datavalue":{"value":{"entity-type":"item","numeric-id":1854500,"id":"Q1854500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$25C590C7-E343-44C6-928B-8364C84EEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96553f5a1a79f62a6f99e37f92a7c62c1ff10143","datavalue":{"value":{"entity-type":"item","numeric-id":2252530,"id":"Q2252530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$21ED2EB9-68FC-4611-889B-2FBF752CAE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cc4126b204e6d89149561def188b1071edad47","datavalue":{"value":{"entity-type":"item","numeric-id":4571911,"id":"Q4571911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$EE9E5592-A7B8-466A-BCE8-5A9D91F63CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caaa4b84c8d83da8bae05dbdfffe44e7c6e954fc","datavalue":{"value":{"entity-type":"item","numeric-id":4503906,"id":"Q4503906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$D9843919-6870-41D9-8DF4-4A4308DF8654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f596328d3ac1c2d847c2c458d27f2a92d2151722","datavalue":{"value":{"entity-type":"item","numeric-id":2303241,"id":"Q2303241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$CFAEDEEC-C5AA-4202-9A54-018F465722C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dec289217004caef20c18ff2c9bf93285a1b639","datavalue":{"value":{"entity-type":"item","numeric-id":3422416,"id":"Q3422416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$838E6EBF-ABDA-42BF-9D52-E76BC88C62DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b09f58c2305df0b2d6f3b3a6465ec3e5b5904","datavalue":{"value":{"entity-type":"item","numeric-id":3129506,"id":"Q3129506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$A91A0B4F-808D-4AF6-95A5-1F8D047EC927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c55cca437d96f93b2f4f850ce6e8dd3142bcc7b","datavalue":{"value":{"entity-type":"item","numeric-id":3900014,"id":"Q3900014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$6C456EB7-447F-414B-9C71-DBE79E8EFF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$A18619A4-F955-4937-B435-AA7B1F98E172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9871de68b69994ebc6e11e7d75a97392a336f381","datavalue":{"value":{"entity-type":"item","numeric-id":679421,"id":"Q679421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$3091B5B9-01BC-423F-8161-F7E5CDF575A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9562cb9925283a8d810045d6d68a9a7cbd9a0fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4160889,"id":"Q4160889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$844B5C6B-3F1E-4CDE-832B-21F8B258CBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56bfaaf5b8662e14d6fed5a7581457e6ac1cd314","datavalue":{"value":{"entity-type":"item","numeric-id":5360855,"id":"Q5360855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$6D6E67A9-4E9F-496B-8F55-D3102FAAB1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e2bea039ea2718ebc70c750027954e701914b","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$FDE280A7-965C-4BFC-AF7C-6920A44AEC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6a72a62eb7ac00a65cb3378a54949f41ee0676","datavalue":{"value":{"entity-type":"item","numeric-id":2581276,"id":"Q2581276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215960$7488B946-9E4A-42BD-BA14-6E731599DEAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b1effc2200f9e8300260e16c49756c0ff7f01cc","datavalue":{"value":"10.1016/J.TCS.2020.08.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215960$64FF70C1-622D-4371-9618-6A5A389CDE10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6498bd1151e2050dfbba72045172cbd4328de45","datavalue":{"value":{"entity-type":"item","numeric-id":5158658,"id":"Q5158658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec655d46f6405906ee61fe3a3f5b338a73201d5","datavalue":{"value":{"amount":"+0.8938740491867065","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":"Q2215960$4DE934CB-599A-45F7-85F9-4B783F4FC333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c033ebd208a435ababae29a46b63d7a7a5449f","datavalue":{"value":{"entity-type":"item","numeric-id":4884662,"id":"Q4884662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368d023053be303c2a0339a6982cbbc34c1b3d71","datavalue":{"value":{"amount":"+0.7633023858070374","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":"Q2215960$8DD38A83-805E-4435-B434-F7095520EB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368d023053be303c2a0339a6982cbbc34c1b3d71","datavalue":{"value":{"amount":"+0.7633023858070374","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":"Q2215960$4B359BBE-1718-4F7F-81B7-4FED451CB3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0419543bc1078792c29b3756c70500d712a5f926","datavalue":{"value":{"entity-type":"item","numeric-id":4986517,"id":"Q4986517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074767ccf319dba28529a6e260b99c358bf54011","datavalue":{"value":{"amount":"+0.7436466217041016","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":"Q2215960$AC053912-787B-4956-8E25-11781953D8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b88d6bc0aa29c2a10a471b42e653052dccbd4f","datavalue":{"value":{"entity-type":"item","numeric-id":912082,"id":"Q912082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a107f78f5faec9516cbce08fe535da5827e171a","datavalue":{"value":{"amount":"+0.7417258620262146","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":"Q2215960$71691046-FE6D-4B56-8108-B5B62A6BE73C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_assessments_for_decidable_fragments_of_set_theory._II:_A_taxonomy_for_%60small%27_languages_involving_membership"}}}}}