{"entities":{"Q810492":{"pageid":812340,"ns":120,"title":"Item:Q810492","lastrevid":64509147,"modified":"2026-04-11T20:21:36Z","type":"item","id":"Q810492","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213952"}},"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":"Q810492$879FC7AB-D274-427E-83D3-E21AACA587CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7155303c99119866da071092d2d1f0d4a436faef","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810492$26C47C00-E424-4E0A-9231-7E5679618971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b97940fa69fed5bde2ae88e9a16e32eff861c7a1","datavalue":{"value":"0734.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810492$3D063961-23FA-4D7D-B355-8A153E12FDA5","rank":"normal"}],"P16":[{"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":"Q810492$A05D0725-2818-4AAC-83B4-63A3DA2E70C9","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":"Q810492$B407E903-AD98-44AC-8A5E-452BB80BA82C","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":"Q810492$AFC508C3-97B7-4C57-B86E-D55176FEE0D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810492$9A9EB089-FBE1-4F38-86C0-D2E29CE5C7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810492$14DC449E-89CA-4414-9FD3-5D93B896C4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810492$5D95D6E0-DBAF-467E-9799-B02D31A6F0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810492$E53EC522-65FA-49B3-9428-F6EF9AD729F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c18a84c57e5827039ff8d11115619691588db931","datavalue":{"value":"4213952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810492$95CDBD20-E0FF-4DE2-8B8C-EE5E6DB98CDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q810492$D61710A9-2322-4676-893E-B76BDB4C02AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cade712ec0d01f84598a7e3c24a3e7e65230f784","datavalue":{"value":"unquantified theory of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q810492$457DA865-7C21-4AF3-A103-A9EA0BCC7931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb77dc530c874db6eb9d67eeb4177b08230fbbc","datavalue":{"value":"choice operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q810492$C7A057A5-1D6C-473E-9BEC-A780C8DFC3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q810492$F3B4DD75-2312-4C0A-9DC8-C9A8F1F4EC9A","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":"Q810492$B4B79BC4-4FDB-496C-81A0-E9878DED335F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a029a1cb4bac13cdf5becbbbee09125fa5c602f","datavalue":{"value":{"entity-type":"item","numeric-id":3803085,"id":"Q3803085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c0ab4cc7a2fdc47f36c926d9b60e5082b068c4","datavalue":{"value":{"amount":"+0.8764009475708008","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":"Q810492$E0B83F14-F71D-41AC-84EA-EC3300A93097","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":"515d8fd8bded568cb404a240e2218ad726aa2893","datavalue":{"value":{"amount":"+0.8645631670951843","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":"Q810492$30A8B526-902A-4B3C-A011-56030153BD9A","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":"c00b30cf03ba22dab08056f7b9692bdb31fe177c","datavalue":{"value":{"amount":"+0.8519588708877563","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":"Q810492$EFEC5369-9081-4794-9F7A-2DF137912B87","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":"721b48c52d6e4386230dc4ca03a0e1e5edb41db4","datavalue":{"value":{"amount":"+0.8446919322013855","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":"Q810492$83A0C64D-B6BC-4CE9-910A-F2C5E03BE7BE","rank":"normal"},{"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":"98bb9ca16e2aa29313c29fd1ee12be6c0fa884db","datavalue":{"value":{"amount":"+0.826386034488678","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":"Q810492$AE416965-FE9C-4EF0-ABA3-71DCBA587F5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_procedures_for_elementary_sublanguages_of_set_theory:_XII._Multilevel_syllogistic_extended_with_singleton_and_choice_operators"}}}}}