{"entities":{"Q1978640":{"pageid":1989382,"ns":120,"title":"Item:Q1978640","lastrevid":46898064,"modified":"2025-12-25T19:48:28Z","type":"item","id":"Q1978640","labels":{"en":{"language":"en","value":"Specification and proof in membership equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1454398"}},"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":"Q1978640$FC7D14D4-9789-4493-BAF3-6F0FB9A4297D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7ce2293c62f3171414e783e67d80e8bdc1b226","datavalue":{"value":{"text":"Specification and proof in membership equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978640$4F4A3C87-6680-4F9C-863D-FADFA078CD69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"440247158dbed0bf6e4365daff0883f3b7261bb8","datavalue":{"value":"0938.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978640$71A487E0-5392-42AD-BE50-C15DAB9F666A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b5a92a6704355a9b4db0e01897ad78ba97ca6ef","datavalue":{"value":"10.1016/S0304-3975(99)00206-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978640$04B97A60-BD6E-44DA-82A1-9A1709015EEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b3a8b345d1b3ec000ad6c59a5dcb5ae454f5a56","datavalue":{"value":{"entity-type":"item","numeric-id":420846,"id":"Q420846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$54113AA5-BD4B-43B8-838E-9F0D5FD0A672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$E1A0B368-7C5F-49D8-851A-D662C193CA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$FB072F6B-0625-43E4-A968-4381A1C57F48","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":"Q1978640$DD630AB6-32EB-4E99-A5BC-641332ED01A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978640$9469E752-D73E-4363-82A4-52D4298DEC52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978640$1C4BD81B-45CD-4A76-A695-F846A03E56D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"935e53253374636b14844c4a673aff6ec75d67c6","datavalue":{"value":"1454398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978640$F023821F-D29F-49FC-A9A3-C72E546D0173","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fea41787ce2bbfcd9166282c93e5eca9ac87542","datavalue":{"value":"executable algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978640$491DDD16-E71A-487C-9509-61A93FB73858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06860ae67b5e8a1ce25e1a0c0f5f2f5db3b7e06","datavalue":{"value":"parameterized modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978640$2EBE34EE-6E6E-431F-B6E8-1AFF58468788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac51fb7fe1eacbcc34c109a96dfeb7f186a8cd37","datavalue":{"value":"inductive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978640$35C2FACA-E576-4E6F-AC22-EC3FE888F288","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$A2E0D9CB-9903-4A2E-9965-C7FA00DD1D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$C1982511-4BCE-439D-97AC-B3B61EFCD216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$8CE4A009-A560-43EA-BAD7-7144BE3637A6","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":"Q1978640$7CB854D9-7EFB-41AB-9EBD-9BE295E2C1D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$D3A0DFD2-701E-48ED-B081-85B59845FC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$A831CB98-BBE8-4C50-A440-49B9C00A16B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907aa2ec32dd709ef2ac1f74163a80b2dde836f8","datavalue":{"value":{"entity-type":"item","numeric-id":3896478,"id":"Q3896478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$8EA54C3F-599F-456B-BF89-4D1D8FD256A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489c285b3796da271185bbf501196c27f1336cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4264712,"id":"Q4264712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$9D54F135-F333-4D9C-9962-C82A150DDD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b9ee499c2e20ed5be41697ecf31e0d97ac1fb9","datavalue":{"value":{"entity-type":"item","numeric-id":672051,"id":"Q672051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$FBF98EE5-01E3-4CDA-A2E0-D9EFE7842A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38436ccc3eaf66833737c693efd9ee02093296ee","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$025384C1-9FDE-4651-96C7-45E0E2A13406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8e869687239ba7356faf4f307148f6207fe3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854445,"id":"Q1854445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$8009E987-2565-4FB8-B83A-B3E1B0DCBA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$B0CB41EC-8998-4F84-BFC9-AF08C495A118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$E4A77CBC-B495-462D-A78B-AFE630CFC116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$6A6A7A2D-522F-4AB1-855F-923F60B07178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e9a6be1b5191961a72bfc3e566efae6e25eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1838960,"id":"Q1838960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$FB9B9B0C-A300-4E2D-95F1-8BEB18A2A8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bed3cc28811a5e3f4dd5352c6cd345f8a75b6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4632446,"id":"Q4632446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$4D1DAC09-1C11-46FA-AD51-7C11B27F3BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed1ef347d29b8f0be1edd97644c055691282378","datavalue":{"value":{"entity-type":"item","numeric-id":5055805,"id":"Q5055805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$92C6C84A-DB8B-4316-BD20-F4B77C53DB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ea6bceb7438f91c141dbd98a2ad103e44ba224","datavalue":{"value":{"entity-type":"item","numeric-id":1391728,"id":"Q1391728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$68815AC3-E48E-44A7-A6D9-7CB2DC90CECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf8150531dd139e92d199e5424737b99d920576","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$19F53153-9B20-4AA4-BAF9-FB77294A6D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1b9e2e68bc833b46cdc93d4bf6d42d768ee309","datavalue":{"value":{"entity-type":"item","numeric-id":3490949,"id":"Q3490949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$7CB21D0B-522D-4E35-BC5E-C7FFC2C2B3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9386b4272b452b92ed0c1c95bf80f247d5fb10e8","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$A7FE376F-95B2-4840-BE43-C90A0346AE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303eb3964db9127e4631b86a220d9feed74d7acb","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$930D00C7-B71D-4D87-9B26-CFC65FC0C0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db5a5291f3a16cb567c464530440c036bb2b14","datavalue":{"value":{"entity-type":"item","numeric-id":1333268,"id":"Q1333268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$FF8A66FC-ECE0-41C5-AD40-B723AB831683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e6541565e61c7c04b1ecea6dc57283706c32cc","datavalue":{"value":{"entity-type":"item","numeric-id":4942651,"id":"Q4942651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$FBEC0A75-7584-4E65-8615-5C6E141053D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0011f65a95514861d982f4c78eabd721da7a8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3855354,"id":"Q3855354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$ABF74D67-91F9-467D-8881-0F6F4624B690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$82B502A5-8DB7-4130-87B0-571198334B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$33B2D6CC-64D3-4394-AAD7-51ED65726025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2871639e828f04ffbb15f1dfa2ab373ace2db13f","datavalue":{"value":{"entity-type":"item","numeric-id":3817652,"id":"Q3817652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$A8565CF0-99D7-4C05-BB83-EBD292A79111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e60dd0fca99bfbfa5b5591cdca181708b6d19","datavalue":{"value":{"entity-type":"item","numeric-id":1887142,"id":"Q1887142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$8C8C5644-D219-4166-9B5A-BF86C948D6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706dc1bd0a674d2529cf7888615cc60a3ec2ecd9","datavalue":{"value":{"entity-type":"item","numeric-id":1824381,"id":"Q1824381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$635E2656-07EC-4712-8E17-BF6D77748608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$ECB5F786-48C6-4AB0-9310-A9E88EF4A441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b2d686cee4a3c3f8b34fe98b0a4b4dfce7fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$29B5113F-4DCE-4718-9563-130BE33C0F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ab79f8fe1e91b63e9c6e6379a45e52f1e9d8a2","datavalue":{"value":{"entity-type":"item","numeric-id":758211,"id":"Q758211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$1D96AFCB-0F8F-4172-9E44-8751537A8F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152fee618a8c8a56c2f61e93a4a015993fa3b87b","datavalue":{"value":{"entity-type":"item","numeric-id":1177935,"id":"Q1177935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$5CDA0E10-4417-40F5-81CC-B9D3BCD968EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc1a4f7b272fca5c40634f0ef5413f6c118a245","datavalue":{"value":{"entity-type":"item","numeric-id":912606,"id":"Q912606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$C534D38C-CC0D-4AE2-8006-0F6EDF258163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$853989E0-CBA0-4984-AAFF-2065CCA565BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$155C9740-710C-49FC-AC3C-EA12BE9F7818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$93CFE0D9-86C4-4F80-A44C-F06EFD8A9A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$E4DF365B-4A91-46D3-A2EE-F990D4508489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$66A81E9F-407D-4F4A-90AE-B241FC889B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c9eb60c14d21feb227544150f8df64db11d8dcf","datavalue":{"value":{"entity-type":"item","numeric-id":1264443,"id":"Q1264443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$4B62A475-D429-4609-A7B1-CAF43D6FA102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$3B8B913C-95ED-4DEB-B209-8B900519EC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$E8F86776-E4B8-4814-9695-A2DF55AE3E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$C385010E-3A30-49E2-8C6F-1D8EB705A33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$8F92ABC6-58F1-4307-BF79-45A0C018D434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffa526f8792c5b242b93a3f55bfb9c07f71492c","datavalue":{"value":{"entity-type":"item","numeric-id":3992232,"id":"Q3992232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$1C3239B8-5624-41E3-BB6E-A1B46CBF984A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$8CD1EDF7-8DDD-43F8-9F01-D4657D383927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2a73cce9c4f8ef22ec17ccc31acff7fc597204","datavalue":{"value":{"entity-type":"item","numeric-id":1391729,"id":"Q1391729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$41D77FB7-0CB8-45EF-BD09-650A89EAC2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$CC28744F-C999-4F92-BEED-E21FBF6EC89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$E83611D9-54A7-4DFB-A5EA-C16E582C6412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407daa1c47ad4e1b7bcdfae46df97a17606dddfa","datavalue":{"value":{"entity-type":"item","numeric-id":3338226,"id":"Q3338226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$D9D39999-16D3-4A0F-9826-0520DBB06BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe37ba60d1d38231cb146c0ce87f7bab99a4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$16C3E9B9-74C2-41B4-BCE5-2ECB49A53D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b400314561ded2ce4908741fc9c31cd6783927","datavalue":{"value":{"entity-type":"item","numeric-id":5055750,"id":"Q5055750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$606F8945-6592-40C9-9093-6C5261447E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e10fde38a5d61fa62a315260fa7cf62a3e1368","datavalue":{"value":{"entity-type":"item","numeric-id":1892141,"id":"Q1892141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$CCD3E165-ABCA-42DA-A5CE-03E351CC671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58140cb8afbfd1e28d381fbe9968bc9f5b2e9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4222853,"id":"Q4222853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$137EF89A-3640-4973-823B-63D9A177B7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fd91746d52c6e95577227ca648026c392e49f2","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$FE06F955-9734-49BE-8F7A-57BAD751E02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"525262ca8c45e9cd946a0afbf9b39ad1f0b59741","datavalue":{"value":{"entity-type":"item","numeric-id":4885625,"id":"Q4885625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$651637FF-8599-45D5-8170-990DFC2FE66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec104be679335716ec30c554db0a53b12f974b06","datavalue":{"value":{"entity-type":"item","numeric-id":4895548,"id":"Q4895548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$ACD8FF2E-6DB3-4ECA-8341-CC8D2AFA67DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$07F8B209-29DC-41F4-B31D-960F38C6CFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$7C8DDE26-1CE7-4574-822E-078CC358166A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$97A3225B-5686-487D-8983-36532DA29372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$6582AA6E-8D81-4EB2-BDDB-56E608EFE414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53df5a0db0f8dfae3cf9d762bf0f64420ba10d0","datavalue":{"value":{"entity-type":"item","numeric-id":3204056,"id":"Q3204056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$0ECA897D-28FC-40F7-BCF1-986C6962EB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec1ce7913a05ed6abd0f9e363f66a4c9478ce78","datavalue":{"value":{"entity-type":"item","numeric-id":909448,"id":"Q909448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978640$E8311EC4-7988-493C-98E7-8B1CC3F6175C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7e2493d3da81c95dae6bc6e6abc7e186ce1bb8d","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00206-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978640$B9D40DDD-7E4A-45B1-BEA6-B7D3A98A5FBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53469ef0864ca646e4ab47da9bdbdfcaba89c59a","datavalue":{"value":"W1991598919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978640$92ED1717-C33C-4EDB-8E6A-511F62808B0E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f2b6c41dd40d05a821d5551a61643036880ab99","datavalue":{"value":"Q128026434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978640$6F78F13C-E5D3-4E0A-8151-967512DD18D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129a43401201cfaf319ef5153f9f5fa883b748a6","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ce3c65bbd8ba082c8f3d39c852e5730ffbab88","datavalue":{"value":{"amount":"+0.8426015973091125","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":"Q1978640$69783D85-2B4A-40FE-B3FD-CE5E6F5845F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2afa134d7470aaccb08587d7bdc0d041f87c1fb","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d039ca71923f60126064adcf4d2a06e61a7583","datavalue":{"value":{"amount":"+0.8345738649368286","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":"Q1978640$4E240622-E4F1-4CFA-8EC7-3A2898FBAF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26b695f1b6ba26006e2dc38f8d73c3f1c2e3ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2851051,"id":"Q2851051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff5db076df5e8fcf45a2944ed56ec3ec9caefa5","datavalue":{"value":{"amount":"+0.8106495141983032","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":"Q1978640$90011260-9AF4-4F73-94F3-0CF57C55D4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1ebd9b34a630884d2e80dfd938f84e69060b90","datavalue":{"value":{"entity-type":"item","numeric-id":2723887,"id":"Q2723887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b725f269c6c0fa3edee49cb1f0c49428729930","datavalue":{"value":{"amount":"+0.8010393977165222","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":"Q1978640$F2DE7205-1008-4A53-9CC8-58011BBADDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824ee019bc472f19672ebef391804728ed1073ef","datavalue":{"value":{"entity-type":"item","numeric-id":4222984,"id":"Q4222984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23f292cb6b3013dd54d9afa111746102a41ae3e","datavalue":{"value":{"amount":"+0.8007737994194031","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":"Q1978640$0E8830DE-77B7-40B9-AE66-FDC35CCC2EC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978640"}}}}}