{"entities":{"Q810494":{"pageid":812342,"ns":120,"title":"Item:Q810494","lastrevid":64509156,"modified":"2026-04-11T20:21:37Z","type":"item","id":"Q810494","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213953"}},"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":"Q810494$6858860C-9CCB-4B67-80D4-D441F49587BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f17d2db7096bef6685d16e03494e7ad31df1ffa","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810494$B724E95A-52FF-47D7-AC87-21A127C51FEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81737b5249655bf60e61b4a79302e7647636b627","datavalue":{"value":"0734.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810494$43A84BF9-5F25-4BBA-866D-44ADCE138E4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb76408512b39228d53d4f760ad389030ed358d9","datavalue":{"value":"10.1007/BF00243810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810494$9854A44D-3AA9-48F9-984B-E91BAC1F3758","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72965f6c67a117f5726e1f872e608077b885bec2","datavalue":{"value":{"entity-type":"item","numeric-id":810493,"id":"Q810493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810494$BA3CE855-A9E9-49F3-8E7A-FEA64B1AFD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810494$21B98574-0E9C-4AC7-B6F2-17A7789F1ADB","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":"Q810494$DA2EC641-9C64-4B05-8741-1A5B220388D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q810494$20BFB13C-5A8D-4E9E-A5E8-F225325A1325","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810494$7B141B69-E939-4CB1-8810-3EC6750FF611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810494$BB78F9B9-CD2E-4D8A-9FC7-1864DA21E03D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3cd95c5bca57f8e14785411228aa6a2c3fb2ffb","datavalue":{"value":"4213953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810494$78817792-1389-4C21-9112-FB012FAF6834","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q810494$43582862-CADA-42EF-9BED-A113DFE40051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3321aae6e16f008ed69e0c559689e0b6ca0bf23","datavalue":{"value":"quantified formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q810494$8BF7A989-3E6F-4D45-8572-E99FCF0AEE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c122b49ef27924664da196407b7adc167d628cb7","datavalue":{"value":"first order set theoretic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q810494$2DB37B94-F391-43BE-9FDD-702CC4D253C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503b98bd2a060cf67e56b7f8b19df793952f544a","datavalue":{"value":"unquantified formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q810494$BA53C8ED-056B-4DB0-9265-3EE716C0D452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb77dc530c874db6eb9d67eeb4177b08230fbbc","datavalue":{"value":"choice operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q810494$46104A86-47AE-4DE3-A1B0-2B516D919F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993a5b72233f7410db19d02f884f0d105ed84d2b","datavalue":{"value":"strong reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q810494$73C25AD2-DE94-4B52-B509-7CB5D501660C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e74996e55d08d5503c25807ec7e547c5c73d629","datavalue":{"value":"hereditarily finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q810494$345F0963-2943-4716-BBD3-CFE34C9F7A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q810494$C42878F2-6EC9-40DC-BE3F-994AC4C4FFBF","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":"Q810494$D17766F8-66AA-4143-AE05-A091D5F7546A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99d47ad8e62b5ade9a392aaecf33940e6e90bc47","datavalue":{"value":"https://doi.org/10.1007/bf00243810","type":"string"},"datatype":"url"},"type":"statement","id":"Q810494$2AFD639F-3CB9-4F36-97EB-60A4C3F88627","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b10f281ce064e4ac64d0a47d0d0f26a36274c62","datavalue":{"value":"W2087640143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810494$04A13730-9EE0-476F-BA9F-7D12FA651885","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"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":"Q810494$9E3CD1D7-1455-46DB-9DB0-27DAEF2C5376","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":"5a4f9d00ff8f7c98f948e541fcd412007cb0e7d2","datavalue":{"value":{"amount":"+0.8737771511077881","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":"Q810494$2B26EFCF-1954-4FA7-9049-E6338C3384E3","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":"3fda1b832db3c356b1a969c7165c84137e0d7ec4","datavalue":{"value":{"amount":"+0.8587638139724731","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":"Q810494$8F8BEE34-B445-47D6-840D-46373D2FC1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b88d6bc0aa29c2a10a471b42e653052dccbd4f","datavalue":{"value":{"entity-type":"item","numeric-id":912082,"id":"Q912082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f292eb2a76d4372d4a55716298732053ef3a678","datavalue":{"value":{"amount":"+0.8453553915023804","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":"Q810494$30AE8343-CD9B-40E0-9028-4A44E91BADBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54f5d11bc3b8255f1021c06f08b4e1355865124","datavalue":{"value":{"entity-type":"item","numeric-id":810491,"id":"Q810491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b2bcbc13ec77dbad13f89491b003f12ca9ed64","datavalue":{"value":{"amount":"+0.8383486270904541","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":"Q810494$4EFD6F25-78C9-4620-A348-3B6D34F1C7C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_procedures_for_elementary_sublanguages_of_set_theory:_XIII._Model_graphs,_reflection_and_decidability"}}}}}