{"entities":{"Q3787974":{"pageid":5817880,"ns":120,"title":"Item:Q3787974","lastrevid":52813379,"modified":"2026-01-23T13:42:39Z","type":"item","id":"Q3787974","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051562"}},"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":"Q3787974$A2258617-D717-45EF-B5BE-15D44A0B87D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"012f27a909d906b12e0640ee87fcff4392c36eb2","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787974$E686A536-6952-440B-B839-1EA52885FBAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc9a605964da60696eb9b45d453d46b238a15474","datavalue":{"value":"0645.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787974$B4131A8A-5EF8-4020-89A1-00EBE134368D","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":"Q3787974$2EB99551-ABC9-4407-B4B5-CC76A37706D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934b36c73ee5d3627307837cc1f8c0d088756db","datavalue":{"value":{"entity-type":"item","numeric-id":795030,"id":"Q795030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787974$38220FF8-98A4-4D48-9A4D-41E0F650786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787974$3FBC75E4-C53C-4DF6-B69A-B1DB177045CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c22ab6e6540355a2ab561fe85469410018fab286","datavalue":{"value":{"entity-type":"item","numeric-id":2710688,"id":"Q2710688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787974$C0B25300-B59A-4902-94CC-5CD294C6131B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3787974$D049165E-7376-4E88-8CFB-EB6EE1FC6A96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787974$2936083B-D891-4611-B86F-B61F225FD88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787974$EEC44320-36C5-4728-AD2D-D641651D8470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5efb418e73600eca108e9f47f16a6be8bd1d392f","datavalue":{"value":"4051562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787974$8D4F5457-C715-4353-9C02-A4DBB0F7B801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3695adb899bf3b33f87c9ef10e93531b3562626b","datavalue":{"value":"unquantified formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787974$20A5CEC2-1EA5-4284-A2B0-C45E9466DCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787974$979220ED-58FD-4D38-979B-0DA81DB3B1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787974$9EB56C14-1703-413E-8C96-200EC7A9B158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11832424706ae973dc63c78a49763d29e586eb71","datavalue":{"value":"semidecision procedure for finite satisfiability of safe formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787974$613EF7A6-DD30-4A42-B1EF-218D9F70F39D","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":"Q3787974$507267F8-7106-45F7-A609-E36AF772FE60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0db2db4c7e1371da7e665ebeb3ea9cc4fa1dbecf","datavalue":{"value":"https://doi.org/10.1002/cpa.3160410107","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787974$0A15BC44-C326-4274-8EA2-E5CE1C7AF92A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65f7f32b221ec9fd69fa7ababaead959b575cf6d","datavalue":{"value":"W1994793938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787974$28F6B93A-5586-4301-9DE8-3AB3E76AACFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87a1a98f31e246040b4cdfeef718caba2023155f","datavalue":{"value":"10.1002/CPA.3160410107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787974$38F02084-4484-433F-BB68-F833103AE9CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7f8ed45054204c8c6fbd5defd7437ffd1937a1","datavalue":{"value":{"amount":"+0.8854027390480042","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":"Q3787974$8A7F05A9-333E-4325-ADD8-36E6DEB69DA3","rank":"normal"},{"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":"2d536d7f9f8b0a8b567e8837e5b68a432c0a4dbf","datavalue":{"value":{"amount":"+0.8662877678871155","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":"Q3787974$0CBF4A07-593F-4BE7-BC0A-F841F0E171C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba10201f1c474035b234a2280f385d32e4caccba","datavalue":{"value":{"entity-type":"item","numeric-id":1096608,"id":"Q1096608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ec56ea89f36ee0f67db7791973890f615efa58","datavalue":{"value":{"amount":"+0.844575822353363","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":"Q3787974$311A62A8-3AC9-4240-A507-A8C09A6C01C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f172fa9f614d7a8a71c89b57aeec60204720e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3705420,"id":"Q3705420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e893c1b471d3e231aaaa7dbf6ee6f3f77fd464","datavalue":{"value":{"amount":"+0.8442148566246033","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":"Q3787974$B928BFC3-EC80-494F-9889-220E446F6908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d749a2ece387519fcc542364c4721c5a4ea3cd","datavalue":{"value":{"entity-type":"item","numeric-id":795031,"id":"Q795031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f68f68b45f022c2a0e8825925eaf594365886c","datavalue":{"value":{"amount":"+0.835888683795929","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":"Q3787974$65AD935A-5442-4406-BE4A-02FC4BE49E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787974"}}}}}