{"entities":{"Q812437":{"pageid":814285,"ns":120,"title":"Item:Q812437","lastrevid":49770352,"modified":"2026-01-10T13:36:34Z","type":"item","id":"Q812437","labels":{"en":{"language":"en","value":"A tableau-based decision procedure for a fragment of set theory with iterated membership"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000716"}},"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":"Q812437$A76855AE-B0E1-4621-87F0-DC1FC4B951B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd14a3e243762c4b5fa1f037cdddf46e38de5ef6","datavalue":{"value":{"text":"A tableau-based decision procedure for a fragment of set theory with iterated membership","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812437$B120199E-312A-49D3-90AD-F9488DA17F09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e41815ab15ca019c5b9eefd9c16dc1cb765aaa9","datavalue":{"value":"1085.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812437$C1F5F505-D32A-40CA-AA0D-C24A1511593C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8419bf456ea44a4e17916a93fefe5219b76fae6f","datavalue":{"value":{"entity-type":"item","numeric-id":556678,"id":"Q556678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$45125DA5-62C3-4AEB-9AF4-9926EB3EC8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d482c80650ca30db0c7fd7bbd885fdc20cedf80","datavalue":{"value":{"entity-type":"item","numeric-id":812436,"id":"Q812436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$5A0E7C19-F37A-40CD-A9B3-2EB94D2108D4","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":"Q812437$0BAA2EAC-922C-4E0B-A7A6-76925E46F6F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$6231BE95-1349-4517-A14B-A3E022801249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q812437$0A48F285-7A22-40F5-901F-226127B072AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812437$56499231-119F-490E-AEFC-1869C8D103C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812437$0AFEB159-E73F-4FC0-AEBE-02464A2D0C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812437$20F6CA5A-430E-4A4D-A9E1-A6D9A6A11E05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d3ec10e361c3047e722f4b1c7e4c1fa29ff0aac","datavalue":{"value":"5000716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812437$A7DFBAC0-7E1F-4E6C-8EF2-BDEFD02131E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q812437$3917E951-75A6-4C43-AB53-5A72189CBA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q812437$6B36DB1D-F807-453C-82F8-5C46EA411A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1154851f0e28c7d9cb512b4ee18b47c18a3e77ab","datavalue":{"value":"semantic tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q812437$B846216E-3DD6-41D6-B1FF-AFA3FC61A182","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":"Q812437$E83AF179-E529-4A06-987D-6AE2EBEDEFCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1036379b138da7e71d4efe815dfbadb6aa8bdba","datavalue":{"value":"https://doi.org/10.1007/s10817-004-8271-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q812437$7C59C4E4-0F68-492C-8110-860D0B13A014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81e98d5b627f3581c7fc437487a5abe3a540e362","datavalue":{"value":"W2023230345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812437$B2C2E095-A3E1-41DB-87AC-E6AB91D92708","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$C95C2BE0-5D60-49FB-8E36-4949AB7B3117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec55e7969aeddd9966d4bc467d2d8290aedc51d8","datavalue":{"value":{"entity-type":"item","numeric-id":4884662,"id":"Q4884662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$598B8CB0-B588-41D1-A4D5-6F068D662086","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":"Q812437$FB1FA597-B55D-40F1-A4DA-C087DDB4C698","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":"Q812437$69C39A07-D950-424E-975E-C3C14A66762C","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":"Q812437$18238A31-BA0D-4B08-9BE0-9BF276D26F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a2988fb60e4105f3865d12ae7990fad17aff88","datavalue":{"value":{"entity-type":"item","numeric-id":4867922,"id":"Q4867922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$DBB81B15-8AE5-425E-BA7C-BE8EE5BEBE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc294a35fc73090c07613de93314495dd191046","datavalue":{"value":{"entity-type":"item","numeric-id":4263009,"id":"Q4263009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$32F0BEC4-BC7C-47CC-9871-777C1E35912F","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":"Q812437$63BDDFB7-AC18-457F-9697-886F154D94D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07548799ec3447dd9594e653f3cc129b56c7606","datavalue":{"value":{"entity-type":"item","numeric-id":2721193,"id":"Q2721193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$16D27566-3161-41AC-B470-F6CA2B3B3A94","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":"Q812437$D0F5F4EB-76AF-453F-980D-5E86473BA972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$55F015A9-D7A8-49AD-8ECE-35C75086A9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff6506170477b85681d24c27d827733ff4dcc9e","datavalue":{"value":{"entity-type":"item","numeric-id":2721208,"id":"Q2721208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$A0B5A05E-0CA5-4B1A-BB7D-0A4815B47620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$544D3D3E-9D20-404E-9D1A-9FEB335C43FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cbfbc588388370bcf25513bfdd8bc82891f4f4","datavalue":{"value":{"entity-type":"item","numeric-id":5305665,"id":"Q5305665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812437$03616B75-0C3E-42EC-A4A0-FC6872E7AE24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9dd184822f578251b9695701a82380bcb901ae5","datavalue":{"value":"10.1007/S10817-004-8271-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812437$313BDEDE-4DE9-4227-8703-E394C1FD4B99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee886934725940e74e4f5e04e9e7757c460cb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4503906,"id":"Q4503906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2048882790cb2ca022caaa2c0c084df912e14f44","datavalue":{"value":{"amount":"+0.8072959780693054","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":"Q812437$88085AF8-9F73-4724-8CD1-4A90A45EF07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db119c28276c7e8986fd989396baead2297041f","datavalue":{"value":{"entity-type":"item","numeric-id":3437734,"id":"Q3437734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041f5c766e895485c1c251e9c155e022eb121d5a","datavalue":{"value":{"amount":"+0.7853564023971558","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":"Q812437$B89BDF3F-4421-42C7-8559-3AA67B07F212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44770afb14f85493e56b569d477c681c245584d3","datavalue":{"value":{"entity-type":"item","numeric-id":4916221,"id":"Q4916221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35342b9b9379050697674f41f49e9c3efeb1d2c","datavalue":{"value":{"amount":"+0.7727558612823486","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":"Q812437$8E70906B-9F83-4DBB-8A6A-2CA8120731AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10e080439f2119f05adfaabd861b4ebba9708de","datavalue":{"value":{"entity-type":"item","numeric-id":3002400,"id":"Q3002400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f19d5bead36fa4a29db407ac84a78c69545cf1","datavalue":{"value":{"amount":"+0.769306480884552","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":"Q812437$DC99C834-AAE1-4E97-B000-815C8AA08EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9558e83443494e9773d6182952110c24b0c6183d","datavalue":{"value":{"entity-type":"item","numeric-id":4867922,"id":"Q4867922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410180f2adf6d1657894ea4c3f3f633b0e256e51","datavalue":{"value":{"amount":"+0.7659969925880432","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":"Q812437$7FFD9F9B-657A-4E83-93B7-CFB6EBE7B5AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:812437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:812437"}}}}}