{"entities":{"Q3322073":{"pageid":3332781,"ns":120,"title":"Item:Q3322073","lastrevid":45958639,"modified":"2025-12-20T23:54:33Z","type":"item","id":"Q3322073","labels":{"en":{"language":"en","value":"Set theory in predicate calculus with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853038"}},"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":"Q3322073$37C05DB9-10D3-42A5-8484-249B0ED0CA64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f78de0b346119eeafe679e420dd0051a47b31ba8","datavalue":{"value":{"text":"Set theory in predicate calculus with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3322073$B5C50958-95BA-43B8-A997-EFAA9C84273E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a73e930ca3b9d1f27597cefddd237f3de40c5fb6","datavalue":{"value":"0537.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322073$6A1BB8EC-70EB-42C7-8F86-EDBCB5A77773","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"642591b3438a9ea5846320334ff7086b9e91caca","datavalue":{"value":"10.1007/BF02023017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322073$DAAFBE2F-0C1A-4A06-A79D-AD2DF0C1F403","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322073$42EB2F9C-20E5-4450-AD18-F11B1B231D9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3322073$5C3A67BB-99AE-4B15-98F9-5F7555EDFA29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8c95e3b108a45e50b14d78d78c848ab107a6aa6","datavalue":{"value":"https://eudml.org/doc/138011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3322073$48B052E2-2950-48AC-8BC6-9029FCF8704F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322073$4731EAE6-726A-488A-B119-0AFF403E2820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322073$FC961534-2794-4C84-ABF9-71997061EA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322073$278E4143-24FB-4D95-8C88-9D5AD66A8CAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94dd944a43c63e97bfb88024f7efcf3754f7fb48","datavalue":{"value":"3853038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322073$DB2B148B-19A4-4610-BA9A-4CF7E3CBF074","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322073$FFE6B5A6-FBED-4CB7-A003-72B22EB70973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8a4c25d34651dd8487e5dbfda854d0058ced78","datavalue":{"value":"individuals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322073$68555959-4259-4518-AA64-8067A7DA1E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b6bd86e2b89fa60574ce3ecbff2f42f6fd10181","datavalue":{"value":"axioms of ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322073$E61D8F19-C3C6-4A20-827C-EE4C260B3F52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322073$F9735AB5-1248-4944-8012-E4CB1D9FBFAD","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":"Q3322073$6AC9B55D-1B81-4886-B997-A518DA933B45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c2584425bffb8f031f8ec34589e5110521a522","datavalue":{"value":{"entity-type":"item","numeric-id":3322072,"id":"Q3322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322073$9A1C7B56-6A6D-4ED1-A800-7F77F1F89964","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d70f747cbe7e7013b8e16ecc888dc7494674aece","datavalue":{"value":"W2001491768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322073$A9F47976-A06E-4CD9-874B-9ADC0B2C3F28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b117c7ad909abecce0bbb88d6522028f728f4e6a","datavalue":{"value":{"entity-type":"item","numeric-id":4282584,"id":"Q4282584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481ce08da88ebe58249f87d9fb43cbed8d3af4f5","datavalue":{"value":{"amount":"+0.88886553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$E09E104F-7D55-4495-9526-6288FA464BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98e72da529c6854282e24d622ad862cc571f263","datavalue":{"value":{"entity-type":"item","numeric-id":5328150,"id":"Q5328150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add48e263d3e45c33817fadc60a220e79ac7931b","datavalue":{"value":{"amount":"+0.8842927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$17BD05F0-CA83-4559-993D-1F7EB79E8EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3aaa93dc04ba647ae61fca95e7a61b06376efcc","datavalue":{"value":{"entity-type":"item","numeric-id":2752532,"id":"Q2752532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca795e7f67ea500e99e12584b853f479cce5054d","datavalue":{"value":{"amount":"+0.8799948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$6BBF0422-C89A-4CC8-8C90-7373BCF26314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04e63430efaf483a34bc67baaa14b820a6a99ae","datavalue":{"value":{"entity-type":"item","numeric-id":4680361,"id":"Q4680361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8a0d2cdf4ec4360affb46a360c0e1ba31aa9db","datavalue":{"value":{"amount":"+0.87644017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$1EC2916D-A4C7-4C17-BF9F-DE8844034100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967e8e3abf5ee8837a570c44a1e24bb64cd25178","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088e19e1cfc4946d3775613d10c6141ad0d73979","datavalue":{"value":{"amount":"+0.874107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$843E732E-E2DB-451C-90F7-CC9006578126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f2a48927bf53a9dd3ff33ad2a42e423ae0b6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4503910,"id":"Q4503910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5f2649ec6919896ea777b492aa52b53168078c","datavalue":{"value":{"amount":"+0.8713795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$56AA711A-09B0-4B17-BF92-B3899EC76664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd827d5d2135bc6a7e481f722b217523d7c2c315","datavalue":{"value":{"entity-type":"item","numeric-id":1066894,"id":"Q1066894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e600ef391ad953d99048a27d42d5c08aea59be2a","datavalue":{"value":{"amount":"+0.8707343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$716242F2-62FF-4F48-868B-948E6A8E2C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8fdab00b8382fd9784a00bcd61b79e042f91ec","datavalue":{"value":{"entity-type":"item","numeric-id":3081637,"id":"Q3081637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5642d948e0a7a7c87f3acf3b3fe3c26ecdab26","datavalue":{"value":{"amount":"+0.8687971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$27C9700C-27D7-4049-A5E9-AE92A32C3308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705d17601d6768d73030802ffd030f3e61e12d45","datavalue":{"value":{"entity-type":"item","numeric-id":1906674,"id":"Q1906674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18732f60803df69de19a83c6c49591eb4669a0e0","datavalue":{"value":{"amount":"+0.8676489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$C4A72E81-E23F-4C07-89F2-204A0234E574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47d3e7e9da5a66a8e48e9cf5289115a1f598291","datavalue":{"value":{"entity-type":"item","numeric-id":3464627,"id":"Q3464627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71b1f59063b2c51b0200940a40d5b799907fb78","datavalue":{"value":{"amount":"+0.86666596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322073$E0D78EEA-C955-4BF2-BD77-D0BF8BF4EEB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3322073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3322073"}}}}}