{"entities":{"Q1840647":{"pageid":1851389,"ns":120,"title":"Item:Q1840647","lastrevid":73891173,"modified":"2026-04-14T17:38:34Z","type":"item","id":"Q1840647","labels":{"en":{"language":"en","value":"A set theory with support for partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1563236"}},"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":"Q1840647$AADFA98A-C255-463B-9B2F-50D61375BEF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a3faf3752f479c56ee098a227316b376b8d8cdd","datavalue":{"value":{"text":"A set theory with support for partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840647$82522D1C-4E41-4455-AE47-06584879D37C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df6d2b073e965bc8bb2c686bf6c2832127026ab7","datavalue":{"value":"0966.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840647$80C23F09-0A5C-4B6F-A67D-9C9F7176FF1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49c53389707e0eb4c892d5f79b3a1ee1f2b2a2be","datavalue":{"value":"10.1023/A:1026744827863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840647$9E784171-7466-4AF2-8405-17B5E3FA6CAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840647$99010AC8-4461-4288-94A0-C7EA3B9F399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed3ea61918f77787173b7c1e9095fc1727d95271","datavalue":{"value":{"entity-type":"item","numeric-id":437027,"id":"Q437027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840647$D3EA7C55-BE4F-4908-B8BF-8C41E1A9E937","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840647$32B56799-B140-46E1-9A4A-4562620BA26E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b450668c82a8cd1fc850a44d0109b0a4a4df4467","datavalue":{"value":{"time":"+2001-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840647$57BA124A-F86E-430C-8C2E-77AC23C1D705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840647$49636EC7-E534-4F95-8DE6-CD366339DF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840647$2B84C18A-ADE8-4311-B382-A91F1FA953BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52787b56b1848473469ae5eb8c80741c0ace61fc","datavalue":{"value":"1563236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840647$A9C72FCE-3E87-448E-AE25-73C49BCBA588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc5f58900f6c2c3534ca7b6a0d78eb344b8b770","datavalue":{"value":"theorem proving systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840647$7D8D55FC-FA17-4CA0-A378-CA19C3E453E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c996370c0387428a853f39eeb89fc349f339f572","datavalue":{"value":"undefinedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840647$B4FE546D-178E-48EB-B0B9-9176A4B4636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be66603713d3da92b1d4b716da3eba7ce72a2866","datavalue":{"value":"sorts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840647$8E23CF63-D9D7-4434-9A89-33A2E1DC4741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1d58a992e8c6e111350bba2e54c1b8132cc84a","datavalue":{"value":"NBG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840647$3AEC687E-8F87-4E5E-81DA-893BFE23C0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70b2edd3fc8f4fc0fd92be11db37ee0b53752104","datavalue":{"value":"reasoning about partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840647$2FF35E12-5E3E-4325-8450-91AC4DC845AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa74f686129a121f5bd34b8aa2ad502d0a61bc7","datavalue":{"value":"partial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840647$387E6096-3F22-4290-9930-367B97EB9482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce837de0e681976c95103a408cd2bcb77b99cc86","datavalue":{"value":"von-Neumann-Bernays-G\u00f6del set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840647$2EE7AA61-DFD9-430E-B816-462FF77996EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdbeaad80d649490d47034f258d8b6ed1941c232","datavalue":{"value":"interactive mathematical proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840647$A3472BA3-80F9-48DC-83C1-ABE7B5FC88D6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840647$F06194C6-31AF-4EB3-917D-60FFBC0863D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840647$BAC3D894-6CF3-4786-8AEB-13BC2E487772","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":"Q1840647$E6E37E3E-FE03-47D4-9487-42F4E3D923EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c35e405f6df85e9f4961b53c671d376ee8c9c68","datavalue":{"value":"https://doi.org/10.1023/a:1026744827863","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840647$B6ED4E5F-2F25-4DFC-9CE4-D1621289FD58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e545d42d7c17af270606278819d16af066aad73","datavalue":{"value":"W2120203109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840647$B5870DC6-A78B-4E31-811F-62A319A6C9DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e56c4594813525572fe7b58f60120ae1cde1b5","datavalue":{"value":{"entity-type":"item","numeric-id":689208,"id":"Q689208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8192a4a0b6d65074cf2e8b4d37018f6e3104b9","datavalue":{"value":{"amount":"+0.7857785820960999","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":"Q1840647$959B1AD9-C471-44DC-80EF-135F7C201621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03b7f5cb32eb1acbd1fe0871d738cfbf41add55","datavalue":{"value":{"entity-type":"item","numeric-id":1317437,"id":"Q1317437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa4bd8131426d9fda6eada3ecce2561eb7203c6","datavalue":{"value":{"amount":"+0.7731629014015198","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":"Q1840647$1230106D-0D55-414B-8644-0FA03CB3DD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056d99038d1d8ddb4ba7029279836f5f7c947374","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a65cf5d8ab51305060d49145def3fa4d23775d4","datavalue":{"value":{"amount":"+0.7718678116798401","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":"Q1840647$25574B77-1B38-438B-929D-ADC36E25B899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4aceb89ded0586b4466107863cec1384fd4019","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5616632bf1c728e824020ea2a7289a7f6235b8e4","datavalue":{"value":{"amount":"+0.7645652294158936","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":"Q1840647$E238828E-AA42-48D8-AADB-CF84FDF6670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f051d0c728631cd9142091125ae392fee918070","datavalue":{"value":{"entity-type":"item","numeric-id":286796,"id":"Q286796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b202869de4ba01681a078891abb5a743c69448e8","datavalue":{"value":{"amount":"+0.7644528746604919","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":"Q1840647$4815F2AE-4A86-422F-9794-AE0E5E235D20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A set theory with support for partial functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_set_theory_with_support_for_partial_functions"}}}}}