{"entities":{"Q5089030":{"pageid":7118606,"ns":120,"title":"Item:Q5089030","lastrevid":91336271,"modified":"2026-06-04T22:54:42Z","type":"item","id":"Q5089030","labels":{"en":{"language":"en","value":"The \\(\\Delta\\)-calculus: syntax and types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559294"}},"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":"Q5089030$62534E5E-1F5B-437F-87FE-7A6E3B6CBF3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$F00400D8-A52E-484E-96E8-D98B010B3A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f0f9f06fecf77307a35dd9e625719dd263175fb","datavalue":{"value":{"entity-type":"item","numeric-id":1698758,"id":"Q1698758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$606A18C3-025C-4B8B-86FC-37CB2B959F40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089030$F014A97A-4E8F-4CB8-A285-007A7C6E3503","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f6c1041a06d2e2a023683ce65513f6e1fd12937","datavalue":{"value":"https://arxiv.org/abs/1803.09660","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089030$EE08C403-8CFC-4789-8376-9F05F365FFC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089030$49F52D5D-C4D0-4300-BFAD-A341D917A5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089030$EA573B7A-3D86-4E03-888A-D2CAA6E8BE49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"787544988ad1ecf0d03c44cd3b6e77db63b337fc","datavalue":{"value":"7559294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089030$89DE0D2A-B552-423A-AEA0-9DB656C7CC97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089030$34C36DBE-F774-4EF6-BAD2-5FA82ED7F20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d6702a2c5a5c9c540a52abf48de6681a60cfaf","datavalue":{"value":"\\(\\lambda\\) calculus \u00e1 la Curch and \u00e1 la Curry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089030$04D26CC3-08A8-468A-B860-9DAE6CB4373F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbbd8a453296a803486823fc32d589c8045cabe0","datavalue":{"value":"proof-functional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089030$5D89A9B6-8B63-462A-B01A-33B76208D030","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":"Q5089030$B3EE141A-2D86-4A9E-9908-0CA9C73C5283","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba05a0e311e5019f3b9ffe419a12cc76d0b217b6","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$E4C502AF-9DBE-4ED4-9862-5D0F1712C11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266951cde9d4d6e205d84e7e17950c7492546b46","datavalue":{"value":{"entity-type":"item","numeric-id":1330311,"id":"Q1330311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$B8554766-D76D-4534-B80F-AA6FF1D8DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$68F61F4A-C24B-4864-A459-19125598ACA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$395D359F-09CC-48E3-A5A0-C49FE7AAA836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$685D94D6-E190-40CB-9C5C-CB526CC575E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58bac8b05930d86ccd381cb6bb868260ef747d9","datavalue":{"value":{"entity-type":"item","numeric-id":930870,"id":"Q930870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$FBC986C3-9DA1-4FD6-9715-598C50D96108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$BED091FE-D1D1-4D0D-855C-5E1C8663B7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f571a05eaf18325443e9c259ab198060f1372357","datavalue":{"value":{"entity-type":"item","numeric-id":4405687,"id":"Q4405687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$9ACA7CFF-5F51-4167-BEBB-7F94149EDC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1648bdcfaee094ba2a2bd47f6ddea0e5fb136a","datavalue":{"value":{"entity-type":"item","numeric-id":4916178,"id":"Q4916178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$646EF5B7-DF31-47B3-9834-9725900256F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$AFD6900D-180D-434E-844A-15526F99AE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a538718f218d7316878b6a0f618e6f4b8fbe9436","datavalue":{"value":{"entity-type":"item","numeric-id":4198724,"id":"Q4198724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$1FD50C68-7476-4228-843E-242B846CE8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$27C0D94E-436A-433F-B0D8-49EE4B8AA931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a12bb9749876bbcbed2acda0d97a5545d4fdef","datavalue":{"value":{"entity-type":"item","numeric-id":3179292,"id":"Q3179292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$9080209A-4FCB-46BA-9331-4CE79F211072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd35ad3ed3c5403a3e23d07e67d9bc49df575d8","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$0A630746-D5FA-4EE2-9B2A-EF4A09DEB0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa0fa44c6c9cd3510c10c27e4870f67bebc5f47","datavalue":{"value":{"entity-type":"item","numeric-id":5367047,"id":"Q5367047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$1BF27CE8-38C5-4ACD-9E1C-FCDABD066451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cdcabd01cb5fccf5ebd1fbfa2fc6876593003e","datavalue":{"value":{"entity-type":"item","numeric-id":2875228,"id":"Q2875228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$13D94157-B855-43EC-9EE0-03B4FD832274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbdadc2f831ecaaf8965dee386f688025216c37","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$EA3EB098-6701-4393-8D0D-6EA8E5D4BDB5","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":"Q5089030$CA5BF2E4-9EDC-4D7C-99F7-9337999E2DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1650ec8986b79af49285234bcb3522e3340bd0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3659755,"id":"Q3659755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$C2678C63-F062-4CEE-9F60-0CF05ECC806D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e650bcd8ac2cb860c8b65a185578a9fb209a5849","datavalue":{"value":{"entity-type":"item","numeric-id":787128,"id":"Q787128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$DABB199C-541D-4AC2-8EC6-9F2B3053CD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd99665d478e3aa86914f03437b5c26f5bec396","datavalue":{"value":{"entity-type":"item","numeric-id":5090978,"id":"Q5090978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$5D4FDF7D-8343-4CB6-A1F4-3E6EBF273BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e85818f5656fe54cf413d8e22228810b986efe","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$8F3E86A3-62F5-4C8D-B880-DB7062DDE399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8582acc7d508a3cf40bd0818e42f139e608a98","datavalue":{"value":{"entity-type":"item","numeric-id":2851086,"id":"Q2851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$B177BB99-0DA7-4749-9281-D0D70D5C46B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d5a6af42d172b77b05b13c0c63ca4f9ebeb6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$A9219692-0EE3-4C40-B233-14A9848CE655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb31d3a4dc0bcf4d27bee57a6c7f30b20af1e955","datavalue":{"value":{"entity-type":"item","numeric-id":1698759,"id":"Q1698759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$560F4892-33FE-4ADF-A11F-7B8D6E128333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8192a60062b4ffd5625199647ad409694386fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4723730,"id":"Q4723730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$98DB7655-1C24-433B-8C08-90583C5ADEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c81e5d29138fadaa0991012a6b61d4de992c19","datavalue":{"value":{"entity-type":"item","numeric-id":916636,"id":"Q916636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$614C2D08-440A-4B32-BFB2-CBCFCCBA8A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28d48517ea43dcf1dc2bbbada71a7d7b49291bd","datavalue":{"value":{"entity-type":"item","numeric-id":2778831,"id":"Q2778831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$30BA922A-09A0-4510-B98D-098DFA902D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbabfba459e8fc24d04e698b3800d11a2c4942a0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$6205CB4C-F19E-4CDE-84C9-93C6F5104CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ede811a5257f41ce2f10f1d1ac11a5fa75fb47","datavalue":{"value":{"entity-type":"item","numeric-id":3856734,"id":"Q3856734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$F2C82013-D7E2-455D-A64F-19C72C344507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ee5d0c73adce18f3256936b7a4f60db1e7e666","datavalue":{"value":{"entity-type":"item","numeric-id":2897957,"id":"Q2897957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$337EF610-6D53-4456-90B1-217B91A1A4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01a3a60293b8dcee3f22c6ba500443234c547f6","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$8674B2CA-649B-4788-ABA3-07098EE47357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$A5A8F317-A68C-4103-820B-D436B320798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e568b85d2406ebc28d3afbc3e86804d63d2e2231","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$E89D64B1-B703-4551-836F-F9DCAB0D4EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61ba215039c96cd178dc11f47607c7c5bc1d306","datavalue":{"value":{"entity-type":"item","numeric-id":558418,"id":"Q558418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$E8CF2E3D-C99E-450F-B8B6-6AAC2FD7B502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a413d72385fbce7e63ede411ad18800925449","datavalue":{"value":{"entity-type":"item","numeric-id":4501166,"id":"Q4501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$68E90E25-A8DD-400D-889B-3F69B8061671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2c30f25ec3cfab62eb3585cc72cd5d0d7469b4","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$C4EBC3D6-0B3E-422E-841B-5724F64B4A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20042831b1f6c6ecd30f7c56ffcc730575175375","datavalue":{"value":{"entity-type":"item","numeric-id":4542147,"id":"Q4542147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$8551D79A-0037-4743-8C29-FEC311D0A9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b829e11b7e086e434ca5f59894bd994b3f0b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738350,"id":"Q4738350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089030$983D2448-A357-4331-ABEB-9B843B4FDB53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"147a94bdae8b904c3e74eb2c6070c09c25b10af4","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089030$4AB44E8A-7CE4-4B4F-815B-8F31A5915477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3466e86a5bfa82e740242026be3785423a289d96","datavalue":{"value":{"amount":"+0.8011468648910522","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":"Q5089030$B49AFBE0-7F5F-4A45-A1CF-68DA71229ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0539e4f1d3900dbb280248137781289dc09d9872","datavalue":{"value":{"amount":"+0.7955206632614136","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":"Q5089030$DA530A68-E9AB-46CC-A020-D423D558F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe9e22684671de6b490667c5366106496076ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c4918d1038391037077672ef6a3435f38beac9","datavalue":{"value":{"amount":"+0.7769798040390015","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":"Q5089030$83017F66-FD64-48E4-BF5B-EF9420FE993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f582ac959fc668db450ba441af9b8b58a854f6e","datavalue":{"value":{"amount":"+0.7666036486625671","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":"Q5089030$1B3603DD-875D-4FE6-B5F9-42265419644D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a7a1389d90c8337ebeaae3326824bf72a6d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4364376,"id":"Q4364376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68921393b22e4fbe2ec749cb3222866195f5eebd","datavalue":{"value":{"amount":"+0.7580574154853821","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":"Q5089030$9FEB3563-A4A8-441F-AB59-BCAEDC4F34F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(\\Delta\\)-calculus: syntax and types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_%5C(%5CDelta%5C)-calculus:_syntax_and_types"}}}}}