{"entities":{"Q2897952":{"pageid":2908677,"ns":120,"title":"Item:Q2897952","lastrevid":84930944,"modified":"2026-06-03T05:13:14Z","type":"item","id":"Q2897952","labels":{"en":{"language":"en","value":"A complete logical system for the equality of recursive terms for sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057238"}},"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":"Q2897952$7724B64B-A9E5-4163-B668-E7F14B72103A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d9649f38c7c091d287d9dc26e590dfbd6e7c8a3","datavalue":{"value":{"text":"A Complete Logical System for the Equality of Recursive Terms for Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2897952$1A3004FB-3E18-4396-8837-B6F50AD5A5AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf7dcc02a81dec3ec821385474b717772e3e2648","datavalue":{"value":"1354.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897952$66A61E41-EAEE-4A74-8294-4577A537DF8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b28309c0af9911b98e8cfe0c29aacbc5f418c5c2","datavalue":{"value":"10.1007/978-3-642-29485-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897952$45F4F961-696C-4FFF-A855-54F0F5BB7E7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897952$FF7B6FDC-3457-41A4-8FEB-BF0A90289A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e6fef574cb4a1b5b665009489758430713fc0a","datavalue":{"value":{"entity-type":"item","numeric-id":2897951,"id":"Q2897951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897952$C2811F9B-8604-4A21-9F2F-343FFB7EB836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db83bbffad5c7da686ddc208a96f8360aee1df69","datavalue":{"value":{"entity-type":"item","numeric-id":2001438,"id":"Q2001438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897952$82EEC588-80B0-4665-97B0-5A851561D577","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4b620383f8b9c10f97e45d6ffb9d04a09359506","datavalue":{"value":{"entity-type":"item","numeric-id":2897939,"id":"Q2897939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897952$007B5620-7A2B-41C2-A18A-FCF967B0A3BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe89deaa1ca0e49e45cc01dd05640dfc255fa677","datavalue":{"value":{"time":"+2012-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2897952$36DB3701-9152-48D1-9BA0-75A18F25B22D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897952$C4BE86D2-2BBB-4D8D-9E64-DA2658133156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897952$31BCE898-D671-44C2-956C-F44DEA885086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897952$FA465D14-DF77-42B1-B327-AC1460D2BB17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a3f336f7a39417dadb7733e133bdd5ea85af491","datavalue":{"value":"6057238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897952$3A4BA7E8-7C6E-44E0-ACE6-C31629EBC764","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":"Q2897952$4A4A66BC-3FD0-42E1-949A-4B04F898F4C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cd69f4b2fc50f8355228daafae0d81b81204757","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29485-3_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2897952$3EF6C68E-79F9-4A90-A615-E769936DC45B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de862870a4db1587046102661f5bfafa7355cd43","datavalue":{"value":"W192226592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897952$3CAE8F9F-0F80-4F89-8483-E7B0BC4896A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803e4bf765d7edc092a2ce10d3e64145eef2dc57","datavalue":{"value":{"entity-type":"item","numeric-id":5492827,"id":"Q5492827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00282f96b33e6371cb9370fbbf1f68f461e75725","datavalue":{"value":{"amount":"+0.7260246276855469","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":"Q2897952$DFBC35B3-90C9-4DFB-8CF7-8335A9A1BCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fa2a90f1552d0164e87cabfc8271be41917d10","datavalue":{"value":{"entity-type":"item","numeric-id":1262303,"id":"Q1262303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0716efb42e345122e5648bd28f2c6c42d2733ed","datavalue":{"value":{"amount":"+0.7241814732551575","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":"Q2897952$A1467EA6-61B4-4288-98A1-F09919608EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3afdc1d99b49dfe9d0e45fa71c9a8896abc5a1","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf06b8f2a763984b230acfe8d9d9c386de1ee4fc","datavalue":{"value":{"amount":"+0.7238757014274597","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":"Q2897952$8353A20D-337C-4ACE-B4AC-70C4DF357006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e22da892f8f07d387f3320be2df56cefb2e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4212915,"id":"Q4212915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acad4efbe082e2dd1bf9b098d0361507601965fb","datavalue":{"value":{"amount":"+0.7075159549713135","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":"Q2897952$0761AA72-19FA-45B0-862B-24EFCE53C6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1743250094eec35f5641d8a39416bdbaf3972f54","datavalue":{"value":{"entity-type":"item","numeric-id":2843933,"id":"Q2843933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57c12fb6d86c4e05823d5793725bb50116482cb","datavalue":{"value":{"amount":"+0.7045907378196716","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":"Q2897952$25045A5C-4404-40BF-ACDB-2DE3999D2934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete logical system for the equality of recursive terms for sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_logical_system_for_the_equality_of_recursive_terms_for_sets"}}}}}