{"entities":{"Q3803085":{"pageid":5832991,"ns":120,"title":"Item:Q3803085","lastrevid":81317297,"modified":"2026-05-06T18:14:32Z","type":"item","id":"Q3803085","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070859"}},"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":"Q3803085$D1D78DB0-81A4-437C-8A5B-C57CCE5557CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94c26eaf0e14a94d244f136942001b3c8f17321e","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3803085$708F41E2-FF71-441B-8F37-1F5AB50B90A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f035abca0b99b6a5846352c9dab73f68bedffd7","datavalue":{"value":"0656.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803085$2A71ECEA-7984-485D-8EA1-9764E0C29C3B","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":"Q3803085$B9B10C7F-9ADB-4323-AB8A-A1F8852D7605","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":"Q3803085$2F9EF1BD-DE53-4D5A-AF2E-86FE906FF55B","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":"Q3803085$45D1C53B-9884-4D87-A9E7-8708406F3511","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3803085$AF3552BE-4DB2-46FF-807E-54C37360D94C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2cb8c27ccd35e4420b25b532eec45dc52ccbcfd","datavalue":{"value":"http://archive.org/details/decisionprocedur00ferr","type":"string"},"datatype":"url"},"type":"statement","id":"Q3803085$5F47E2C1-1C42-4572-A18C-BBB3E9A3853F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803085$A51CA730-FDC3-48CE-A094-02071EDBB161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803085$488D2478-4147-49E5-9C29-3B3717FD0919","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ccd11ca185718b7ecf84c5991e58b83bd4cbc78","datavalue":{"value":"4070859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803085$7C3EB485-2671-4516-910F-5B607CAFCA73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb77dc530c874db6eb9d67eeb4177b08230fbbc","datavalue":{"value":"choice operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3803085$9CAB57BD-6D41-4680-8A6F-B0289A79C31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3803085$FDE66BCC-9307-469F-946D-088617FF7FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7b7b1ee0205fe5477500342ffa8c603f99bd2f","datavalue":{"value":"unquantified theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3803085$7BE83AD4-20D3-4FBD-95E8-B2A3C650962B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3bdfaf50a859f5dcfd6c0d4cd8eb8dd602821d3","datavalue":{"value":"finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3803085$CAB3533F-582D-4429-8B55-897FEEA20CFA","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":"Q3803085$F1F66564-73EE-4E7D-8994-1D0484294290","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f65eb0a751ae311d37c6efb79fe4df51908559f9","datavalue":{"value":"W2051575254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803085$D40DAFD6-11DD-440A-AFD0-47619F2FF85C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3803085$692FDBB1-0D55-45C6-B97E-3C55DD402C90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99910b1fa80ce8c53e3663112d23d68ff019d1e2","datavalue":{"value":"10.1002/CPA.3160400302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3803085$20A4DA60-BD9C-46ED-AAC5-1F2BB4F43FEA","rank":"normal"}],"P1643":[{"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":"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":"Q3803085$BA33B1FA-E964-4F5E-989F-B34B449CA744","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":"a321b9d9461f91e546b8fd5e33396d5e1dc0736e","datavalue":{"value":{"amount":"+0.8334044814109802","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":"Q3803085$1F20D50A-F331-4DDA-9C93-D11F44A238E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b67f305746c05e0ecb40a3bbe044a188f9533c","datavalue":{"value":{"amount":"+0.8029137253761292","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":"Q3803085$0C3D3411-3C40-483F-B353-5314CC1E46B5","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":"2ec7bf4409fd22a2de8ca8c8d87b7a3d3ad514e8","datavalue":{"value":{"amount":"+0.8010279536247253","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":"Q3803085$C8079725-79D8-4566-84B1-867BDDB4940B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d749a2ece387519fcc542364c4721c5a4ea3cd","datavalue":{"value":{"entity-type":"item","numeric-id":795031,"id":"Q795031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18328c5a959bc323a47d9188c092b86734dc3e9b","datavalue":{"value":{"amount":"+0.7938327193260193","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":"Q3803085$FFFFF289-B4C1-447B-AEEA-1B693655397A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present","badges":[]}}}}}