{"entities":{"Q1868162":{"pageid":1878904,"ns":120,"title":"Item:Q1868162","lastrevid":73918560,"modified":"2026-04-14T17:43:52Z","type":"item","id":"Q1868162","labels":{"en":{"language":"en","value":"Tarski's fixed-point theorem and lambda calculi with monotone inductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901264"}},"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":"Q1868162$4E556094-8CF9-4F4C-8702-70048146362E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12499db450ca93ca090af98807ba42f59a4726f0","datavalue":{"value":{"text":"Tarski's fixed-point theorem and lambda calculi with monotone inductive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868162$F52A19FF-26B0-422C-A0E6-21B77F869DF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaa951e0672f4182687c5121fa7efd4be2ea516d","datavalue":{"value":"1069.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868162$2A98E37F-5963-4CA7-884C-9663CF17C2D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b37639a418c95445da14e211c2e7679341543fdb","datavalue":{"value":"10.1023/A:1020831825964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868162$0B8C5C51-5B23-4B85-BEE9-25B9A0D44A7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868162$D59AD674-2539-4B88-B8B4-DD94CA1D78D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868162$A686F11B-872A-44F5-8705-C70C09A10FAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868162$7F93D4AF-AA52-4987-B2D6-11E4945B97B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868162$A8CDF58E-A8A6-416C-B187-4522030623F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868162$A1ACE184-F26C-4117-8BAD-F442D442375D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868162$A1A09BDE-E456-4743-806B-326AC324BD05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb504308aa50362b29cb8ec44929e5e586be7a74","datavalue":{"value":"1901264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868162$94BFEAD1-E058-47D4-951E-ED5007AFB1AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e840c2d3d8259e39fcf953d2af32b6877dc968e7","datavalue":{"value":"lambda calculi with monotone inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868162$2F693C4C-B24F-413E-ACA1-D8AB6BCF95BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868162$F08B20F7-419C-4320-A5C7-90773E1A5DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a355a4f583e8a3558956c7abc6ad4d0c81cbd90a","datavalue":{"value":"initial recursive algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868162$BED24633-31F6-42A1-A974-9B3D0EE0E1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a02b4e036fa7a104670b157c7c0157362bfb2c5","datavalue":{"value":"inductively given structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868162$EB79A83A-1748-4C7B-A019-8EDCEC73A953","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":"Q1868162$18EC50E7-9DB0-4920-9E9B-9E28CDB3B347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c3359270e742baf907462663954f7c4fbcf6ccc","datavalue":{"value":"https://doi.org/10.1023/a:1020831825964","type":"string"},"datatype":"url"},"type":"statement","id":"Q1868162$007643B7-0BF5-4545-B30B-634B428171B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4bc32f8be320d497a3a6d123301b493f33a168c","datavalue":{"value":"W2008058588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868162$7BD75A59-6CBA-4BBD-B879-B9382B5E0C58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31e8da4335c0c7eb5e75ace5626903bd6bfe97d","datavalue":{"value":{"entity-type":"item","numeric-id":4943545,"id":"Q4943545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb36f85a22f452d2f6fb26814da88f505790523","datavalue":{"value":{"amount":"+0.8311364054679871","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":"Q1868162$0FBE15FF-08D3-4538-B82E-9BA51C67A8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72f2a162eba2ac5ea055270ebca6875ee47d582","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc789b3d441c005db27f7e5c2c59c3b9d024428","datavalue":{"value":{"amount":"+0.8159652352333069","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":"Q1868162$05C1CFDA-CDC8-4DC9-A754-2F22BF9D639D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c3b3e41ea221ab6cf782447f57ac8882402dad","datavalue":{"value":{"entity-type":"item","numeric-id":2778830,"id":"Q2778830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc789b3d441c005db27f7e5c2c59c3b9d024428","datavalue":{"value":{"amount":"+0.8159652352333069","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":"Q1868162$7E6EBBED-F060-4C22-9E15-4E12F5933796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edee560c86da45f3cd0928f14ffd38e58796ac9","datavalue":{"value":{"entity-type":"item","numeric-id":4263804,"id":"Q4263804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6412651f5f53717d23ff0e6872a13466c5bdeb","datavalue":{"value":{"amount":"+0.8014318943023682","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":"Q1868162$F7A392B5-99F6-4B7E-9890-699DA83A18C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6f4d19852f6a35f19949a6cb60887291a2d447","datavalue":{"value":{"entity-type":"item","numeric-id":2766796,"id":"Q2766796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6ff194fc4ec228e0f4bfe80727787ac902ce57","datavalue":{"value":{"amount":"+0.7820387482643127","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":"Q1868162$EEC02C8A-79D1-4E06-B375-D99B2756F811","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tarski's fixed-point theorem and lambda calculi with monotone inductive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tarski%27s_fixed-point_theorem_and_lambda_calculi_with_monotone_inductive_types"}}}}}