{"entities":{"Q286796":{"pageid":288563,"ns":120,"title":"Item:Q286796","lastrevid":60662523,"modified":"2026-04-10T18:21:59Z","type":"item","id":"Q286796","labels":{"en":{"language":"en","value":"Reconsidering pairs and functions as sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585254"}},"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":"Q286796$242ABD7F-3339-4F40-87F5-D0E4D93AFF99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25061b060cbdafc1a6d32169ff328cd3708dea4a","datavalue":{"value":{"text":"Reconsidering pairs and functions as sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286796$3913C6AB-1781-4DCF-9618-CBED64DDACD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb1ba373a6007ccf0323de3bcf21ba6c25e90885","datavalue":{"value":"1356.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286796$BD9B2DF3-5F0B-4D5F-A1C6-4B8AB1166F96","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":"Q286796$00969291-F049-4EC9-A098-909AB9C1E53D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-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":"Q286796$52204862-732E-492B-87FE-A7505B726870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286796$8F7BE5AE-258E-4FA7-8EDE-7835379640CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286796$393B64DF-1C57-4EAA-A67B-5221C5C5F8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286796$187AFE1C-7592-465A-BCBA-CA1967F2F089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286796$08915A95-CD82-48EA-9F68-5999511653D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a771235167fe16b1c804c97d8599f722586416a","datavalue":{"value":"6585254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286796$43D87D7B-2D2F-4C94-BF4E-0A7E225799CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q286796$11F916A9-FFAD-4C10-B756-6DFCCC66A9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q286796$4331F86E-A857-4783-889C-98BCFC75FCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q286796$A5312D38-BB6E-4E2A-8708-1C5AB7FDEBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffac8577b0ac0cf83610798d5a7a75e04f2753c","datavalue":{"value":"higher-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q286796$DA287393-5FA7-41BF-B11A-355DBDA0B486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b028d3301b9ce83e1a04b4fd4b262e3d3114a0","datavalue":{"value":"ordered pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q286796$8483055D-9EE8-4B1E-9485-209317791D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9452b3dbdfc75b899bfdf31335a5a05fb55504ba","datavalue":{"value":"functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q286796$5969D08C-5B46-4512-A2F8-E1291A8F94A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$6B0F04BA-B33B-43EE-9035-73FBAFFE185E","rank":"normal"}],"P1463":[{"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":"Q286796$A48B8361-D008-4B2A-9646-410673DA7320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$7883C1E3-AAC9-4D34-B305-9BF578E41431","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":"Q286796$FA42F5FA-DE59-4FF7-BF42-A7FAAC1EF750","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27c5f82baa942146b4d7d2f4886b26f004d278e6","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9340-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q286796$816ACF1C-5F3E-439C-86A9-04B86EE5F001","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d299501219644ea365fdf95c605e4b8237928ff1","datavalue":{"value":"W2295607337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286796$8107D8CE-A2A6-494A-88D0-F29227AD6F93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$17B9DA12-36DE-4097-A311-9C054D9C4550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c2250165aa9c05164034b181c3d3446c68d8e6","datavalue":{"value":{"entity-type":"item","numeric-id":3024857,"id":"Q3024857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$690B3208-4138-425F-94CB-1FC1897A84D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491d79ebb333824e2a1d28fa415eece5d0654a36","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$977476A1-4FF2-4B5F-8A68-3A1157471F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$F123DDF3-9267-4924-BE70-508B7AC5DDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc93c434a8b7361da879767f9de508229b7afd","datavalue":{"value":{"entity-type":"item","numeric-id":5569442,"id":"Q5569442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$DCCD56BB-1A07-43B6-8781-2D607022E46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$D540DB85-C4A5-435F-AD4C-974698701171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c2de221e3b126781b22b880228fcab371b66f0","datavalue":{"value":{"entity-type":"item","numeric-id":3525155,"id":"Q3525155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$81AE6117-F95C-4841-8167-6A23BA6079E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$30912AAF-F0F4-447C-B753-28AB9BFB3F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$F3C637D4-E07E-4D56-8B40-D4CF56DBF064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f73b96d1fbc8191af9e33657432fbd034faf4f","datavalue":{"value":{"entity-type":"item","numeric-id":5686039,"id":"Q5686039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286796$215BB9F9-F5AD-4EDA-BED7-B9A953ED7AAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e811e2a85cc735b08285f6f557f9c03e41df3bf8","datavalue":{"value":"10.1007/S10817-015-9340-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286796$051B44F6-543A-48DF-9DA6-B9DB99422BD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e88b694dfda00218982d529d3ee8e733101544","datavalue":{"value":{"entity-type":"item","numeric-id":2928636,"id":"Q2928636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ddf45932ca2e0c9a3acd7c46e0090dfd2fc3fda","datavalue":{"value":{"amount":"+0.8653233","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":"Q286796$1A859D85-364E-4460-A2AD-917954BCD913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82239953fa00d83488aedf70d8f280b8eb8d47d1","datavalue":{"value":{"entity-type":"item","numeric-id":2216600,"id":"Q2216600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a882d9c810416db1a0955e598fb503d13ddd88","datavalue":{"value":{"amount":"+0.86476696","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":"Q286796$BE47FB38-4B80-41DB-BB27-7B624F492650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80970fdad8a5a3d7afae7d0fbf2bd89b587ecd09","datavalue":{"value":{"entity-type":"item","numeric-id":4358954,"id":"Q4358954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395857b6bb5323c3b0737af56c43bfc097f1de77","datavalue":{"value":{"amount":"+0.8543515","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":"Q286796$EAD7AACD-2B13-4635-8567-8905EDC1B866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1bc96284d6e93e54dc60d7754950a398929e19","datavalue":{"value":{"entity-type":"item","numeric-id":5788313,"id":"Q5788313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa173ff02af685bc499b85e420e942caaf70838","datavalue":{"value":{"amount":"+0.8531696","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":"Q286796$AA189754-7CC3-40D1-B154-A7F7D5009C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a066e804dbc8d3538739bf94be242b68ea34f105","datavalue":{"value":{"entity-type":"item","numeric-id":4355633,"id":"Q4355633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b6fe97ace0ed77c6d2b9bae21ef8213f9b954e","datavalue":{"value":{"amount":"+0.8525455","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":"Q286796$27184B64-EE20-48B0-9303-99FA467683CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f0fa5ce837d4132fd4ed2a22abf40d61da65bc","datavalue":{"value":{"entity-type":"item","numeric-id":4828595,"id":"Q4828595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a37a977e406aee775ded31202f4c738fcff8fc6","datavalue":{"value":{"amount":"+0.8486007","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":"Q286796$46062840-3F32-474E-8186-D0C0ECBD7966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d121a87307024a849860db38a3730679481089f","datavalue":{"value":{"entity-type":"item","numeric-id":3739124,"id":"Q3739124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b91e1ebe78becf193b94d725187db6f58e3adf1","datavalue":{"value":{"amount":"+0.84779537","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":"Q286796$246578E3-2FA9-4016-A24E-B85136B4C497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3506b89c1c3be158920cca5010fa5fab5503d5","datavalue":{"value":{"entity-type":"item","numeric-id":1646273,"id":"Q1646273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a715cf525e767d3064c9ab1897392ebb2f5fda91","datavalue":{"value":{"amount":"+0.8469988","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":"Q286796$19702CEC-96CD-488A-9A29-84200DAAF05E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reconsidering pairs and functions as sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reconsidering_pairs_and_functions_as_sets"}}}}}