{"entities":{"Q912082":{"pageid":913930,"ns":120,"title":"Item:Q912082","lastrevid":49371637,"modified":"2026-01-07T01:23:58Z","type":"item","id":"Q912082","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \\(pred_ <\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143940"}},"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":"Q912082$EC8FCE96-724C-4AE2-B684-89BB50E22FB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10b18776f18a27fb58cfc88259519199612093ee","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \\(pred_ <\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912082$D7A693A4-0AA0-4813-B9CB-57B3432104CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7521dda992f6b8c945b93016522a7ca6e5de8772","datavalue":{"value":"0698.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912082$7A5075B5-E37A-4766-9E00-2E403EFE90A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe6b0b0e0ab58e22e492c8b45728bd3e9d26429f","datavalue":{"value":"10.1007/BF00245818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912082$474E6399-EE9F-423B-9F66-D78EBB19E0E8","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":"Q912082$4E60BA6C-5BF8-4741-9D66-E0F06694D052","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q912082$F71913C9-E130-466A-90A5-8DD5B1093997","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7df43d6c1ecc9edcaaf98d0f1be4856e21e9f802","datavalue":{"value":"[Part XVI is reviewed below (see Zbl 0698.03004).]    From the authors' introduction: ``This paper gives a decision procedure for an unquantified fragment of set theory involving the constant \\(\\emptyset\\), the Boolean set operators \\(\\cap\\), \\(\\cup\\), \\(\\setminus\\), \\(\\{\\) \\(\\}\\) (singleton), the rank predicate, and the predicates \\(=\\), \\(\\in\\), \\(\\subseteq\\), Finite.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q912082$ED961500-687C-4998-84EF-5B0A8FAA4E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912082$BA9B7A50-A8D7-4690-9764-21D1B0884F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912082$8A4DCE6E-C484-4125-A390-B68AE96349C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ef40294b41374ce5621f027cca91d5d27cfee59","datavalue":{"value":"4143940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912082$80E2FC35-A180-4593-A44E-47F406F55B91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f337bb23a759272cb1797d58f57bd28560a4fa32","datavalue":{"value":"decision procedure for an unquantified fragment of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q912082$55D25875-C185-4994-9F72-12A9226CD427","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":"Q912082$11D69963-C975-4944-BC10-6E126C651774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"548ec68fe7f46b4562359ce5165d8a1d37d9ac8a","datavalue":{"value":{"entity-type":"item","numeric-id":1267513,"id":"Q1267513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912082$25CD3A32-C436-4E9A-9CB2-14F8142B7F4D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912082$F8F535C3-D792-4F5E-86F7-02750E8456F2","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":"Q912082$64C6B1A4-63EF-49E1-AD0B-D69C50A0A969","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"deed870d3160c3d9176d3cd4064d414d164ca374","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912082$5116AF6B-E6E0-49C1-81FA-BFCDCC35CADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ca17d19ea555d4a952245e904333a41717e1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3726080,"id":"Q3726080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912082$DD1EB3BD-D814-44A0-9B7E-F5962F501DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42401748b0197b7032621861e832f0a1404c2652","datavalue":{"value":{"entity-type":"item","numeric-id":810491,"id":"Q810491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912082$951C338D-B849-459C-963A-7B854632693E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e9da471d42e1eacaae60d479d2e5d693d4130ff","datavalue":{"value":"https://doi.org/10.1007/bf00245818","type":"string"},"datatype":"url"},"type":"statement","id":"Q912082$BD156ED0-8FD5-4F61-9324-D030D3717555","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2617d965974ab7c8cc03e7fe9225a62e6bf47a3c","datavalue":{"value":"W2324662468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912082$0E50A5CC-C947-42B4-A1E3-92071E24DDB3","rank":"normal"}],"P1643":[{"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":"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":"Q912082$92910160-B9B2-4FBB-93CD-E8474FF4DEA5","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":"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":"Q912082$FE59C8F0-B6C2-4153-913C-CFA2DF42AE8A","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":"1231b39f729e5e7901f824d3febe5ea7265203e7","datavalue":{"value":{"amount":"+0.872704029083252","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":"Q912082$27208D13-9A97-4652-A42F-5B94AC473934","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":"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":"Q912082$C2A4C10D-7A99-40F1-81AA-07013C0C402F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64c1900c5994b9b69ffecb5f38c970d55c40a98","datavalue":{"value":{"entity-type":"item","numeric-id":3475242,"id":"Q3475242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287d663185e0b5143b1fc199c8da018fbf6fa5b8","datavalue":{"value":{"amount":"+0.8599360585212708","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":"Q912082$1F7F7D1D-475B-4644-AB79-EAB5860D4799","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:912082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:912082"}}}}}