{"entities":{"Q3677759":{"pageid":5707665,"ns":120,"title":"Item:Q3677759","lastrevid":50051212,"modified":"2026-01-12T19:42:09Z","type":"item","id":"Q3677759","labels":{"en":{"language":"en","value":"Equivalence relations induced by extensional formulae: classification by means of a new fixed point property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898881"}},"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":"Q3677759$C73DDB22-A9DA-4CAA-B6A4-1B3B5DEC538E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a20fffd7216bae80d1ffcd5830386ceb9e2faa5","datavalue":{"value":{"text":"Equivalence relations induced by extensional formulae: classification by means of a new fixed point property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3677759$996FDEAD-CF8C-4282-AC40-76E52AFEED55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d48dc49422f7935b3f6bb40b344ade9ab0b9ac2a","datavalue":{"value":"0564.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677759$AA59791D-7974-4C43-887A-6FC6A1F0054E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf82499c5812c0cf731dd016e16f52304b1a65b4","datavalue":{"value":{"entity-type":"item","numeric-id":195001,"id":"Q195001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677759$F5122903-2098-43AE-BF88-6875C733DE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677759$30975331-12AB-48E1-A081-2CD79BFAA2FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677759$8824F3CB-6F48-4740-BA13-252611145EE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3677759$68FD956A-9E34-49F8-BE64-A559A9B9F744","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50b8127d571b74ccc66b8146ddf67db9c4746380","datavalue":{"value":"https://eudml.org/doc/211552","type":"string"},"datatype":"url"},"type":"statement","id":"Q3677759$D018B408-2649-4CA8-9B46-565D3C05BE64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677759$CD466D7A-9F04-439E-8533-041B071514DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677759$182B7392-827B-4F0D-AB84-706DF7CF31FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2695328a6ac6a4a84cf42d59b23220598ca215c3","datavalue":{"value":"3898881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677759$A130AE48-E041-453C-ACB3-5E7DCC24FE4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66beeb842d39dfcf440b621787d11a73cc138048","datavalue":{"value":"first order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677759$EDE9D6C2-1DF5-4A81-9BCB-4A3671DCECF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ceaa33f200e8bc6940291253f90a83b7a5a7fb3","datavalue":{"value":"theory of numerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677759$9E89AAA6-85D8-4F02-84B2-58C2AB21C297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677759$5F67FEAF-0066-4EFD-A494-28774CEF5BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101218974c8b30b458f18c050bff18d3c38108f3","datavalue":{"value":"extensional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677759$24EC568B-F7E8-4695-9180-2E70802481A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677759$39AC47DF-A651-459E-859B-ED40CB4ABD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677759$BF88B4E4-38CA-46BA-89CE-A2869376E0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"858b4af99a0ea4daf3515f383ac0fdebe734a0c4","datavalue":{"value":"hyperdiagonalizable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677759$0B1D427F-F1A1-46C2-9DF8-2566BCAB4E63","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":"Q3677759$1CF83960-CA0E-43A1-B412-E6FA0EE5E554","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72a062212d4e6e3b80fe9c0263dcb816248666a7","datavalue":{"value":"W818805751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677759$E6536306-93EC-47F0-9177-EE7C8C6D61C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b216f38f585b2e83b2a15eb9864020c2e2ec6104","datavalue":{"value":"10.4064/FM-124-3-221-233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677759$BA40AD3B-EE69-4373-A001-318E4185878A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39b7b5104990a68880f3c32e260a274fd1e23f9","datavalue":{"value":{"entity-type":"item","numeric-id":2266712,"id":"Q2266712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54c9331232cb00e9eba52995b57bb5408ce9f94","datavalue":{"value":{"amount":"+0.7923904061317444","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":"Q3677759$C99A1806-F164-4021-ACA6-5AE0482075AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b6f48a24e0aec235409297c48eb614132f73a8","datavalue":{"value":{"entity-type":"item","numeric-id":3677758,"id":"Q3677758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83692b7db4e0caf2936e2c6757921907d44d76c9","datavalue":{"value":{"amount":"+0.770697295665741","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":"Q3677759$F36CAC98-7077-4B3B-B629-88F0D2948C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ce615ba571a65f08c67739c0603796973986ec","datavalue":{"value":{"entity-type":"item","numeric-id":3677760,"id":"Q3677760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b335336a0b9f4e9a353b54df0c3b224872a485","datavalue":{"value":{"amount":"+0.7645368576049805","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":"Q3677759$771C69DF-3014-43FC-9F56-6D8384B1C83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed71f18b7ff8e6eb66151e10d50443b8137fc102","datavalue":{"value":{"entity-type":"item","numeric-id":3333037,"id":"Q3333037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5335d5c012572a309996e3033e88a601ab77c51b","datavalue":{"value":{"amount":"+0.7500272393226624","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":"Q3677759$0EB6BBCE-0D21-4E54-876F-27A787E56761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b17c8248dbf082fd800b53cb607f57a4454405","datavalue":{"value":{"entity-type":"item","numeric-id":3690815,"id":"Q3690815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39da14dacbb163c82e250c993efac6e1c842a003","datavalue":{"value":{"amount":"+0.7361763715744019","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":"Q3677759$A86BFD14-71B8-4640-91DB-722F4FE30031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3677759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3677759"}}}}}