{"entities":{"Q703526":{"pageid":705375,"ns":120,"title":"Item:Q703526","lastrevid":63744924,"modified":"2026-04-11T15:15:21Z","type":"item","id":"Q703526","labels":{"en":{"language":"en","value":"Substitution in non-wellfounded syntax with variable binding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126100"}},"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":"Q703526$834666B7-1089-4D2A-9EB2-D15257111911","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b57af807f9529b59c55b0d60989d98424c4b441","datavalue":{"value":{"text":"Substitution in non-wellfounded syntax with variable binding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703526$8E937680-1A30-497A-9618-6DFAE6420E6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f0d116c44a33b6d57da827a1cb6872d556027e7","datavalue":{"value":"1071.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703526$99EFD586-53B8-4092-B74F-69497AAF7426","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":"Q703526$280A1988-F7C8-491F-B8DF-D36C6CD87EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$9C6C8F92-7244-4E6F-ADD8-F1E988B79496","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":"Q703526$2E98F9F9-A34F-45F9-A29D-4E5368D63027","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703526$38E99F6C-2C8A-4752-A984-6D7450254946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703526$4F0BDB1A-0056-45E4-88AD-0C9B4EB227FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703526$C24C2429-4267-446E-85C4-80BD85534C01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"822966163b6372574d723fa98dfb768ad39f181e","datavalue":{"value":"2126100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703526$78B2192D-24D5-4E65-A27E-93250D60A61F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a333a416c420955398574c116801f48ea0608f","datavalue":{"value":"Substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q703526$A912F35C-A1FA-4B95-B6F6-D1B506D1A75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01ce9c01985bc16f5f25301eeffebb547b448e7","datavalue":{"value":"Non-wellfounded syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q703526$BBE72DB2-39B8-40EE-BEB8-CD8E5A859D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d55670886c0d5988605630710539c8408cbc57","datavalue":{"value":"Variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q703526$899AC28C-EDFE-4A95-9621-766D4CD5ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c2cec03b089e30038c2b6a9648c79253bac717","datavalue":{"value":"Monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q703526$943F5F80-022A-4F9F-AE96-ABCC68A3227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a368186590a19b039fc29cab4e21958a29507e1","datavalue":{"value":"Functor category","type":"string"},"datatype":"string"},"type":"statement","id":"Q703526$52152153-0206-433E-AA95-B6DF8C876BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6e336fc33189dc54a8a715e5c9cd565cfa2310","datavalue":{"value":"Final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q703526$F59A5BFB-7736-42EB-8AE1-9D42C4F614CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a259a8b1d40646425d152ad691954949172b941","datavalue":{"value":"Primitive corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q703526$9844697E-D956-494B-B34E-9D380FEC5242","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":"Q703526$A7649A85-51EF-487C-AB10-628B46D91644","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a4b3b620b972d56dd47074c9094011a7fb352ba","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.07.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q703526$5EA96DDD-337A-4243-8880-F8BF437481BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d98985840731151dff96b3cfb2ff5b823b43ddfd","datavalue":{"value":"W2130486716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703526$65577B70-C572-4E28-B6C4-30385C4C90CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea00778f52ec611b9197a1255baadb7b2fd0cf06","datavalue":{"value":{"entity-type":"item","numeric-id":4435457,"id":"Q4435457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$256FD342-5FE3-44AC-BC78-6ECD957875FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ba2ba45eb18915de37a9be36d21abe23403ed4","datavalue":{"value":{"entity-type":"item","numeric-id":4417851,"id":"Q4417851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$7B62B58F-4828-4542-B006-89A06AEEF951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$9E655BD9-185C-4497-9AC7-59AE1E137CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05929f031ef3d5d03411764299a26527c67ed12","datavalue":{"value":{"entity-type":"item","numeric-id":4738111,"id":"Q4738111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$202F7B70-4E01-4782-A743-CBD9D0F62F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$640E8958-E15B-4D23-B47C-80E3B045ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c297cceb6694553b86f2e0bf5eeb4c9b20f57b6","datavalue":{"value":{"entity-type":"item","numeric-id":4411815,"id":"Q4411815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$BD1C977B-88DF-4B8C-9F29-2F6D30A5D818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$073FAD41-9DC4-41C7-9DC4-5238A0BCC132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e8bde5035730a3f9e7ab7cb0e5d7ed63423c1","datavalue":{"value":{"entity-type":"item","numeric-id":2538652,"id":"Q2538652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$B91916AE-21FC-43D1-B3D2-28A3E6F6CB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1c4e3e9abb8d3f1418514c061c1d7ea6d5d61f","datavalue":{"value":{"entity-type":"item","numeric-id":1346686,"id":"Q1346686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$14CDA750-F6F8-4E7E-850A-52003410A0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a17422820de131ed03dd36bb6484e8aa078aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1965249,"id":"Q1965249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$45702E4D-D184-4D46-93CE-E9C4D4C887D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$A3A5C657-8025-40B0-A044-F82592751C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b84b3d46d4d214bca63d7af6d12a605b93a454c","datavalue":{"value":{"entity-type":"item","numeric-id":5187879,"id":"Q5187879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$836E2C50-0E07-45BA-ADB2-D19D711F451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$D7DE208C-3BBA-481C-9DC2-F1CE26F34245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149c6701797bc70b9623feda8cb44be3225ef16c","datavalue":{"value":{"entity-type":"item","numeric-id":5746216,"id":"Q5746216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$8CCFB810-CB34-4BAB-A363-FD7C409C1DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2dbfea7d3bff7efee78815770018b4a28f3d9f","datavalue":{"value":{"entity-type":"item","numeric-id":2842553,"id":"Q2842553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$54F71D90-189B-4D0F-850A-26A7CD6F09EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad604605d1a29b226be438b9060cd0726e1243","datavalue":{"value":{"entity-type":"item","numeric-id":4408809,"id":"Q4408809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$13E436E0-F55C-455F-9DE4-501D2A1674A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69d2d8ab3debd042997c5182da12fdf610edb88","datavalue":{"value":{"entity-type":"item","numeric-id":853744,"id":"Q853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$E90A4132-608D-4DC2-A29E-695F03593E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$FFB8BAE7-99AF-4EB9-8375-0735E8833647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$EDB11961-86E4-42F7-B889-7B14DAEB5346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5b45f3cdf2d53f2b50267a8c4a03fe45169539","datavalue":{"value":{"entity-type":"item","numeric-id":3836527,"id":"Q3836527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$39AEFEC1-D499-4346-9631-2B620ACE0593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$36A12689-3B36-4DDC-8296-636DB6584090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e601f0b1997e7320a7305ac01a5940a6e3859c2","datavalue":{"value":{"entity-type":"item","numeric-id":4783334,"id":"Q4783334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$DCFE7FFF-58FE-45DD-BF14-CF421CDDA873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f008d5eddfeade61be7dbb71f637365a48fd7545","datavalue":{"value":{"entity-type":"item","numeric-id":2843728,"id":"Q2843728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$CCD8F2AD-CED6-4286-BE9C-BE9646FD6900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9547e59e05241ce90e2002baca31499468810e3","datavalue":{"value":{"entity-type":"item","numeric-id":1577482,"id":"Q1577482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$7A52D17F-C76B-465F-B510-91872BF83666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$0DFD7E5B-8E74-4D63-A534-DA2F4A4DD823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73eb0b43cdfad05345e5b13521872ded05311d0","datavalue":{"value":{"entity-type":"item","numeric-id":4808745,"id":"Q4808745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$BE8CEFC7-A678-40F3-ABBB-B9B1D90C2DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608dcee415bec70ba6d08c849d58f8223bfb26d7","datavalue":{"value":{"entity-type":"item","numeric-id":1274449,"id":"Q1274449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$3D5252B2-6B99-46F6-A941-A56A5C6860EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20970ecd5ca04e25c3f9d7583e87d1d4c86d0bc","datavalue":{"value":{"entity-type":"item","numeric-id":4536403,"id":"Q4536403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$CCB81D86-70CA-4CB1-BF96-5164DAEBB066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac76dbbb149e2f7839e5c1fe16a794ce092e6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4460688,"id":"Q4460688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$3E78D2D7-A995-4B3E-84F0-BEFCFD7D1FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b238fbf6ead825f266d98e657f1e8f9114614f","datavalue":{"value":{"entity-type":"item","numeric-id":4267198,"id":"Q4267198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703526$194B45D9-C76C-4DB5-9346-FCAAE51210C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fc3c87101c586abebea393736fb31e5f825cb58","datavalue":{"value":"10.1016/J.TCS.2004.07.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703526$CE605BE7-3177-4CD1-9420-6CCD0F92E80A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4dddf6ef77c5adc18c43855602600739d13a47","datavalue":{"value":{"entity-type":"item","numeric-id":2843728,"id":"Q2843728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e8098fb52b1144fa9ecde9f1a784025bdc90a9","datavalue":{"value":{"amount":"+0.9810832738876344","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":"Q703526$E0B9556F-5F86-4377-8FDB-9655C48C771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d93a6a914435dbf3beb28b95c66807f31111fd9","datavalue":{"value":{"entity-type":"item","numeric-id":853744,"id":"Q853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8e9b3dd20e8c787924f433aa33cbc627d08d36","datavalue":{"value":{"amount":"+0.7757258415222168","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":"Q703526$334BAF5F-ED73-41D3-875D-225D92D35297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a9b32e08595283c5aadd7452a10388c7740df0","datavalue":{"value":{"entity-type":"item","numeric-id":1687739,"id":"Q1687739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce48c727e57747092b4ee24f0dacd2693c7084a","datavalue":{"value":{"amount":"+0.7560776472091675","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":"Q703526$B34A26F6-2F2F-4F10-9BBE-C2B37A5B849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d969b0fc68ad7e31167a84fb187788fbe217dcc3","datavalue":{"value":{"entity-type":"item","numeric-id":1984791,"id":"Q1984791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f316b6a84c859e682ccdbbbe7a93abbe3216355","datavalue":{"value":{"amount":"+0.755289614200592","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":"Q703526$CC65DB27-9B06-4BA6-8814-7DE60A5D45B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f1dd4b1688e56b62f5b7fae3d6545c8c82fc11","datavalue":{"value":{"entity-type":"item","numeric-id":4580223,"id":"Q4580223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf46a91042d72e7208455828b8a0fad513e23cf1","datavalue":{"value":{"amount":"+0.7551649808883667","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":"Q703526$567349E4-D158-4CF1-9B26-19297A4DB4AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Substitution in non-wellfounded syntax with variable binding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Substitution_in_non-wellfounded_syntax_with_variable_binding"}}}}}