{"entities":{"Q810489":{"pageid":812337,"ns":120,"title":"Item:Q810489","lastrevid":64509129,"modified":"2026-04-11T20:21:36Z","type":"item","id":"Q810489","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213950"}},"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":"Q810489$C4401F01-C818-435B-A852-FACD7419F3E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c0c5dd10e7abcf55d4f46ac1ce4de235cdebe1","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810489$782391BD-DE7D-48FC-A671-FE5CC372BEA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"080cd8b3ab3b6bf1ba3e6b6b8b69937fe1cadd92","datavalue":{"value":"0734.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810489$9B7157B4-9083-4362-A428-C405E6635EF1","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":"Q810489$EE6643BC-A36D-4C93-ABEB-1D89FDB2F8D0","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":"Q810489$10B24CDB-64E3-46B0-92F3-65DB7FE9FCAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810489$1E50A6B5-E2D9-4773-A383-7905764106DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810489$E672128B-3BAB-4882-9801-EDBC75434E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810489$291BD9ED-D44A-4956-B354-4EC99D319863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810489$22C32CC5-F65D-4878-AF4B-E5F64615FFA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fb1211ec4ebbec9b3385160195e74de6397ece3","datavalue":{"value":"4213950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810489$A7876F92-7839-4B3B-A59A-E79EB6A6D3C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q810489$DFE43B82-B236-4A67-BB5D-3CE8C7DCAAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c5afc12457d6cdf64ca9a8a0d90c61ed5d93583","datavalue":{"value":"unquantified formulae of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q810489$05A225CE-E12E-4578-B576-76588AD4FFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q810489$A6FE4AFB-6BE5-475D-929D-58294A3DDD6E","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":"Q810489$D39BA318-3F09-47F3-8693-271F6E8C7949","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":"Q810489$26C6A050-6257-4EAC-AC2B-9159F171A82C","rank":"normal"}],"P1643":[{"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":"d59d9a0b5490871ee6e9b2c07d8a7ac1a61d663b","datavalue":{"value":{"amount":"+0.916738510131836","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":"Q810489$2DA0759F-E052-4103-86CE-3DDCC349F182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0f9d72255f3a9d04e85b3de066595cd788858d","datavalue":{"value":{"entity-type":"item","numeric-id":4234182,"id":"Q4234182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa87726d0dfc6459710a3eed2a2b29cbfa38918","datavalue":{"value":{"amount":"+0.8912041187286377","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":"Q810489$56BA90F2-0EE0-469B-9BFA-B97CFAD8DC84","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":"b8a6a08e55f3af52773e682616a438a25d7076f5","datavalue":{"value":{"amount":"+0.8863929510116577","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":"Q810489$DB1298E4-3EA3-42CC-B09F-4D8571AFE100","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":"103e712187fe287250eb83995b3868390f78ac15","datavalue":{"value":{"amount":"+0.881011962890625","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":"Q810489$98D9A13E-814C-4F1E-B7E6-5B74C80984F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7b8b9187858ee316c77d53ef54556df0d4ea90","datavalue":{"value":{"entity-type":"item","numeric-id":2252530,"id":"Q2252530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fdba5190f3913b1337871d44da2755634bea718","datavalue":{"value":{"amount":"+0.8754566311836243","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":"Q810489$762CD03B-10FA-4749-BDC3-4C1BF9E4C8A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_procedures_for_elementary_sublanguages_of_set_theory:_X._Multilevel_syllogistic_extended_by_the_singleton_and_powerset_operators"}}}}}