{"entities":{"Q3305552":{"pageid":3316260,"ns":120,"title":"Item:Q3305552","lastrevid":53787866,"modified":"2026-01-25T17:36:15Z","type":"item","id":"Q3305552","labels":{"en":{"language":"en","value":"Lindenbaum's lemma via open induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229508"}},"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":"Q3305552$757969B0-2999-4D81-B840-12169556C651","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d94fc1fa8f23c8b758ad35ad0195f63e289f2b38","datavalue":{"value":{"text":"Lindenbaum\u2019s Lemma via Open Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305552$D9A93593-F576-435F-B9CE-6A24DBF92938","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da12c367cae7a5cab2615cc4111c4247e1316298","datavalue":{"value":"1439.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305552$0B52A487-A5A6-47CB-8211-49E4EB3D8DB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e7462dbacf7dddaf4ecdabee5364ba9ede9e394","datavalue":{"value":"10.1007/978-3-319-29198-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305552$CD3040DB-5258-455E-B3E6-A6933759C2B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3805f594ddac6fae8f2d2362aaebc83c0fa4374","datavalue":{"value":{"entity-type":"item","numeric-id":290641,"id":"Q290641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$6D48CDD1-C8CE-4A9A-B937-8298F345E07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5370d67f147d0cb389ee4abc5688096ca44bbf27","datavalue":{"value":{"entity-type":"item","numeric-id":273001,"id":"Q273001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$B9EEF6AA-1974-4D15-B428-DD6D27F640B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$6928BB7A-3F6C-4FA8-B13D-01DBE9222A17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e498f87878cc10d1e14c067484ebfeb4fbbf3580","datavalue":{"value":{"entity-type":"item","numeric-id":3305549,"id":"Q3305549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$75CCD576-E002-421A-A2BC-FFD73F884641","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5455c1d81d4a01ed39f1551e0dc8701e3aa1c562","datavalue":{"value":{"time":"+2020-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305552$68832C62-BCED-418B-962B-DF9B169D613E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48e8fb89675add8be156e7b70ae2f83b47c165a8","datavalue":{"value":"http://www.springer.com/it/book/9783319291963","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305552$0E4E4633-8595-4BCD-AAA6-99A54F20BBDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305552$5ABFB282-D45E-423C-89E7-4F515B4496B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305552$52735E5C-6DA9-42A7-9B98-D36762678282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e7adcb93d41d1df1d10c4da618a1bb166f439ea","datavalue":{"value":"7229508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305552$B0E6FBB7-35A9-4E5B-81F1-BBB6F3DDFC59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305552$4F87CD72-2D71-4D05-9FF7-F5F716802A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305552$BB5EF593-968C-426B-B095-D1A64548C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f09fed86dd774116d027b36d104145242fea120","datavalue":{"value":"strong primality tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305552$2255B96B-68B8-40FF-859F-8018A601C338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1339bc15f9d9bc987fa6b5d65b7de67c1590b4b3","datavalue":{"value":"complete consistent theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305552$18AAF469-7747-4364-9E26-44B43DA38804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0503e87b0acff26f635285d13119340cdc06484e","datavalue":{"value":"Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305552$8652954A-5398-450F-A19A-1FD0852AA5AF","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":"Q3305552$F535F5B7-508B-4C83-9DB4-4F26441E6784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd0bb9907882464f2231b68c516c2bd3b7d66529","datavalue":{"value":"W2408986766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305552$8DB2915D-34F3-4FCA-B84C-078EB8536D45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01a7796542261e07d41a2491f4c7ed1eab0b746","datavalue":{"value":{"entity-type":"item","numeric-id":5448614,"id":"Q5448614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$38050903-EAC7-4F29-B976-03C39B992099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1a861358bd0353d0f8a6abf7486568be23b76f","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$2838C0DC-8E76-442B-9C0A-004E99B1C2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d985b69febb89475c9585170093eda35f3ec2efc","datavalue":{"value":{"entity-type":"item","numeric-id":1128177,"id":"Q1128177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$A8F6C098-8819-4487-AEDD-5F957E3DC382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bda265395f5c65b4fa8a0061b4ef96facef65d","datavalue":{"value":{"entity-type":"item","numeric-id":4594260,"id":"Q4594260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$FF1D6588-57D0-4A8C-9371-D177CC0F6B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1174e25682c6db55f75a0aae038d55e05f0e39","datavalue":{"value":{"entity-type":"item","numeric-id":4944848,"id":"Q4944848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$8A589CA3-7F85-43B7-8EA8-4851E06FC45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8d0dda71cd4de4005dfe831ab14458886317a6","datavalue":{"value":{"entity-type":"item","numeric-id":4647571,"id":"Q4647571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$251A2765-A297-4EDA-AAEF-73B4C61BBA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8b681055e76d6a26f65d45cdc8c5755ebf47fc","datavalue":{"value":{"entity-type":"item","numeric-id":3481700,"id":"Q3481700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$B7095639-1352-41E9-9A2F-F7A2D3FD6CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7fd191afcb1799038caf6b02947aa2f2aa324b","datavalue":{"value":{"entity-type":"item","numeric-id":2904419,"id":"Q2904419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$8B7C97D3-9547-4977-A082-CEB38CF52DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$7FE8D440-3D7B-473F-9288-F241A7DF1528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$51A23812-5520-44CD-B69E-146BE23BD8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$A3EEEF1A-5398-4AFC-A359-89DA1E235B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbe761ae08f93ee4eec33760284b7fcf9bcb766","datavalue":{"value":{"entity-type":"item","numeric-id":3450806,"id":"Q3450806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$92217723-44FE-424B-971C-4A2717AC363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688262f3a104fdad6883ab8facbb707ae543c2d6","datavalue":{"value":{"entity-type":"item","numeric-id":2643522,"id":"Q2643522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$CB5D26AF-8168-406E-A038-77B7CB6BCC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e6e74fc9f0e43b2bb5ebeafd488ad5919a3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1112816,"id":"Q1112816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$3259D8B0-EE33-4CB0-ADE1-7B54E293B1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b7f954416401516e809c684701a5ea4dcaefa1","datavalue":{"value":{"entity-type":"item","numeric-id":273003,"id":"Q273003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$D74C9DBE-3AB2-4134-8C74-079A824C5817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103c1ee471caa6ce62b8d0e616f1577f93104e51","datavalue":{"value":{"entity-type":"item","numeric-id":5363372,"id":"Q5363372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$B30BD202-EB4F-4172-99C0-8525EEFC0B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6b93763c3bee209b670cc606716e146a89ae81","datavalue":{"value":{"entity-type":"item","numeric-id":4858821,"id":"Q4858821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$FE7A37C9-F45D-4EFD-B122-4AA922CEA777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6807ec1d11298374f7516f766ca47b48f40dff","datavalue":{"value":{"entity-type":"item","numeric-id":4079581,"id":"Q4079581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$39A1AAFB-81C5-45C1-88A5-FCE78425573E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108b7dfc8a025722db7f8f75b111b10c93adabfd","datavalue":{"value":{"entity-type":"item","numeric-id":2986836,"id":"Q2986836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305552$41435070-6410-4472-A1C2-16BFD66986EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbaf91dd9a1c5321e1ec5b3b8a014beb50426a2","datavalue":{"value":{"entity-type":"item","numeric-id":2848365,"id":"Q2848365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09239323c142ed03401e75aece31f398ac3294c0","datavalue":{"value":{"amount":"+0.755810558795929","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":"Q3305552$5873E298-D0EB-4060-A58F-978B4C11A175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f7e4183d98ce8be02f1aa974fa89c7131d9b94a","datavalue":{"value":{"entity-type":"item","numeric-id":2986836,"id":"Q2986836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e568878f1feda9eaf924f7ef9e3dbfb522badd3","datavalue":{"value":{"amount":"+0.7547880411148071","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":"Q3305552$DDD53F7B-CA55-4096-9F15-11D7EF8EA3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2fe10e284d5efaa4d043023308f60004832a46","datavalue":{"value":{"entity-type":"item","numeric-id":1799275,"id":"Q1799275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f26c8fed57f22425d03fd4c1708e3e0e49790c","datavalue":{"value":{"amount":"+0.7475090622901917","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":"Q3305552$6363A2DC-C0CA-4D4B-B484-3D04E1ACB224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c38e38c217e2578184a68830ad84e754fb3ae25","datavalue":{"value":{"entity-type":"item","numeric-id":2254568,"id":"Q2254568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d1816e9ec989f93ed873f5ad6682ea0aedb60a","datavalue":{"value":{"amount":"+0.7158538103103638","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":"Q3305552$472C9DCD-A5D4-4DAD-9F36-6F80F50B0836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855a86f24d6106a714152ca66a9c7c37c7c3d6c2","datavalue":{"value":{"entity-type":"item","numeric-id":874754,"id":"Q874754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b96e27644b302cb4f3a2446ab00fdac34c9416","datavalue":{"value":{"amount":"+0.7136011719703674","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":"Q3305552$8C5D6F92-FABB-482C-9DC9-3458E5DE7E41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305552"}}}}}