{"entities":{"Q810491":{"pageid":812339,"ns":120,"title":"Item:Q810491","lastrevid":64509138,"modified":"2026-04-11T20:21:36Z","type":"item","id":"Q810491","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213951"}},"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":"Q810491$F549449B-AF87-411F-BCBD-06A690067814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49df3e0f7def01db1f5f751213b9d27f01db09e6","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810491$9B6932DD-8E89-4B90-B4C1-4DF199CA70FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45ff3e01820c530c4b13bbd3e966c8fd6c7547a8","datavalue":{"value":"0734.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810491$B01C41AE-6C5A-4977-9B0B-943A916568B9","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":"Q810491$B726AC05-AAEF-4D24-ADA2-80631623C748","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":"Q810491$C8E515E7-9C47-43A0-ABEA-99B94EC6AE03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810491$2D5E3157-26B0-417D-9939-355AC0377ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810491$A70B00B6-0112-42F1-B9D9-66C17A44DE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810491$CA5771FA-0E91-417A-94FB-B19C85D4E431","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f27f4ddbf42198ddbd2f4080734d421b408d7c7","datavalue":{"value":"4213951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810491$3933644E-25FB-435D-97BB-10A1F63C63EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a6fd67b0de6d32687e2d6686a43a4464ab354e","datavalue":{"value":"unquantified set-theoretic formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q810491$AE6232C0-7408-434E-9DC7-179AB7E79C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q810491$4099704C-42F0-4B5C-BB71-134026CFF1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q810491$0D37346D-CF3E-4A8D-A8B5-62EAB365744F","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":"Q810491$FD56A015-4D56-4040-AE56-C11FB59F896A","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":"Q810491$DB830D99-655C-4407-BB4F-6DC2F7CEF566","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":"Q810491$48DC144D-A1A7-41F8-9E78-CCEFD7223599","rank":"normal"}],"P1643":[{"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":"0eecec8542c13e35215dc0a6b8fa8ea9404bf91b","datavalue":{"value":{"amount":"+0.9002792239189148","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":"Q810491$B6BC4545-23A7-4D70-B210-953B0E6460BF","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":"338bb2209f0f2607669c76e296aab53df7776b71","datavalue":{"value":{"amount":"+0.862166702747345","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":"Q810491$7393DFFB-46DA-49AF-B503-1B773D5EDD1A","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":"52400b06d738ae118abd76de433f6cf212e37fd1","datavalue":{"value":{"amount":"+0.8593719005584717","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":"Q810491$5C2E8A96-04C9-4A3C-AFE1-4DF473E21BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24445f56bb29453e7bbccb5ff6d8e4aa3223d274","datavalue":{"value":{"entity-type":"item","numeric-id":810492,"id":"Q810492"},"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":"Q810491$58530D87-382F-44F1-9978-D3F5AD141C81","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":"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":"Q810491$1D1F5C37-9830-4A22-9033-9EFDA920E28E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_procedures_for_elementary_sublanguages_of_set_theory:_XI._Multilevel_syllogistic_extended_by_some_elementary_map_constructs"}}}}}