{"entities":{"Q2252530":{"pageid":2263273,"ns":120,"title":"Item:Q2252530","lastrevid":57814740,"modified":"2026-04-02T15:50:25Z","type":"item","id":"Q2252530","labels":{"en":{"language":"en","value":"Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318233"}},"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":"Q2252530$E4000D40-2767-42F4-A4F0-91333FCFAD10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a4d17f14083f765d9909ccdd6c1936ab584fdb9","datavalue":{"value":{"text":"Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2252530$23B3D5C1-8F71-4E70-AB81-1E8893E47129","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f657b4760fedee3cee2653d7df3d5d3ac8ba7c9","datavalue":{"value":"1291.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252530$DCC2855E-797D-4089-A234-734E1E8EC18D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5340066d4927c6f8477d9953886eaba9ef7335c7","datavalue":{"value":{"entity-type":"item","numeric-id":178072,"id":"Q178072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$A036F87B-E1E1-460D-8656-D7D615EAA0EF","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":"Q2252530$CF3555BC-78BC-4DCB-AEE6-7BAD5C10C65B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$12A27C11-F0D1-4A86-BA96-9F75D5EF6749","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fbc29fe33876c964126870990decd0d905ec965","datavalue":{"value":{"time":"+2014-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2252530$54DA582A-7AF7-43F3-9AD5-9E4721E4ADBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebd7d45317de9b2bac07e89e2d48498eb77e1bc1","datavalue":{"value":"https://arxiv.org/abs/math/0411227","type":"string"},"datatype":"url"},"type":"statement","id":"Q2252530$0689FCAC-288D-4938-B990-C4544CF0656E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252530$1CBBE0FB-CB78-4172-A16D-59FF1E75ED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252530$A103BA74-4CCB-4E3C-B93C-8A65494E9849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252530$373B6ADF-2CD6-4665-BBEC-3834850B7447","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f9a21fafb6353e34d4f67735b81f27a6896c2f1","datavalue":{"value":"6318233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252530$23C905CA-496E-408D-A904-178568CB013B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252530$0C65B018-FDDF-4130-B388-ABB7B8933838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2638c57b96c5bde9f8d3bd52cf82fb3b84409cb6","datavalue":{"value":"satisfaction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252530$E94B4B4A-90E6-4BA0-8E7F-EDED89EBC37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bc8909ce4636a0488fe1c98d1fee6f3e23a4b1","datavalue":{"value":"computable set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252530$7FA870F7-3F3A-4BB2-9AD9-672CAFBFD0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252530$1973FFBC-90C7-4912-82FD-4DA85FFECBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c672ada00cae3d98cf90a659b9ae78b4e7e984a","datavalue":{"value":"quantifier-free fragment of set theory MLSSPF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252530$7A0793C2-FA3E-43A9-9319-C58B7078202A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa38bc74ff30a85efaf5b57765afc66849105493","datavalue":{"value":"finiteness predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252530$DD9909F0-B682-4B1E-A15E-48D7EDCE2128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4236938ef7b4457f223c297d18bfaf225623afd","datavalue":{"value":"small witness-model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252530$E09AB98A-0BB9-4585-B12E-08B9E1EA7265","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30744a9a552ea21e8a6d1afa2421d1ae2bfffd11","datavalue":{"value":{"entity-type":"item","numeric-id":18486,"id":"Q18486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$458556F7-7036-419F-A3C9-7C2E4891FC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"96a7c392d0029d46bda6e6c2cd21ec15cb273fd5","datavalue":{"value":{"entity-type":"item","numeric-id":24367,"id":"Q24367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$342E08FD-FD42-4F6F-8D01-99C7FADE70EB","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":"Q2252530$B5A98B9B-98D4-43E4-BFEF-1BD93C6376DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"024fd64b37896b29d3e9dc2df88264e28cad261e","datavalue":{"value":"W2000644799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252530$DDF71408-4AFA-4B4F-89DA-A57C91B8E839","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94020793a3a7eb4a0fad20828637b27cf4eefaee","datavalue":{"value":{"entity-type":"item","numeric-id":4707766,"id":"Q4707766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$F9A38039-E0FC-403D-BA5D-964A7499124E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1c28f161c876d376912d6ff85cec0f631cd142","datavalue":{"value":{"entity-type":"item","numeric-id":5305641,"id":"Q5305641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$D75C1F47-9898-4376-B8BC-18B967A09EC2","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":"Q2252530$C2DD5051-51FD-423A-93C1-F70565153EFB","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":"Q2252530$41268C38-2EE8-432B-961A-A67BC4210A46","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":"Q2252530$6E4C03E8-CBA3-4A2D-8EE9-11B46BA42384","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":"Q2252530$D16257CB-EF7F-468F-91B1-B14A24395DEB","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":"Q2252530$10A286B3-2938-4CA4-8E87-BA8A102A05A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7def948a61421e05133353cf76b8955bb1d7788e","datavalue":{"value":{"entity-type":"item","numeric-id":3570158,"id":"Q3570158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$1D4D6BF7-EDA9-41DF-8E40-D7A72D64058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5e294927e696204d25b0a98a67874fec6ce3c0","datavalue":{"value":{"entity-type":"item","numeric-id":2915897,"id":"Q2915897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$4541ABB0-B111-433B-B356-07A68D6963F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c8227514fc28acbd069eff3cc910c9513b4a2","datavalue":{"value":{"entity-type":"item","numeric-id":4729777,"id":"Q4729777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$DC16AE80-75B9-4DED-80B2-096FC12C575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$8F1B6187-BE22-4619-A62E-C14CA3B75F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049f2eb1e510c695f6fb350f93c6a5df3a292834","datavalue":{"value":{"entity-type":"item","numeric-id":3437731,"id":"Q3437731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252530$37C13119-C92B-4413-8D31-9896570F0FFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf3cf34ed391f60889642eaae1870c84d31462c2","datavalue":{"value":"10.1016/J.IC.2014.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252530$54F52955-D08D-46F7-BDDE-03D80BB69BF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68391f8ef32c85200322ad9cb86b329f984620bd","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fdba5190f3913b1337871d44da2755634bea718","datavalue":{"value":{"amount":"+0.8754566311836243","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":"Q2252530$E76F124B-25CB-47E8-BBF6-35D9AB144678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e884b0762a8388344d5000446236f9357c21c0c8","datavalue":{"value":{"entity-type":"item","numeric-id":1854500,"id":"Q1854500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f5a40e0682f2d7e7b715660c26cf039cb07bb7","datavalue":{"value":{"amount":"+0.8574254512786865","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":"Q2252530$6A46145F-87DE-4976-9C1E-6B264D2C5D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6a5e2647909a516ae1f8a67a14423316785788","datavalue":{"value":{"entity-type":"item","numeric-id":4571911,"id":"Q4571911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8b584b62841fb7fb929a82e79528d6b521a6ba","datavalue":{"value":{"amount":"+0.8417159914970398","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":"Q2252530$CCB5057A-84D1-4966-BC26-5462DC78F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6038353045aa896bc5e1a332a96ae46c329bbcaa","datavalue":{"value":{"amount":"+0.8323143720626831","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":"Q2252530$6672E670-2DBD-49E6-9FFB-851DAECB61E3","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":"446a6470f0fc817867e23214a580f499db20225d","datavalue":{"value":{"amount":"+0.8238384127616882","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":"Q2252530$5F81E997-3ED0-4316-9146-F355D1674864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2252530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2252530"}}}}}