{"entities":{"Q1012127":{"pageid":1013975,"ns":120,"title":"Item:Q1012127","lastrevid":66008739,"modified":"2026-04-12T06:54:56Z","type":"item","id":"Q1012127","labels":{"en":{"language":"en","value":"Bi-inductive structural semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5543808"}},"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":"Q1012127$E27EEAB1-5194-4913-9805-243F96A4EF37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fc6e12d3e90eb243252d3235ba35487bc7b7306","datavalue":{"value":{"text":"Bi-inductive structural semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012127$19C1C3FF-E3F8-40AF-B0B0-23ECAD573202","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60f0f5672cab2020ccd63af9cbe021289338383","datavalue":{"value":"1165.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012127$DA2D51FF-5351-4F6B-815D-71F44DA6CB17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$D5645D3C-CBDF-4DEF-BCA8-B701633CC5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabe6d988e05fe3a7b00666b4b0ee76e06b180c4","datavalue":{"value":{"entity-type":"item","numeric-id":655409,"id":"Q655409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$9954CC59-DBD4-4F05-9AAD-F60078239ABF","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":"Q1012127$7CF9CEB8-92D2-4430-B063-CEBBE5C903AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70e3fb7efc077ae8b5215707528be5246c293fd","datavalue":{"value":{"time":"+2009-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1012127$A8414991-0E5F-4465-B985-8ECA1996D354","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012127$B4E221B6-B72F-43B4-8730-58DFDCC2B0B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7e9e8fb0b64a9efed52e315edcaf03e56de8501","datavalue":{"value":"5543808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012127$3F245CC9-7DF6-4778-B1A4-C54E319F5337","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e053c5386229c8eb59215f60c0edcc8e38d6db7e","datavalue":{"value":"fixpoint definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$5CAC8145-F6B9-4C01-A159-1DC0B10EDC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$A4E6A7C7-A4E9-47AD-820D-BE84DD9A6F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920cb1b4ac9b01d41fdbadd7d1457883a55fb3c3","datavalue":{"value":"co-inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$3200D384-DBD2-4823-91A7-D468FB5888B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916c09020756b7dba09402949f2f626e582a64aa","datavalue":{"value":"bi-inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$9FEAC8DA-423D-49FC-8A7E-73A79B9B84A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8c6ef06fa8347bb91453b2b4eb1b83336614da","datavalue":{"value":"non-monotone definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$B9840C5C-EC97-4979-97A8-4FAE3CA5433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a507b15e5e275dbb59914f58f3d4ca42b044d2","datavalue":{"value":"grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$73C8F2E8-8EE5-4916-B445-006CEC0C9ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$DB2E9094-4A3B-44AD-A387-B9DD385C1643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4324238f0be75d07e5d4832d32c1b460c1e1c0f8","datavalue":{"value":"SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$EAD0B55A-4CCA-4D71-974A-3B630DFF8958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$1F103EB6-17B1-455A-951B-E720C19F95A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$26215FD0-A18D-41BF-A018-BE6E0D843C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e0844ef240e4441240d555db59921800e44368","datavalue":{"value":"small-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$55695C52-E2A5-4E28-BB74-354330248BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7faeb5d0135023e1eb500475334c837141ddc600","datavalue":{"value":"big-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$C955A0B4-44D9-47F6-9024-8D4A7FE0E09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc077132c920f8bb434eca022753e0cdcb1eaf8","datavalue":{"value":"divergence semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012127$9ABF90C4-678C-4DF4-923F-5D4B8920F3BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$B03267CE-4C62-4685-8ECE-EBFBF6B12549","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":"Q1012127$700A5F73-8FC5-4502-9801-B34398226758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6810121ea965c3659ec84d2d26f56e2ff1aa6a65","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.03.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012127$D6A65F1C-D4E3-445D-BF1D-D5B1BB961119","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3caefab9d58ddb8745898a201321f0985c96926","datavalue":{"value":"W2071570834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012127$E87DF068-18BA-4AA1-AE02-1BCD5C062354","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d853ad60931fa02460b597161b5a10b9b84ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4225147,"id":"Q4225147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$74D89328-E445-4BB8-91E3-49C9A6698F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9266185c52f53bc308d9e6b943b26d08e91281f9","datavalue":{"value":{"entity-type":"item","numeric-id":5526125,"id":"Q5526125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$8A6971C8-617B-4DAF-B035-378E1752D082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$BCE3A35A-72D2-44D3-A72C-A4A8ACF3B9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$3AC80D0B-0818-40BC-BABA-6587B1121B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$7B6B983C-BCE0-4845-B9A9-2DFC97FDF8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$3D40F7E2-ADD5-4294-9DFD-07117E7C5E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$19D7A3FF-1578-4967-955D-99D3784E667D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$0A811282-3CF8-4857-9019-CEE7E80D0CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5da18e900c147617e86ef7a75eeb280395a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":5543072,"id":"Q5543072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$A05E1E3E-AC11-4D1F-A0EC-2B0AE6D1F0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$88CBF95A-2F33-4BB4-80E4-0A06CA6D6C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$70B3A1AA-1B43-4468-B78D-CAB2677FE4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccbc8a5de17ed4e6924728c6d1a2f620a7587fb","datavalue":{"value":{"entity-type":"item","numeric-id":3805933,"id":"Q3805933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$6663AA60-B4A4-4B5A-9DA1-CEEF30170BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c838a08284941debaf4e5dc77e4b89a3b3e0e36f","datavalue":{"value":{"entity-type":"item","numeric-id":4372921,"id":"Q4372921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$227DEE9A-31AF-4D24-B5F0-59F297D79F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45878fd4eb67e5421fec78b7ae9befc0923926c","datavalue":{"value":{"entity-type":"item","numeric-id":1878714,"id":"Q1878714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$1809BBA7-8138-4B42-8449-B8BCF0A53A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1351befa2028ba977e467354519543f1a286b27d","datavalue":{"value":{"entity-type":"item","numeric-id":2866314,"id":"Q2866314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$47EB0E20-CEE5-4881-8713-E8DD12E0FB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6be6cff01d2235451e68957f7f50c6f48767737","datavalue":{"value":{"entity-type":"item","numeric-id":1166268,"id":"Q1166268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$B92AE885-0883-47F1-95B2-D8667ED646F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c2ae8be4b89d81897f7354ac0f78793fccdfef","datavalue":{"value":{"entity-type":"item","numeric-id":5899008,"id":"Q5899008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$15BC4B82-F095-46B0-AE68-9D49F9D445CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$6D2FEBE0-FD9F-45D6-BF6A-6AAD9FE77849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce34cbbccb9cd5eb24a450616dc2e119bb503a1","datavalue":{"value":{"entity-type":"item","numeric-id":4385537,"id":"Q4385537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$9C3E25BA-8BE6-481A-9B02-676E4BB55B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$7459D738-6DE0-41B7-B2BE-47C366E0414D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2159dd9c5a98c068eb1d54cc56d1f54410d08a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4168081,"id":"Q4168081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$8F651B16-2B72-417B-A92F-430C197EF87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$CF28197D-F9EB-4E25-A8BD-CBDD08BB38DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$24A2B98A-7774-471F-931C-25CFE22C291B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e77c6dffec9eb1517fe5c7c4cba68d19b2f1de","datavalue":{"value":{"entity-type":"item","numeric-id":3293455,"id":"Q3293455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$B7E218CC-8DCB-401D-B474-61C5543CC23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$96900CAB-64F6-40CC-BB5D-A14710BB9F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a7868470ff575c450bc5bf1ed5f0ae6ca7d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012127$80FAD5B2-0F8C-4111-98B9-0FC1F509C113","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c9b4b95c3fb3dbb025c176a58e0f92e642ee08e","datavalue":{"value":"10.1016/J.IC.2008.03.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012127$234213A5-F2FF-4FB7-B74D-012CA4988EE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93f9fa52e38d89d72b9582c53c30d550d6e7375","datavalue":{"value":{"entity-type":"item","numeric-id":2871828,"id":"Q2871828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70d79f561e814b09073cc97f25d7c0a58e72d68","datavalue":{"value":{"amount":"+0.97586143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$131A20D6-DDF4-4385-8BD4-9E666494132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780c0f9bd2fe8e32d283550a3abfa35d70c14d79","datavalue":{"value":{"entity-type":"item","numeric-id":5375872,"id":"Q5375872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33f7fa9499acef2bb28fd41ca6dc3c9db1a097e","datavalue":{"value":{"amount":"+0.88940537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$7B22BC7D-39E1-4F26-82A6-8F6BFC602BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9110336adf123563eb462843d16a2e0d353a69dd","datavalue":{"value":{"entity-type":"item","numeric-id":338626,"id":"Q338626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58403ebdfef241a159e9f1322742beeca75626ac","datavalue":{"value":{"amount":"+0.8783899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$3070A440-26BF-49D1-93C2-CC34E977F950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014ec707fd02b82a3e2eec371732033fcefa0229","datavalue":{"value":{"entity-type":"item","numeric-id":5369473,"id":"Q5369473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bb86f6e4f81034ae7e70b1573510585c69eac4","datavalue":{"value":{"amount":"+0.8722646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$1B70EE37-EC15-4F24-B557-B4E644C3C133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdf5010a988549be77ddaccc79f64b6433e8c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5246719,"id":"Q5246719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf04785a6ddcc66cb509e4c00aa96dd4915bf81","datavalue":{"value":{"amount":"+0.8573597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$C95C4A42-94C0-4D8C-B44D-17E6176E1798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb7289b1d72839270e875a570f99a0a4b7c7dca","datavalue":{"value":{"entity-type":"item","numeric-id":484102,"id":"Q484102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57c41be9c49391adc4c5bbbeb4b48201c9a4c81","datavalue":{"value":{"amount":"+0.85014874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$2C4959D1-F8B6-45BE-87A4-483C54BD9674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6065844706c05aff78f76e09bf4765703d4bf4a","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fa29255d6de595781df7b969bda9f894cd4fbc","datavalue":{"value":{"amount":"+0.8498914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$39BEED5F-0A6A-42CC-A811-A6685BCBF695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e650a01a1b88ee92b2c8139203cdf06ef45a014","datavalue":{"value":{"entity-type":"item","numeric-id":4917044,"id":"Q4917044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a790c7bc4e64e4a137205875b063788fee0650cd","datavalue":{"value":{"amount":"+0.8490576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$9E5C7849-5368-44D0-BA81-7B641344980B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b2ad9831758de788aa6cc0a22d2cc6b17b00dd","datavalue":{"value":{"entity-type":"item","numeric-id":2904066,"id":"Q2904066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699605079cbabcc7c0b60bddf63448e9c005e699","datavalue":{"value":{"amount":"+0.8472465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012127$DFD40512-5D17-4AF3-B4EF-E00F8E9B4721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bi-inductive structural semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bi-inductive_structural_semantics"}}}}}