{"entities":{"Q4645222":{"pageid":6674803,"ns":120,"title":"Item:Q4645222","lastrevid":53315693,"modified":"2026-01-24T17:25:38Z","type":"item","id":"Q4645222","labels":{"en":{"language":"en","value":"On sets, types, fixed points, and checkerboards"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999509"}},"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":"Q4645222$1B11F61A-D426-46B7-A66C-89F6C1EE67CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee70f77467187fa5b25faeda8181480cde36f979","datavalue":{"value":{"text":"On sets, types, fixed points, and checkerboards","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645222$164D4610-457F-413E-A71A-318352FDAEED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e51a55e6fba71798d578c7c0b3cbbc8643b94006","datavalue":{"value":"1415.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645222$7C689CC5-529E-42AD-9C8E-FF6789FEEC98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d66d41687e311bd441d5bfbebffeb1c475cce6c","datavalue":{"value":"10.1007/3-540-61208-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645222$953AEDF5-3606-4740-B691-1F6B0B046D10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$5B4B4C8D-872F-4BE1-B890-BAA7842A80B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f16dd9b703796aafe3fbdd4d4680ffc6b13780f9","datavalue":{"value":{"entity-type":"item","numeric-id":1923822,"id":"Q1923822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$58A1FDA7-2F6E-4E53-95C9-98F2183A012B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$09EF05EA-2874-46A8-B09D-E73F20E22341","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645222$0FBECE94-C825-43B8-BF2E-B4D58D7B3326","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645222$6F19C7EF-6F96-434E-8637-49809CE5CE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645222$B7AB9B4B-812F-4FD7-8153-1C802FAF5BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645222$53323283-35B5-401E-B14E-84459C09859E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f384d35a7f2e7894f67efcf3da890e6bff59b00","datavalue":{"value":"6999509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645222$64B9C877-A0A2-4E64-ACEF-842A7C86410C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645222$94A375BB-6CD1-4BCE-957C-A4FF58F7C63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645222$A76C95D8-3DBB-4375-B0E2-849584C6B1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645222$D7597426-CAAB-427F-9899-15309F7F7489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645222$05AE5FC1-84CD-48F8-9420-00E55DA31249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeebd7511b576c9c27935550dedcbe83de042fd1","datavalue":{"value":"order binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645222$06341510-F947-4081-ACAE-93F9E6C048FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$660360B0-B319-48F9-8748-2447D4CA1119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$2F3E1E93-F612-4D08-BA7E-023FD5584128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$CA7CC465-26D5-4604-96B3-235A79709413","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":"Q4645222$2E6258DA-7AEC-49FB-A14E-8229D5CA3980","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47472d2a7c0c6cf2a0c8a52c1090348ddf90d944","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645222$3382B66C-0AF0-4055-8FF0-770E4A471363","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11ad63ac4c66d20d467ef6510962ae724878966a","datavalue":{"value":"W1576127349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645222$512C248D-C12B-417C-8ED3-104590CA48EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$3EE2171F-A671-4423-8118-E92F53BAA747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c045b2931e5b29dfd279ebe4b2af128460579d","datavalue":{"value":{"entity-type":"item","numeric-id":3086786,"id":"Q3086786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$838A7134-9FB1-4D08-84E9-5D60DAF4DF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46aebace2a25a127b5f8fa91e5c1e1d9e767403","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$207DF19B-0B99-4BA1-9B8B-85512A627FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfdf5e4eef1c143cc2b9f90bf3afd0a7bb0f048d","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$B8999965-DB7B-4EE4-A2DA-7C61CC2BB6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$F565AB42-95B8-457F-B900-7B4AF15485C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89a5290015084f33b53f5ecddad650a9198f632","datavalue":{"value":{"entity-type":"item","numeric-id":5839930,"id":"Q5839930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$CC905185-8814-427D-87C4-8758F82C87CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$36EF0B75-61E9-4AF8-8DE6-47E541833366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8ba8f1559a5a9bdcf5eefd382ef0792c820774","datavalue":{"value":{"entity-type":"item","numeric-id":4895549,"id":"Q4895549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$9D8A9D70-7D5C-4E05-B0AF-6E4595CEF1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7519aefa4dda7e919ee4a80b4ac0ff9a83e620","datavalue":{"value":{"entity-type":"item","numeric-id":5096299,"id":"Q5096299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$00DEEEB7-D611-4CEE-BF88-79C5B70AF27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645222$BC915E11-6FE6-4F74-B16D-0A8FA730740B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5fe89c802bf99e3b7d049a8d7c4d9ef2f2e9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4503899,"id":"Q4503899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b086ff1eb41f3c103aef7b7b34dc06b9105d486d","datavalue":{"value":{"amount":"+0.7999529242515564","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":"Q4645222$FB301A07-9A23-4DA7-A376-1A5D8DBC0899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5ddd592d5b38bbc2651085afdaabc9d3ec7901","datavalue":{"value":{"entity-type":"item","numeric-id":3586992,"id":"Q3586992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34487bbfa725c9ac7d8d8faf2d5007b6c1b2979","datavalue":{"value":{"amount":"+0.7828736901283264","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":"Q4645222$4DC0DEC7-107B-4603-A937-0F42738B0C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ec97b8481b3a0b1d3747ab1cfe1014f767440b","datavalue":{"value":{"entity-type":"item","numeric-id":4524794,"id":"Q4524794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9b17fe522624745708516f6ca2fb4ed43d07b3","datavalue":{"value":{"amount":"+0.7729788422584534","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":"Q4645222$DC71C7AA-8CA5-4C3B-A477-10A4FA5EE73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af319d95894bd51d563498fa66b2bb6f616e464b","datavalue":{"value":{"entity-type":"item","numeric-id":5191100,"id":"Q5191100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9b17fe522624745708516f6ca2fb4ed43d07b3","datavalue":{"value":{"amount":"+0.7729788422584534","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":"Q4645222$41BDB70D-30DF-4C2D-B204-37FC47207EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799a38e83bea9921db7a769536fd5def8b656e78","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558c8ba5a4ee5fa763e9f8fc21f02ecfa743a3ea","datavalue":{"value":{"amount":"+0.771398663520813","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":"Q4645222$32B49D9A-3E8A-400E-B91D-AD012ADEF6E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645222"}}}}}