{"entities":{"Q1173956":{"pageid":1184705,"ns":120,"title":"Item:Q1173956","lastrevid":69801453,"modified":"2026-04-13T09:28:40Z","type":"item","id":"Q1173956","labels":{"en":{"language":"en","value":"Recursion over realizability structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876"}},"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":"Q1173956$B8F50E34-E5AC-4C95-A14A-0BA05562B791","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99248d96a59d4ba441b4167c7485ab98ad43902b","datavalue":{"value":{"text":"Recursion over realizability structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173956$4C08D2E2-5ECB-420E-8516-30892FB84078","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b731f49a0bc6610b4c310207edcc2b448a1cc66","datavalue":{"value":"0760.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173956$1328AD25-8D6E-42CD-8A7F-56E1E81C8F72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c18844246124a0f536e73ed12dda1d3e2c7b112f","datavalue":{"value":"10.1016/0890-5401(91)90074-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173956$75E4C678-BAC1-451A-960F-95AA810A2E7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd247c0acecb03dbb649b71faee6e9ab6d53c45c","datavalue":{"value":{"entity-type":"item","numeric-id":864503,"id":"Q864503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$2C034879-4A36-4B57-AC28-F721C4E4AF6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$1232B94A-8916-4207-A171-F6A6463D280F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1173956$48E2D087-95F3-4587-B0E2-D0F25F726B5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173956$A92AAD53-ECD8-4914-A36F-002BD898E4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173956$B1726596-EFC0-4E4A-8905-4A7187FECE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173956$BB1DDC7B-AAD1-4E63-9804-6E28C8CBEBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173956$8F2EBABD-D50B-4D95-9905-3B3CD396D3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173956$7A1F69E5-7872-48BE-986D-A0018AB5373E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3928c7d2a2d101626e0d5df448a5c8504be4f362","datavalue":{"value":"7876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173956$B2FDF683-5015-48BE-8549-FA6E47C6263D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eda00f6858fd384d8699a64de049d838085a50ac","datavalue":{"value":"realizability structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$C4002737-00F0-4735-8AFF-CB60C6C4AFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$82989DD3-284F-494B-B977-5E93C5C932D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$CE18D2D1-9A55-4737-AC82-979E10CCCFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$F9CD80D3-E8A3-4DC5-AA8E-B90BCE844F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0f1eedf0c0620a4fe345e67cfbe365c43a89ef","datavalue":{"value":"higher-order lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$9C4F0178-EF2E-4E54-A1E1-9A84A24BCB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2402c49a3ad74ec21b7e4e88e39845b8ed09a63","datavalue":{"value":"fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$5AB0044B-69F3-4B23-A72D-B7AE5103382E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$45017AE1-52BF-40C3-B89A-B2F5C5369BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12075e95df857887f987972e0978a32b7250660e","datavalue":{"value":"contractive operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$AD2BFBE3-5D0D-4749-A4F7-AA161A2CBDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d594af691610b86171e75fea839a41f341be030","datavalue":{"value":"higher-order domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$E537F42C-E37B-4B4B-8EE7-BEA5976AE791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69faf9ff3d92edcb2214b26897d24302565162c","datavalue":{"value":"modelling of recursive definitions of programs and types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$02E43A22-87A0-4E1E-84F7-A605D3EBCBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b008c6e29dd3d356dec05d57b508f9bf03b17775","datavalue":{"value":"realizability model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$4A0D83BD-1B70-40CE-8F9A-85CE1DB87F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91050ae40ec483f231e3956c5ecd134e23377ae","datavalue":{"value":"Girard's system \\(F\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$ABAE2172-B426-498A-8B3B-1A8F30E671E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e7f01a8bda76b00f43db1af01eaa26a32c8971d","datavalue":{"value":"recursion on types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173956$5110EA87-835B-4DB7-B4D2-61C61DDA3A0B","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":"Q1173956$EA7BAE86-3708-4265-9D3B-A86D08056019","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$603A7CBC-0C52-4EC6-8D94-6FB8D20171A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$F00DB227-68DB-457D-B259-7A87606C092E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0550b530044499c9f631ac5917a28b2702c1ee71","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$3DD9C971-3BBE-4949-B624-FE55A34DA6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e27ce7076971f426a2874f2795f13bc2fc8aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$07FF0478-DD2A-478A-B975-0F9945F79F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$8849839A-4BA0-400A-B88B-7B32C6BE1810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cece1e72a165ebe487956980a9aad7f30175a594","datavalue":{"value":{"entity-type":"item","numeric-id":1176245,"id":"Q1176245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$FF5D54BC-8C0B-42F8-A224-33A075F8AFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a6e1c0239fbf405e8506dd576c4d5138f0d967","datavalue":{"value":{"entity-type":"item","numeric-id":4125718,"id":"Q4125718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$5FF2B1A6-6231-4A98-A3EE-BA75C661ED66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1ac07dd7e3937aa3ea6a06de1f75cfafba7b45","datavalue":{"value":{"entity-type":"item","numeric-id":3709890,"id":"Q3709890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$37F17994-6CFF-42BA-A159-3CA965793F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$3F4D7006-8F9C-43C2-AE3C-1E36D3C731FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$77D659F6-44EB-47E1-8EA0-EBE9F0D838D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$B6707DC7-FD12-4E35-9B45-CAD7FEA84698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$B1A1D8A3-CA81-45E4-953D-40A44F176DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f544f8e3026369c8e5a4e612e80fb0633d56b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":3907113,"id":"Q3907113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$A50054E3-D946-47E3-BFCD-009B83F4D500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$8B9DAA7B-8E1B-42A8-B4B7-850E22211008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$EEFBC706-735E-40FF-999C-AE877E9D3631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$3FE5B99B-973B-41E5-A43D-9450F4B66FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$A79ACF96-5063-45A5-AA7F-57BEC97BEDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6185150807c91d913b3375633ace22b5a7c85182","datavalue":{"value":{"entity-type":"item","numeric-id":5668416,"id":"Q5668416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$9D8CD3B4-E3CF-4BA8-B769-3279C82CE1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$8246875C-0DFB-4FB5-B995-CAD64A7140F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b79fbb5540f0404400728ce02316ef4bab0ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3787977,"id":"Q3787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$025E66CB-2C59-4560-9F32-AF3BAA362D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$F355E2B0-2F5C-4FB5-9332-BFC8DF8503D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97beec64225e48f32a96d21447b86e8b4764e8c","datavalue":{"value":{"entity-type":"item","numeric-id":1109126,"id":"Q1109126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$01B8F13D-0566-43F5-A1F5-B1908487C9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$DABDC012-2AE6-44B0-B921-36364F714D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$F0F7FFF0-AA9B-44F3-AC09-B94DDFD579B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$C1490CBF-D21F-4D29-B475-A434637157BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$667CE022-2E64-468C-B43C-B55C3282B65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$76650A67-FDFD-4D03-A1A9-0E888707848B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$38A64939-D509-4458-88E9-936802285080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$F949C287-7E26-47DA-BE74-2FD6D80A0B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a7aff6e64c6e39cf93d6bf6ccc57f34e2eb209","datavalue":{"value":{"entity-type":"item","numeric-id":1255084,"id":"Q1255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173956$5B8DC15D-3F28-4489-B934-02EE1D5601D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebb7b78ec98a09784f4ed322a7578ba0e41aabf","datavalue":{"value":{"entity-type":"item","numeric-id":4304621,"id":"Q4304621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9396f6255a55c9bdee41f6d532c1d5ec18c17c13","datavalue":{"value":{"amount":"+0.7838363647460938","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":"Q1173956$743C429D-00EA-4579-A112-29D56203B9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cff221fdd8db17edfab39af5ce22245787dd86a","datavalue":{"value":{"entity-type":"item","numeric-id":1886324,"id":"Q1886324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dd7bc86567126385714adaef532bc83df4d7b7","datavalue":{"value":{"amount":"+0.7493825554847717","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":"Q1173956$12F5D1FD-D455-4E36-8F33-87BC5A11D962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa5b039342e856cd778c6e78906b3479600b1be","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520ae81131f0ac0b241fe29c37f236a02df93dff","datavalue":{"value":{"amount":"+0.7438255548477173","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":"Q1173956$39728BA3-7553-4A7C-8647-3CE30678F3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6f4914cfd704d6ad9feca7c791b1fcae893d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2917339,"id":"Q2917339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ceaaf034ee7a43dae4b0d4eea7520b3577ce6e9","datavalue":{"value":{"amount":"+0.7399729490280151","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":"Q1173956$660DCFFD-4A7E-46BC-AD95-00D0EE000847","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion over realizability structures","badges":[]}}}}}