{"entities":{"Q4610319":{"pageid":6639902,"ns":120,"title":"Item:Q4610319","lastrevid":90508109,"modified":"2026-06-04T20:33:08Z","type":"item","id":"Q4610319","labels":{"en":{"language":"en","value":"A fast saturation strategy for set-theoretic tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002272"}},"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":"Q4610319$0E1CF91E-175B-4F18-BABB-ED39E0C970E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bd304b457d5b8c0217dc8c4b1db23e1c82cda2f","datavalue":{"value":{"text":"A fast saturation strategy for set-theoretic tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610319$399BA960-D19A-4988-BFB2-1BA0322632B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4614cd3d7c6f80fc970bffca3ae774c4fbb3a403","datavalue":{"value":"1412.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610319$51BED6C2-231E-4516-91B4-41BA0D1037A0","rank":"normal"}],"P16":[{"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":"Q4610319$761D93D4-AC44-4773-955B-B5692C2D118F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610319$CAFA8A3F-56E2-4D41-8772-AB9227275300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-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":"Q4610319$7FD3C8F9-4ADC-4CC0-A282-0E6A410BD5A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610319$8836E569-DE04-42F2-A0A8-23710519C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610319$429A26BA-ACA7-4525-B451-EB95FFA64FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610319$D6E2A41F-1737-4B5A-911F-4899339252E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9895b7c08913eeebb4fdeb6b4b11b27f4e694305","datavalue":{"value":"7002272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610319$593961B7-21D3-4593-92A5-6BE23AE630C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a80cdfd83c87d68b5062f4be71483fd91034ff69","datavalue":{"value":"saturation process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610319$90D7BCDD-186C-4E17-9DD0-3F1E52BFD563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610319$0A98F8D3-5849-4275-9085-931A67210E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fe35b4e332148dff28a93292264977b18825ea","datavalue":{"value":"finite collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610319$8A7A4A64-7DD9-427A-8D7E-35A9B9AC5581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58df25c675e7dfe7743fe73002af4a1f11178fd8","datavalue":{"value":"model checking technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610319$FB5F7F08-B312-4DD5-B400-A1F7094533E1","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":"Q4610319$AF6D78BC-07C2-4333-9D93-F90732D29F7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1867080c0034d7856d12fe14b76198e231d90233","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610319$F9ED1527-65B5-4D60-B1B6-EE2974EC3150","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":"Q4610319$6DFD5EC4-709B-44FC-A664-2037212AADF0","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":"Q4610319$82FC23D7-A2F8-4674-8778-B375BA0782D5","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":"Q4610319$C9275A77-C67B-482C-BF24-2C97C004B912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a53bae8478cb781f038fefb4f7e6b4fa09f0572","datavalue":{"value":{"entity-type":"item","numeric-id":812437,"id":"Q812437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610319$547CFB78-5A1C-4F1B-9392-E152084746FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610319$368F8DB0-2927-4125-8ABB-0A1633948E79","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":"Q4610319$5F27A536-B5B2-4F0E-94BA-AFE71A7718F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610319$E410E799-50F5-4D4E-A152-EFAC141A89DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d044e76dd998acc4410b24891a93deccd59ca45","datavalue":{"value":"https://doi.org/10.1007/bfb0027409","type":"string"},"datatype":"url"},"type":"statement","id":"Q4610319$7DB9DB98-EBA9-443C-8C1C-20880457A371","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16337fa93b315026c7c9bd91191c51eb26d161e8","datavalue":{"value":"W1568077868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610319$18A9705F-8A8D-47FC-92ED-6E315A2E5401","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8738d160ce922f953fcb27247001b158c1134e7b","datavalue":{"value":"10.1007/BFB0027409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610319$E2829D56-0D95-4C4A-B588-113C8B22E80A","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":"606fec5855641198f9eddc9cded1cb10a2ddd20a","datavalue":{"value":{"amount":"+0.8593888878822327","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":"Q4610319$A4CB9409-17B0-4C16-B39D-C02CF0028350","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":"cc2462ca557c07c96fac4986f37b462188fd47ad","datavalue":{"value":{"amount":"+0.7961226105690002","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":"Q4610319$4A48686A-B980-4176-A7B6-AD4206A7D540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b75d5aeea62b8b08b6e0e52aec0b40ebc1b0b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4263009,"id":"Q4263009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3acecb6728af26f4f169ef7e9251ba4077e8021","datavalue":{"value":{"amount":"+0.7883158922195435","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":"Q4610319$FDB92C64-455C-4785-9DE5-15F0B8E01D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047cdc2c882dc4ab0606ea331fb2c136e2b0239c","datavalue":{"value":{"entity-type":"item","numeric-id":3838806,"id":"Q3838806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3acecb6728af26f4f169ef7e9251ba4077e8021","datavalue":{"value":{"amount":"+0.7883158922195435","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":"Q4610319$E7428504-AD5A-474A-AA16-415DE0933811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e70825716968b22f718ffb682164ae089fe44e7","datavalue":{"value":{"entity-type":"item","numeric-id":2721208,"id":"Q2721208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32dee3b16bad2b23ef58b0ebe5216891bed6d30a","datavalue":{"value":{"amount":"+0.7860240340232849","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":"Q4610319$9BBDA579-7C0C-4037-A27E-0212E20904D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fast saturation strategy for set-theoretic tableaux","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fast_saturation_strategy_for_set-theoretic_tableaux"}}}}}