{"entities":{"Q1575267":{"pageid":1586007,"ns":120,"title":"Item:Q1575267","lastrevid":72229515,"modified":"2026-04-14T03:29:43Z","type":"item","id":"Q1575267","labels":{"en":{"language":"en","value":"Strictly causal functions have a unique fixed point"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493209"}},"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":"Q1575267$C3D88021-E1DC-4781-8BF3-CD9BE3DE6F35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c60d9de6c9bf25ef95125e714e75ca83400e5cd6","datavalue":{"value":{"text":"Strictly causal functions have a unique fixed point","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575267$BB25874A-6914-4FF8-8C6C-8EA478139F0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13089755b428719899f1b6a12284839d34d8d01e","datavalue":{"value":"0944.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575267$BF52BCFD-083B-4DC5-8F9B-A61A1095ECFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6663b7dad0f645a661bb21c3705a2479ee0ebaf5","datavalue":{"value":"10.1016/S0304-3975(99)00165-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575267$9FFCAA94-E7F2-4D0A-8EF3-121994A2DD02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d097da648a7bb64bf83e8ad6c445e202e073d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1575266,"id":"Q1575266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575267$25CDF25D-6D64-4185-9F88-B45ECFA22ADF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575267$3596E172-1345-408F-9C33-E5BEF3FB95AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575267$A0676CFF-45B5-4D52-93B6-30BA97B2CE41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575267$8AFAAE3B-E1DF-4820-8615-DA083B74E526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aee56dc61129bbb26e32428edc117b27430cc2c","datavalue":{"value":"1493209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575267$F53953EE-4021-484A-8187-615E476EE684","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575267$E3879859-B175-4884-9AAB-6F3225E17F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a6e5cd22d9eca2c36d3cfd952ba1e8aea9c5f5","datavalue":{"value":"timed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575267$B87C5DE3-4C81-4AE9-88D7-A12ACFEE3D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476d9c27e850fef9462c1c156255e90c86dac2c0","datavalue":{"value":"strictly causal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575267$A69C48C5-3A8A-495A-B82A-1AD2C5273BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c281070e184bd73b44dc445c87bc13f774f9e8ef","datavalue":{"value":"unique fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575267$633E6DCA-C8CF-4AC5-826B-E583046482AB","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":"Q1575267$76AD90A1-94BE-4F24-BF4C-53D0E787D9DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575267$F124B8C5-DE7D-409D-B06F-92D0128B2883","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b1e446141a3c612f2b61370c92c441537cf9bb","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ffe66a33d74e5eb06f3e6411e41afc2ce1271e","datavalue":{"value":{"amount":"+0.8064125776290894","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":"Q1575267$98202D06-0E55-4FA1-AE5A-93FDE9E84D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a6fd3431559918227f2b7f85d857624479741c","datavalue":{"value":{"entity-type":"item","numeric-id":2257306,"id":"Q2257306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b742825f9384d862c7f1705c03a459a77d2e1318","datavalue":{"value":{"amount":"+0.8002059459686279","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":"Q1575267$6DA32FCA-41F2-43DF-BFCA-3849EE71FB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d00e8bfd4beca7dd8c2ed987e26021dc21afa8","datavalue":{"value":{"entity-type":"item","numeric-id":1583261,"id":"Q1583261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d0c819e19d22d5591cdd96c539d7223a0a5d9b","datavalue":{"value":{"amount":"+0.7049371600151062","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":"Q1575267$67DA9113-3E3E-42CB-863A-C3AFCBC887F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6537078e1aae9c1aac9f4291be1a120f40594011","datavalue":{"value":{"entity-type":"item","numeric-id":674192,"id":"Q674192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c00f0636028d99c28a7416fcb1d80e4de4a264","datavalue":{"value":{"amount":"+0.6978545188903809","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":"Q1575267$87DA5368-F091-4036-90F5-4DD3748ED8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23782a56f513695b44b7fae1ba84c5fc36754b6","datavalue":{"value":{"entity-type":"item","numeric-id":4992898,"id":"Q4992898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dd385207ca3fd956eafc7e33c699f9932542d7","datavalue":{"value":{"amount":"+0.6830510497093201","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":"Q1575267$32B7A6B0-4B75-4CD9-A93F-D216A560D377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strictly causal functions have a unique fixed point","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strictly_causal_functions_have_a_unique_fixed_point"}}}}}