{"entities":{"Q4360124":{"pageid":6389723,"ns":120,"title":"Item:Q4360124","lastrevid":81731006,"modified":"2026-05-06T19:13:39Z","type":"item","id":"Q4360124","labels":{"en":{"language":"en","value":"A syntactic method for finding least fixed points of   higher-order functions over finite domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1076987"}},"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":"Q4360124$5A8C8A87-0669-4CD1-995E-88FE0B9E8AC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c199d6178acc242f6df20b384c41f8054a62581","datavalue":{"value":{"text":"A syntactic method for finding least fixed points of   higher-order functions over finite domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4360124$6A959898-E10D-420E-9F9E-D894FF427361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7550e3673031a4cbba0cf80c236d27ed0a22a952","datavalue":{"value":"0880.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360124$99EDDF11-392E-4C39-A2F5-28ED0EAC1B76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c63e7a61ad91164dbf011994d766d3e60afba1c","datavalue":{"value":"10.1017/S0956796897002797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360124$2DB5AFE9-58CB-4546-BB9D-094A7360721D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b144b9a3d96da94fa9057c0294caf297b8c2bc00","datavalue":{"value":{"entity-type":"item","numeric-id":209118,"id":"Q209118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4360124$29541174-6DA9-44BC-AA9B-554D52146F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"160206bb9d8a89f080042e01ddcbea98c3bfb4e8","datavalue":{"value":{"entity-type":"item","numeric-id":812058,"id":"Q812058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4360124$FB6D82E5-31B7-46E3-ABAC-22EB116DA6C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4360124$11BB4892-B057-4378-B10C-114AD41AF4A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07e2bb7433a4c28d8495dcf5dbacc66b1b4fec48","datavalue":{"value":{"time":"+1997-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4360124$A8F88E8E-E550-4972-8545-C48058A0F594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360124$BB033DC7-345E-4D9C-A423-2B2C6268B8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360124$7F344E13-8BC5-4229-AC47-1CAAF6D7F0FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f04b17ecf35b61f478ef421050941c58100e5d2c","datavalue":{"value":"1076987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360124$EF6AB7FC-C3B3-4206-9579-6889DD8DABF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc40c8e301056903dbc345f88c0ae202629d5e5","datavalue":{"value":"symbolic manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4360124$0AA07452-FAF7-485F-A600-6775DCCE9159","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":"Q4360124$FC2B019E-B683-40C7-8527-76B4C9932850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"201b111c6234270718083a65cbbf880583833f49","datavalue":{"value":"https://doi.org/10.1017/s0956796897002797","type":"string"},"datatype":"url"},"type":"statement","id":"Q4360124$C71862B6-5DF2-4B9F-ACD9-A514704862FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c97699db1289ee703b3da20442381a9389135789","datavalue":{"value":"W2052406844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4360124$91FCC841-0205-4F1D-9231-EF2FF11AAD5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809c861e550dac4ab3da93fbf45e9c96236a514d","datavalue":{"value":{"entity-type":"item","numeric-id":4495071,"id":"Q4495071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4109d091934fe428c4531b3b03a191b548b4dfc","datavalue":{"value":{"amount":"+0.7860150933265686","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":"Q4360124$CB4F1C89-5F2D-4A2A-8998-4CC381677C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6dc1d7e8c8f3ee1aa4259ffd2e2da284449c99","datavalue":{"value":{"entity-type":"item","numeric-id":3026317,"id":"Q3026317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315deb9722e6ad6f73f6b5833063684f9f3ac006","datavalue":{"value":{"amount":"+0.76894611120224","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":"Q4360124$D465EA94-3179-4AD1-B8EB-8A815B9F3DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883cc619ca5a063ec6bea91ea69d246d07f014e1","datavalue":{"value":{"amount":"+0.7525603175163269","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":"Q4360124$D512BF48-6C64-48EC-9121-AA5AC6D3392D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24817ea0b21cee2a5b2e62c3d86ab616382e95b","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c19dba4dcfd4de10d46abc92797f9d06581370c","datavalue":{"value":{"amount":"+0.7359686493873596","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":"Q4360124$D27E00AB-879E-4533-A85F-85E4BB76D69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911759239e5d2d6edd7b76fd197e957f7a433095","datavalue":{"value":{"entity-type":"item","numeric-id":3729991,"id":"Q3729991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86da627a3a1f2aa46481e43b0c4cd20e40cd6709","datavalue":{"value":{"amount":"+0.7135844826698303","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":"Q4360124$329DFFEF-D057-40B4-BDA4-561592587EBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A syntactic method for finding least fixed points of higher-order functions over finite domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_syntactic_method_for_finding_least_fixed_points_of_higher-order_functions_over_finite_domains"}}}}}