{"entities":{"Q1699421":{"pageid":1710162,"ns":120,"title":"Item:Q1699421","lastrevid":68299353,"modified":"2026-04-12T22:46:32Z","type":"item","id":"Q1699421","labels":{"en":{"language":"en","value":"Choreographies, logically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6842772"}},"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":"Q1699421$95EDEB38-F427-4CC1-907A-2AF21F00F5AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0b620aeacbc675111b802886a07c8b32d86dbf2","datavalue":{"value":{"text":"Choreographies, logically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1699421$1B0F6076-5AA3-4A7A-8893-5E1526FB61BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9da2650ed5537a727e8961875c37a0a2ec041cee","datavalue":{"value":"1423.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699421$23470382-A8B1-476C-9181-3A1F37FF3957","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7517b690c534e40e88bd9289293078ef5979aac6","datavalue":{"value":{"entity-type":"item","numeric-id":1699418,"id":"Q1699418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$4F48F3E5-3CC0-484A-821B-EBA7FAC6E35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57af5fea054236740e1a458426a7dfa0813fa27e","datavalue":{"value":{"entity-type":"item","numeric-id":1699419,"id":"Q1699419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$8A8142B5-20D1-437B-B760-B6A016B87510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$2C7E91F7-9613-4CBC-BEB4-02D709FE3497","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$0FC93C6D-5E3C-4216-89E8-90226046F29A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44c8d8792d4e1b2a769791b541a37bbfc88219ec","datavalue":{"value":{"time":"+2018-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1699421$A166A74F-BD72-4C16-825D-0D4F38322CAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf69df01654f1ff90b6fffdc42174a7389bd1aba","datavalue":{"value":"https://portal.findresearcher.sdu.dk/da/publications/ccd494a0-74af-4b09-989b-9de5e268c89e","type":"string"},"datatype":"url"},"type":"statement","id":"Q1699421$1907CD59-3FF2-4341-8C51-730CDE139E2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699421$BCD4B828-7DD7-4FA6-9B54-B7440976C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699421$FF66607E-F380-4CD9-99A9-12E3075DF5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699421$D30A713F-43CA-4949-A9ED-FBADCA7C9F8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a42d997274da4a183303bf3670644766a65e7a95","datavalue":{"value":"6842772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699421$19DB18B7-DD60-463B-8D00-7152BD8BC7B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff57ee588ae4da6917a03fa2588ba6b563bf9ac","datavalue":{"value":"choreographies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699421$917CF7CA-C3A7-490C-BC78-EC96FB751612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699421$C5B8EC00-FA34-4F41-A05B-41B90D14EA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699421$8F2B244A-2435-44F0-8B48-20FD4BEE6507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1699421$39D1C1AD-1915-4A0F-813B-FA02084C1A4D","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":"Q1699421$A66FB4A1-65E8-43E0-8D11-20E8EBCC5D26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9440676c34713888cbcca2369bd7f50b424d79a8","datavalue":{"value":"W3187321874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699421$3EA1EC4D-DFF5-4BD5-9884-BBBB50F88956","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$342ABE60-49D1-4508-A949-CC6C17138508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163fceefea075b43c7a97126b1282dd624b40c36","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$4B877E6F-F93D-4242-9C99-F348F38B3D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28c6d46d9efe4b297e3a1a6bbd8015e0e1fb037","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$14F88301-84BF-46A0-B5D9-06CED29181C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f982ccf1638983550971b32200b3dd06cb60697","datavalue":{"value":{"entity-type":"item","numeric-id":3541035,"id":"Q3541035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$6E0375C5-5FF7-48F3-85F9-B9456A9F93AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$E0BD1F0E-4589-4832-A027-B8E6613B93E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$29D7552E-352A-4456-9DB7-02DA0D6CAF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666de244d9c6b7db89668e88f94a6cfa7deae5e1","datavalue":{"value":{"entity-type":"item","numeric-id":3617706,"id":"Q3617706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$1C0072DE-CD08-421A-B659-3A8D8572B339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a7e72b95a10f2dc9da6b549a054bde0a8ed786","datavalue":{"value":{"entity-type":"item","numeric-id":5756486,"id":"Q5756486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$B8773B8E-4E91-480E-B5FC-48082515A38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7faf3e30e31f599e1f4f084511504817c437a2f5","datavalue":{"value":{"entity-type":"item","numeric-id":2931801,"id":"Q2931801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$09D5BB50-73EC-415F-A1E4-1AEA883A039C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6fb22f32062d2c6d883869facfac25339de720","datavalue":{"value":{"entity-type":"item","numeric-id":2988384,"id":"Q2988384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$A2E3AF5D-F084-46C7-A143-7551E97DBC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$77FEF82E-5FEE-4735-A4AA-E34080C8E0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$C390834A-69F9-4D73-8F48-4E85BBD8EE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed979430371862e5f53ebd0e96b9fcfc6b9c286f","datavalue":{"value":{"entity-type":"item","numeric-id":2914373,"id":"Q2914373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$CA11F1F8-0B0A-4528-8791-C12E5B341F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b06fd6c62da767f6504b2fb11bdb7fedad24f27","datavalue":{"value":{"entity-type":"item","numeric-id":2819808,"id":"Q2819808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$D88C2E5B-3005-43E2-AACF-48FD12EDDF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178bd04ba6a1da74843798a6372f4c8b6771fb33","datavalue":{"value":{"entity-type":"item","numeric-id":5082192,"id":"Q5082192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$18A7EFB7-D9D8-42D1-A4A2-65E24BD99951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65643692e803769c582772c3f693aa8be8e4da88","datavalue":{"value":{"entity-type":"item","numeric-id":2842124,"id":"Q2842124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$890BECE7-8EA2-44AE-8991-3F6C855B15FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c2fcbad6542ce45729c4f97ee9845ed27114c","datavalue":{"value":{"entity-type":"item","numeric-id":2892750,"id":"Q2892750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$B50D2481-7D84-4657-A54D-469A56A4C7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$AF3124C9-BD54-496E-A21B-DEE82F5D7424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b3c64205d4c40af3ff992b08da0a8c0d27b403","datavalue":{"value":{"entity-type":"item","numeric-id":5326295,"id":"Q5326295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1699421$B90DCB34-F1FD-4A09-9205-9D4B9E82644E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d28ce45db6230ade4dc16a09fe7aba409669ef95","datavalue":{"value":"10.1007/S00446-017-0295-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1699421$D04DF79A-94A7-4BF3-A2B8-716B5B302BD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf95c8ba71df455afb13e6e95f35de32c6139688","datavalue":{"value":{"entity-type":"item","numeric-id":3190108,"id":"Q3190108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d31033a71b0b33de46b8bf0f798658697cd4dca3","datavalue":{"value":{"amount":"+0.9963460564613342","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":"Q1699421$02532FD8-47EC-478B-AE39-9FB5C0D890A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5edaa0628a9640a6b8875dede89fa96ad8514602","datavalue":{"value":{"entity-type":"item","numeric-id":5881532,"id":"Q5881532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a1fb36826d41a1b27b77ba53eb2dcd317868ca","datavalue":{"value":{"amount":"+0.8465245366096497","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":"Q1699421$D829978D-E0CC-4CC3-8AD5-E646C4A67403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39dc30dd993fa10cbdd4773b5018ce7f904a3cc","datavalue":{"value":{"entity-type":"item","numeric-id":2842124,"id":"Q2842124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f477c401df0951fed7e19d10bd23beea6fdcd276","datavalue":{"value":{"amount":"+0.8056191802024841","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":"Q1699421$203E882D-CB68-4EB6-8BF6-9661B52C3663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35bb12c35dda2cdb9dbb7b78295991a037ad6bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2988384,"id":"Q2988384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086eb6226cc57aeb160ff061586989c357da9e79","datavalue":{"value":{"amount":"+0.805038332939148","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":"Q1699421$DDE4D827-8C99-485E-A855-B6FB71522A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935cf242d9292f829ebbd2d04c80176c760eee3a","datavalue":{"value":{"entity-type":"item","numeric-id":2007727,"id":"Q2007727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b37c4f63efa9bb0a02f9a2d9fca0c5ca71a4ee","datavalue":{"value":{"amount":"+0.7985253930091858","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":"Q1699421$CEA494D5-04A9-44B3-9958-A91DB8851BA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Choreographies, logically","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Choreographies,_logically"}}}}}