{"entities":{"Q3726080":{"pageid":5755986,"ns":120,"title":"Item:Q3726080","lastrevid":50747255,"modified":"2026-01-15T00:45:33Z","type":"item","id":"Q3726080","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of \u03a3(x)={{y}|y \u03b5x}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957051"}},"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":"Q3726080$E2114E59-9FDE-4F17-8FAA-38E08C533C63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53e72948a5d7f217fcc898f365c2dc87dcde42c8","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of \u03a3(x)={{y}|y \u03b5x}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3726080$2E2795F0-6CDC-4ECC-A80A-9E30154078D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83c5bf2797f2eca1c1b1fd52184cfed198a20ac9","datavalue":{"value":"0595.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726080$0C9246BA-7B09-46B9-8D33-C9434D6570C4","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":"Q3726080$45592AAD-4380-49CC-9616-3A9DEB88D0B2","rank":"normal"},{"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":"Q3726080$966D520E-3766-4F15-BD36-5DD1E71EACC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d27f73558929b6071013ad925a6c8a9960ca2d5","datavalue":{"value":{"entity-type":"item","numeric-id":3489976,"id":"Q3489976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726080$85C921AF-6909-4441-B346-0B425E731E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9313772103222bf449e01cbbd6454a3809a032a3","datavalue":{"value":{"entity-type":"item","numeric-id":914688,"id":"Q914688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726080$60589BA9-B67C-4854-877B-B34B7B406FA7","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":"Q3726080$92E82432-4787-4A3E-BD30-4867CD5E9871","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":"Q3726080$CAE540FA-DDB1-4542-BEDD-EC0455D866FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726080$151987FC-4CE0-480D-BB19-DEA062905AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726080$8A2CF28A-631F-4652-8F73-77DB183C8F6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67b9259edd1f3a7b68296a74d6af5dcd46169d96","datavalue":{"value":"3957051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726080$B6A1FE2A-0E59-4146-9876-7DAE96E406D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e92fff98d54b88ca2854c9270b3660ce45fe2d","datavalue":{"value":"ordering techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726080$5787CC5E-9596-4D7D-BE11-8B9F41B1AD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cade712ec0d01f84598a7e3c24a3e7e65230f784","datavalue":{"value":"unquantified theory of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726080$85D4D649-0E78-4422-BD2F-2115B0983B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3726080$26C382D8-47BE-4C11-8436-4C8766818E78","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":"Q3726080$167C8FC3-ED54-4F3C-BA74-737094CCB8CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d8f84cc36fcbb87d7b221ad1b318e468d88e858","datavalue":{"value":"https://doi.org/10.1002/cpa.3160400103","type":"string"},"datatype":"url"},"type":"statement","id":"Q3726080$B225DFCE-62D6-465F-A8CE-4D0444A293F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3adda3839fed782b5c5637c0617793796da3f732","datavalue":{"value":"W2000163321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726080$07220243-FFA3-4125-9260-4A430C6E530A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8170441bc1ff3855102d56c6d9318ac8e51af8","datavalue":{"value":{"entity-type":"item","numeric-id":795031,"id":"Q795031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3726080$F15ADCA6-7839-469F-892C-50EB370D6B3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"668343365e118b8247ae621f4be5fe6b657fec30","datavalue":{"value":"10.1002/CPA.3160400103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3726080$B19C6BB2-F423-408D-A878-04A43AED7EA1","rank":"normal"}],"P1643":[{"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":"354df11844ffddcc68a6ab9b5bdaebc5b8bd78aa","datavalue":{"value":{"amount":"+0.8515913486480713","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":"Q3726080$889B21CA-910D-4E21-A98C-64939FA9F094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617a4348bd510d7280d82c17b2ce786d847009c7","datavalue":{"value":{"entity-type":"item","numeric-id":4311932,"id":"Q4311932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9feadd6de8580c13a603fa038de004ad529d80","datavalue":{"value":{"amount":"+0.8507815599441528","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":"Q3726080$668D0BA4-BCC1-4AD3-915E-6DE8A03D8992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db119c28276c7e8986fd989396baead2297041f","datavalue":{"value":{"entity-type":"item","numeric-id":3437734,"id":"Q3437734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fa7df412162c28c4cd3ed1aeb6531dd3d19fa6","datavalue":{"value":{"amount":"+0.8485678434371948","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":"Q3726080$48DD033E-C864-4390-97DB-2CBE61F5DA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c6a89cfa1413339491ef63ca9d566eb3b7fd8b5","datavalue":{"value":{"entity-type":"item","numeric-id":3712309,"id":"Q3712309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a7b6ac3f574788a7ffdb8df973d650dc45ea8a","datavalue":{"value":{"amount":"+0.8430370688438416","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":"Q3726080$9A7A9802-C810-4EC9-80A1-52EF534ED44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1ab8fcc1a741d2ab32879528c1dbdde436cacb","datavalue":{"value":{"entity-type":"item","numeric-id":5749278,"id":"Q5749278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52df6a19cd7ff33323119fca6e721e2ba2964112","datavalue":{"value":{"amount":"+0.8352761268615723","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":"Q3726080$C587FE8F-16EF-44D8-9BC8-2B4D9CC2EF19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3726080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3726080"}}}}}