{"entities":{"Q3916545":{"pageid":5946450,"ns":120,"title":"Item:Q3916545","lastrevid":92963651,"modified":"2026-06-05T03:15:09Z","type":"item","id":"Q3916545","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3728231"}},"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":"Q3916545$A3E1E7FA-D4BA-4E70-B299-3754C73ECDC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ac4feb9b39cf6a93e7c2928ad80170051f4840e","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3916545$1562787E-979F-4119-B38A-022E9B8428F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1105beacd5050df4297eac29587f600d74291e3d","datavalue":{"value":"0465.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916545$166C304D-7E66-4D7C-BDA5-17DEF2B9B20F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1362971ad681c4473bc88ecea94ac1bf5659eb86","datavalue":{"value":{"entity-type":"item","numeric-id":795029,"id":"Q795029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916545$475FDDCC-7C3A-4312-9554-31C3A5415530","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":"Q3916545$11862300-A2DF-4A35-A43C-E782E739C67A","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":"Q3916545$0DD1F567-8A9F-4FCF-9BBC-3D7E430A9396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9508babbaae830189eafb34c9955abb3b05c5e9","datavalue":{"value":{"entity-type":"item","numeric-id":6482611,"id":"Q6482611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916545$0E288FB2-9B02-46C6-96B7-495616108E0A","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":"Q3916545$77F89744-420D-4522-B586-9C04EEA20A00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3916545$8C1188C1-3B93-4237-B1E7-3F36035E3EDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916545$FBB40BEF-B582-4E5D-9436-543CE86A390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916545$AE26C6E6-7C66-4357-9D62-D02AC11861B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"880e50e8a71113909a974f7ab458f1898074a704","datavalue":{"value":"3728231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916545$1263D946-B1F8-41CA-B682-9F5691F86ACD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916545$D8CAF7FA-583A-4251-9795-F88AE318408C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127b4a2dd08a8a533424544c53eb9c945fc6e371","datavalue":{"value":"satisfiability problem for quantifier free formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916545$80BD72E0-D09F-4B10-95AE-A8D70ABF6032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013e7c305eec71c08e465921f7f9b2c71295b0be","datavalue":{"value":"formulas in prenex normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916545$E44992B4-1D35-42B2-AA4E-A9D63D36C705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fd7fd3fafa4630a98b19cff34ea180dd787c35","datavalue":{"value":"bounded universal quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916545$CFAC9DCA-A9A2-46F5-9D26-2E638C5D966E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8821870d949d17eaca80b7ba75b36cadf0e0621a","datavalue":{"value":"bounded existential quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916545$E2A23F86-77EF-45DC-A99E-2B8991E8890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916545$B8E5D839-42EE-430C-B54E-8CF8850D75A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c952a4d51ac2a7b36ee123ba8b43aaf080b02725","datavalue":{"value":"mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3916545$86D2EE85-8BD2-4EBF-87D0-713766AFE674","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":"Q3916545$7BBCD0EB-7036-48AD-AEB1-23F01A40FF27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6c3d3f15b8fd077d4b1f22f9850b06e097196ec","datavalue":{"value":"https://doi.org/10.1002/cpa.3160340203","type":"string"},"datatype":"url"},"type":"statement","id":"Q3916545$ADED7A51-875E-4B66-87B9-72220546CEA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fbade35782ba1fb127809c308855a0677851ed5","datavalue":{"value":"W2101118111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916545$81743760-6932-4E3B-945B-69BF7F53DCAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1b079c7d185126ec0a687c39691da56b5aff96","datavalue":{"value":{"entity-type":"item","numeric-id":1253108,"id":"Q1253108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916545$884C5355-4971-47F9-9CC5-A41A2F87A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916545$4F840E93-A39E-4C47-BC07-301368DE9F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed7b4ace500d686a645ece809b129c3da0d7697","datavalue":{"value":{"entity-type":"item","numeric-id":2536044,"id":"Q2536044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3916545$D2FAC4F7-9F8F-4318-86E5-6ED962E41379","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb794cb05a44ee22361b7cc5ed62b5bce2bb09ae","datavalue":{"value":"10.1002/CPA.3160340203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3916545$F02F77A0-F939-4250-85D5-99085CEC8BEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions","badges":[]}}}}}