{"entities":{"Q3410669":{"pageid":3421372,"ns":120,"title":"Item:Q3410669","lastrevid":80414300,"modified":"2026-05-06T16:08:30Z","type":"item","id":"Q3410669","labels":{"en":{"language":"en","value":"The proof-theoretic analysis of transfinitely iterated quasi least fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5076714"}},"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":"Q3410669$F2DCAAD5-EED4-4545-91C6-5495EF1D7662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"943c99ddf0e9fd74512441183f3a117e84603a31","datavalue":{"value":{"text":"The proof-theoretic analysis of transfinitely iterated quasi least fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3410669$9EFAC856-7937-48F1-A5F7-920BEC7BFF5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57c4ea74a7417a8fb3fd75ecdfbae016280276c4","datavalue":{"value":"1115.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410669$33ED92D3-D070-4918-9C5C-E5A713AE8037","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410669$86EB1AD3-0140-4910-8F0F-E97BC1D05AB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5aa3717a7a4c351354df3352e5de09dd32741586","datavalue":{"value":{"time":"+2006-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3410669$3C1B8A8D-8BF8-4F42-A996-60394DA8FA9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32a9ac7ca20f691e0774290961dd9318330e8931","datavalue":{"value":"https://boris.unibe.ch/19387/1/S0022481200005880.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3410669$766A0E51-A520-42C2-8BA2-BDD1C30A6A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410669$6076F280-43E6-4F5B-8199-6B5BEC8DEF28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db9cdbaf8e6ff6bd09534bf85cbbbfa54893f12e","datavalue":{"value":"5076714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410669$9F3D4CE2-D1EE-4499-8F99-2CE59B0915EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8ff67504110c0a76072a61d5c1f04dd79737f7","datavalue":{"value":"Fixed-point theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410669$F3BFEAB4-FC4B-4CD1-A1DE-8A6140402641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa00d1c6fa8db2a34546550e30f330ab71d4b75","datavalue":{"value":"Iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410669$66B2C7A2-4115-42DA-983F-80623AD2CE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e8309600e3d06e3dcecc5c93fbe4b5ef5a2f4e","datavalue":{"value":"Pseudo-hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410669$A3AF6C27-2398-42DF-82A5-3E06086B45B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb5dc66af871dcd8cf540cc4c3f638b93272e39b","datavalue":{"value":{"entity-type":"item","numeric-id":619319,"id":"Q619319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410669$98BAC682-4A2B-4492-BBF5-1CD3403B264F","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":"Q3410669$53556E46-4B66-47F6-B686-77915BB73928","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f664dec7e3dfb5c46117eb7dca7594f7af7e959d","datavalue":{"value":"W2100886701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410669$112A993B-7DEF-4DF1-910E-1CB5DDA1F6A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e3a045fb18057576e3a052695370f915c6320","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410669$0D01BEE1-3B87-40AF-8D49-41616DA76AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2223c0f70b566926efc0d60bf75cae24b18c3c72","datavalue":{"value":{"entity-type":"item","numeric-id":4736753,"id":"Q4736753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410669$6231ECF4-927E-4273-AEC0-DC0ADEEA54E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410669$665EF5A4-E505-4D95-96C2-ABA997A1B155","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18c53ca2baa5a82e0fd6c97244c5c89c8b95d343","datavalue":{"value":"10.2178/JSL/1154698573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410669$18FC00BE-4426-4F5A-8F2D-7388743F02D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26ed2180efea7b2de854b2112726dec0507f39","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a3635457a63d83dcfb387d65da3dc2fe96d37b","datavalue":{"value":{"amount":"+0.8985068798065186","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":"Q3410669$354587B4-AA47-457B-A06D-AB0613953764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb37b909f6a7304f8d4680927355fbe38f92f84","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb284755148b6a737924f809d5dbb3ce165152d","datavalue":{"value":{"amount":"+0.8981856107711792","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":"Q3410669$69CE3456-5ACE-474C-BB97-1801A5F77129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900bc078011613849e8547905e4e483d14f4af4c","datavalue":{"value":{"entity-type":"item","numeric-id":4944925,"id":"Q4944925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66e137bf4d38fda94484931a3587689f3b1630e","datavalue":{"value":{"amount":"+0.8269397616386414","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":"Q3410669$D4D3E48C-816F-408C-98F7-6F07A2793948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a83a408442c3db67858a210469ff123540b750","datavalue":{"value":{"entity-type":"item","numeric-id":4628680,"id":"Q4628680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4166f88b960678e8863efd5fae9198d17676cc6e","datavalue":{"value":{"amount":"+0.8269393444061279","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":"Q3410669$9F55CB24-BB10-4238-8F45-3EDB78B4CE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27081edebe8529d76e0d99b7dc46dc143820f47a","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac665066c0df225edc0d659ec34361d74b8186f","datavalue":{"value":{"amount":"+0.7785971760749817","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":"Q3410669$5AC2015F-DC04-46D4-9A2C-3A6E39F52D7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The proof-theoretic analysis of transfinitely iterated quasi least fixed points","badges":[]}}}}}