{"entities":{"Q4922079":{"pageid":6951661,"ns":120,"title":"Item:Q4922079","lastrevid":51725183,"modified":"2026-01-19T17:10:32Z","type":"item","id":"Q4922079","labels":{"en":{"language":"en","value":"Unfixing the fixpoint: the theories of the \\(\\lambda Y\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6167571"}},"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":"Q4922079$166DF084-DA37-4CE0-B586-C33A3ACF7A35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31f82a14da255a3e24da4f346d21ac2104cc7c7f","datavalue":{"value":{"text":"Unfixing the Fixpoint: The Theories of the \u03bbY-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4922079$D2C8F525-7725-4995-9ACC-8B361613612C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"104b4b7b1db290ea587cf0ed1176e13ac301c524","datavalue":{"value":"1264.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922079$24431C00-BF69-43C7-96E2-7361071EB84D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97a3799507959395d6e9c76ecb928f5023e1e904","datavalue":{"value":"10.1007/978-3-642-38164-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922079$CE450B11-56F8-4814-9450-C003CFEDD2B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$FA62A2BA-C49E-452B-94D8-82686107891B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$505E28CE-013B-4C5C-B70D-567FCFD33A79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1c06ade732221c5005c80a976fff1f8dba46b37","datavalue":{"value":{"entity-type":"item","numeric-id":4922068,"id":"Q4922068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$F73D4687-E819-4CC4-838E-A590CC8F13D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be15e72bc2ad42a456f9b1c276246000ef49f921","datavalue":{"value":{"time":"+2013-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4922079$38C77854-F8D1-4AAC-9360-448336BC5373","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922079$2158154F-D4C7-45E6-A7FC-0E86419E78E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922079$4FFB66DC-36E4-4F6D-A49B-8F91718E5FAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfbaf73a0515208790bad1728fbdbbcc6652e131","datavalue":{"value":"6167571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922079$C0951846-A0AC-4DCB-BD17-CB5C958B3316","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":"Q4922079$10443B00-B25D-4688-AE57-3B8441F1998B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47f6b4b5469029e9f4282e5ed6dffcdcfd82e247","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38164-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4922079$C967F6DC-AF97-4BF9-B7F3-268557CF1BC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b0b835d4f2af25f7d0e7d10c3f424fcd7336102","datavalue":{"value":"W99014182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922079$9147760E-FE76-4D1B-98B2-8532F7BDE9D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$721AEA4F-74F0-43BC-BCC3-7A53B3A5CBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$6E79143A-CE39-4F63-A279-1F6350F4B04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425fa271cc91d1c12406f3b4e48abf30c532f868","datavalue":{"value":{"entity-type":"item","numeric-id":4783324,"id":"Q4783324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$42752AFD-03F4-4A70-B172-003539F3B75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$2556C62E-9FCA-4819-82E4-AA558018A283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$4E9BCE6C-BEC2-4E51-B2BE-08F22B244ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$F0EFC185-1849-4109-9B25-64C2F5F4C8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf051e50386653fea3215f04269872bbfdacc869","datavalue":{"value":{"entity-type":"item","numeric-id":4457450,"id":"Q4457450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$154927EE-D1DA-47CC-A95C-D933FF4EF9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab3bdd7d7fbfac1006a4b16e8a3687950389993","datavalue":{"value":{"entity-type":"item","numeric-id":4099541,"id":"Q4099541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$A7765F9A-EFF3-4DF1-927E-DDAC5D203D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90dcd108a99d8693c50bb8fe15cd9f1c30b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$6139B8EF-285A-4851-A1EC-E42ECB121B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437766362bc807774adb68722409f0ad0664b72c","datavalue":{"value":{"entity-type":"item","numeric-id":5259272,"id":"Q5259272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$92A83BB7-2644-4B7F-9C0F-EE9F5CE6A17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f2185e78610b2f18032918ee33d8cb02425d62","datavalue":{"value":{"entity-type":"item","numeric-id":1021569,"id":"Q1021569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$B3448506-307E-4C52-9963-F2BAF3A7A618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$8E89FD25-DCB8-410B-B833-D73F52E9B74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ff1fd4854a6bc1a5440685f67c8230a1470741","datavalue":{"value":{"entity-type":"item","numeric-id":4457459,"id":"Q4457459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922079$2A71E6C9-EEE1-4E08-A40B-DF7D266FCC3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d22003d7673dfd1eba2882cfa6c16aecb210a34","datavalue":{"value":{"entity-type":"item","numeric-id":1886326,"id":"Q1886326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d730230780e704301267c6f194d36949e3c5680","datavalue":{"value":{"amount":"+0.8305201530456543","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":"Q4922079$675D50BE-DECF-46FA-96B0-5AAAA14EA05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d0b06ca103c2dc3d1878a09dae9f306d3cad","datavalue":{"value":{"entity-type":"item","numeric-id":4820472,"id":"Q4820472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa82386d27ea4f1a9ccef798cc82b49ba911fec2","datavalue":{"value":{"amount":"+0.820785403251648","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":"Q4922079$9F933D4F-6312-42EC-AF9B-39C6A35BA74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825dad58807155219556cbafdb1e037cecb12e15","datavalue":{"value":{"entity-type":"item","numeric-id":3702504,"id":"Q3702504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca52df4c0ede967bfbd956fe306c4bb55a94a5b","datavalue":{"value":{"amount":"+0.7920895218849182","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":"Q4922079$D98EA78F-5B87-4B7C-A971-95511072BAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3539e86c314860ac117cec6d25423e75abf17963","datavalue":{"value":{"entity-type":"item","numeric-id":2973253,"id":"Q2973253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de646ae6415e9c5c029939be6cf7dfb5c5ca3316","datavalue":{"value":{"amount":"+0.7601479887962341","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":"Q4922079$50A49975-0051-48AC-B2E3-C2F08B481C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7f9888ba20a2a3e573b42a83312fd49bbb5350","datavalue":{"value":{"entity-type":"item","numeric-id":2973243,"id":"Q2973243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736d2842fff5e0873a72476185efca8cdc90ccbd","datavalue":{"value":{"amount":"+0.7535104155540466","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":"Q4922079$9CE63A8C-4069-4883-9377-D676152B46BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4922079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4922079"}}}}}