{"entities":{"Q685420":{"pageid":687269,"ns":120,"title":"Item:Q685420","lastrevid":63460023,"modified":"2026-04-11T13:18:31Z","type":"item","id":"Q685420","labels":{"en":{"language":"en","value":"Logical foundations for programming semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417355"}},"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":"Q685420$A7F81084-219B-4B08-AA5A-24FE145E6DCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c657ca08fa0049020b73668fa438b1244e976145","datavalue":{"value":{"text":"Logical foundations for programming semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685420$FE1BC093-0B4F-4645-BA5C-2C70467B4534","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18fefb9aa8ac6d494c5a564bb81c6a30708f6840","datavalue":{"value":"0786.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685420$9EB4AE96-A574-47D9-B6EB-44A967E1C98C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0e78c58dd5d93e22584308a3ca4932dd785c556","datavalue":{"value":"10.1016/0304-3975(93)90189-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685420$CC500586-2B46-49E4-B0B5-C7D1862002BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00d7eff2c7b0f075602eb11377b06d7ea65bd882","datavalue":{"value":{"entity-type":"item","numeric-id":685418,"id":"Q685418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$39A2889F-7A58-4102-B76D-833E11639898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f7de2a89f849f3a92cdcc6b9b1fd093923caf2","datavalue":{"value":{"entity-type":"item","numeric-id":685419,"id":"Q685419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$03544627-E0CE-4C09-9E0B-C27E214457D6","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":"Q685420$ACD642FA-2CDF-4895-974C-4B2F683FB84C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4d7b05535bc7692a75fc587d4810a7bdebded5","datavalue":{"value":{"time":"+1994-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685420$FBA8BE7E-36E3-4E16-BC1B-17CDCEF786B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685420$FEFF6738-B4D5-44E4-9051-6865BCC08734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685420$53A63B11-AED8-48EF-A1E5-CEEA53DCF54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685420$6B6FCB2C-34A1-4A34-AE51-3C52771DCEA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"158e9beeb8e621af47d5d5f8d615a049ff58ce69","datavalue":{"value":"417355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685420$6B74EA96-5F93-47CB-B060-E6C181EF37EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c1da376b8de63c7a2e97caa9d3e506c1dbf408","datavalue":{"value":"natural-deduction-based set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q685420$EDD9FE98-71EA-4215-9F69-2854FC7F1E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa7f72505b2ce18245591d6ee85475d4b2f9fdf","datavalue":{"value":"programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685420$FA31B9F3-59F7-4E0C-8464-9BF50BB67E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685420$0D29C926-BDAB-4F86-8633-659CDBC39068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ee20a274104cca0678298b6f9306356322c586","datavalue":{"value":"natural-deduction logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685420$D5DE1EC5-0E75-4456-A89D-0B1C52619E4B","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":"Q685420$4A071051-50BA-4BF0-A1EB-A27E4A3CA9D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26e00c153459bdbd242c7f50de953c2bdc3daaa","datavalue":{"value":{"entity-type":"item","numeric-id":3917476,"id":"Q3917476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$117BC3EA-ED50-4477-B72A-70253D13A54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$36DB9389-B3EC-43B2-AABB-E647E9B67E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a98d35b307a232a4c7a961285d22ec864173245","datavalue":{"value":{"entity-type":"item","numeric-id":4125720,"id":"Q4125720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$ED0F7C40-ED78-490C-A499-65CC0691285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$9F1A2982-0938-4109-B603-270D3DCADEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb0580a258952ac0fd65f6f9d86ae32e158a2f9","datavalue":{"value":{"entity-type":"item","numeric-id":4185007,"id":"Q4185007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$0F290E62-5CF1-4728-9663-B43F97527741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$FDC95A1A-8B53-4D9E-83BA-11579CF53D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$B2BFEB3D-F502-47D5-B67E-6FDC1E923A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0aa3c16f6b4b3995b6b11a40a74dac5e6666313","datavalue":{"value":{"entity-type":"item","numeric-id":3030824,"id":"Q3030824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$FBC2F579-2F20-43D3-8AF3-54C37AB97948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe64e87cfb4a500d2eda02370d2ae2e25d15209","datavalue":{"value":{"entity-type":"item","numeric-id":4067100,"id":"Q4067100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$87F0E89D-35D3-452C-9B58-57F2E7172E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43b43d4c80bcd097ce831fe06b1d37fc7500459","datavalue":{"value":{"entity-type":"item","numeric-id":1209798,"id":"Q1209798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$CF3FB62E-CDA7-4688-B8A9-8032299A6C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed33bd31125af07801ff01f2eda3ac3b0721fcb","datavalue":{"value":{"entity-type":"item","numeric-id":685421,"id":"Q685421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$87492EFD-5A4F-408B-9FCC-4143D7A0BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d75f5a3e1354ae2fd8ae553df8cd8ed47767bf","datavalue":{"value":{"entity-type":"item","numeric-id":3860813,"id":"Q3860813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$AFCBF132-366A-4CD2-8507-BAC7BF92DE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851e9152fe2e9d9dd269509aee34ccedb137a497","datavalue":{"value":{"entity-type":"item","numeric-id":3317040,"id":"Q3317040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$5F1D213B-6DEA-4A35-B70D-CA192FF190FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cbcfa06e6d1ec9c617eca8a78724a5d0815557","datavalue":{"value":{"entity-type":"item","numeric-id":3998266,"id":"Q3998266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$B4C4FEB3-19E7-4CC1-81C1-BC65B30D62A0","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":"Q685420$F80C858A-1895-4CA2-B046-8774465A982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$62B1CADC-5138-4641-8AED-586EEE364A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e4007f1a18ec00a797b71db40197a7a1913e45","datavalue":{"value":{"entity-type":"item","numeric-id":3030230,"id":"Q3030230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$EE18A5BB-C152-4B2C-BE49-C6EE679CF696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$7C9CC596-DC63-477A-8407-F50B25C1D580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25aba121224787efcf63dafeb3eb3b944cc63e19","datavalue":{"value":{"entity-type":"item","numeric-id":5623689,"id":"Q5623689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$530EAAC8-6B7A-4155-B354-D42CD32E6CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e522894023168ae81946c07c47abbf4e9f6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":4040458,"id":"Q4040458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$77E3CC58-B733-4940-ABA2-2CD6CBAAEFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$098CAB0A-3427-4B90-AF93-8387BE021824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$941F8111-5C7A-45B5-86DD-3213D9D69E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$30A9B5B3-5514-420E-8E78-942D88B4C730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$6682DE68-46B6-444F-AD98-0D20D0A104CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$9D1B31C2-9ABB-44AA-9143-7EFB392CE390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$0CED4FEA-F70A-4E06-922D-C37892B4B14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb8ae6dd547dcff738a8b576fd059aa1743a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5845414,"id":"Q5845414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$7CFF2C5F-0E6C-4F04-852E-295142E0252E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$DB1C74F8-EB86-48F4-9E9A-9725B8BFA809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f894835a06dff0f50849bd4ff97552acc97d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3853124,"id":"Q3853124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$725328EB-DFF0-423B-A2D3-AD71D94FB042","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":"Q685420$E6BE0374-A6C8-44B5-8886-C016E585D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$982FB6FD-EB88-464D-9CF8-1F7F23834F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$A42D59C1-E8D8-4E97-B4AC-6FE790CE76CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$5A7E2069-BE83-43DC-A45F-D0AE188DABBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$F6A01432-F5FC-4DB2-B3FD-271541F4637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$09C48208-A965-470E-8FF0-CED0A7A0A36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8a77967ddf06ecc486e7e726f442406f8c8625","datavalue":{"value":{"entity-type":"item","numeric-id":771152,"id":"Q771152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685420$200122FD-F782-432A-8AC0-E6465DEE3EF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8abceb535c0f8668da31c7bf6bb0fbc8eeb17ee6","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90189-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q685420$7B4DB0B3-46A6-4D5B-979E-C468843E3B6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb6fc87a8bc091cd5bc662810ed7cab7081937c4","datavalue":{"value":"W1979462910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685420$BE5A3C58-4166-4E7F-8A99-AF38F056BDD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef7ced74c7cfa9e07f8a4cb9a58146cd4d9c4c8","datavalue":{"value":{"entity-type":"item","numeric-id":4282606,"id":"Q4282606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0439fe219f4f85a20fcbfd5b6bc96d034bd30a42","datavalue":{"value":{"amount":"+0.798851728439331","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":"Q685420$52E0D2C9-2CBF-49C5-939D-6856DF50A932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f6037fd9d5678ea779a30d2cfdbbb6385214ce","datavalue":{"value":{"entity-type":"item","numeric-id":6116571,"id":"Q6116571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e977570cc492f306dc5f0e2868f68febe6b01d","datavalue":{"value":{"amount":"+0.71821129322052","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":"Q685420$44398B23-5E5F-466C-B27E-E4348817301E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf8a0c2e4abd59379d6826d9c3e334c11ac29ac","datavalue":{"value":{"entity-type":"item","numeric-id":4364512,"id":"Q4364512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b344caa8c16ec81bdd813c19a773eb2653faf74","datavalue":{"value":{"amount":"+0.7130215167999268","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":"Q685420$549AF11D-A927-4DAB-AB2C-8D9547FA1DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94543ed8cd2aff76c9dca0156f6e9ed0d176fcb","datavalue":{"value":{"entity-type":"item","numeric-id":685421,"id":"Q685421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e178d6fe8ee4f3bc66251a79b0bcb4ab77c11b2","datavalue":{"value":{"amount":"+0.7080067992210388","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":"Q685420$5687E9F8-1B3D-4976-B5E6-8DAD288DEA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bed3da5e4867cdbed437e20367fc57627dfe652","datavalue":{"value":{"entity-type":"item","numeric-id":3785904,"id":"Q3785904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0321ee27ef00287b63ef94198842b4800f94db7a","datavalue":{"value":{"amount":"+0.7071225643157959","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":"Q685420$3B1F30B1-6262-4D27-B7EE-EE477B94B114","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical foundations for programming semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_foundations_for_programming_semantics"}}}}}