{"entities":{"Q6535459":{"pageid":14146602,"ns":120,"title":"Item:Q6535459","lastrevid":55544911,"modified":"2026-02-17T18:34:15Z","type":"item","id":"Q6535459","labels":{"en":{"language":"en","value":"Certified compilation of choreographies with \\textsf{hacc}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786540"}},"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":"Q6535459$D8A32171-8B10-4FF1-9337-E3D53F47E929","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb6251acdf0494e082ffa41d676ede096aa84b5c","datavalue":{"value":{"text":"Certified compilation of choreographies with \\textsf{hacc}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535459$B9AC22A4-525C-417E-8C3E-6BDA8B99EE3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9146c19294c9dd7137644cebda91c4a5ded0efc6","datavalue":{"value":"1543.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535459$6179DD13-FC88-4CCA-92AA-77E951CA2FB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85a6bb70da571a0441d7366a9a772c50608fd3ec","datavalue":{"value":"10.1007/978-3-031-35355-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535459$4D3DD758-2C4A-44CE-A19D-6E435E0CBCE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"019239a5b99c9161ce4389de57414c8f40f605b4","datavalue":{"value":{"entity-type":"item","numeric-id":340573,"id":"Q340573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535459$701D7EDF-BA0B-4DDC-87A7-1155DF222CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffe08fb9b837940ee5e93e5cebd11ec759f9c17b","datavalue":{"value":{"entity-type":"item","numeric-id":6109476,"id":"Q6109476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535459$F7A48FA0-4E97-49EA-9405-B152C16AD8DE","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":"Q6535459$EF5A0592-D61D-4CC7-9EB8-CA0F26ED11C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535459$1E266CCE-BB85-41C2-980F-D693D69F3A98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535459$E09C8785-B597-48EA-AB4F-68AC2EB879E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535459$8D3B105C-7023-48CA-83CB-2A0651BC6957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535459$6ADDBF5C-2FAD-453D-9EEC-DB4A8736B6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535459$8D00C137-A78F-4F12-9F7E-21210269C872","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d9eea7f3b26a08a34cea258b6f2f6f88fd036c7","datavalue":{"value":"7786540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535459$804BB9D4-3070-443B-8528-F69615102F3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a6bb630b22661427fec676c54b22cd5bd4c28fa","datavalue":{"value":"choreographic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535459$DF43025C-E1F7-4766-BCA9-AD16D76D8CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ca03c072cdbfd6304f292d64049ba528d71b108","datavalue":{"value":"certified compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535459$62A70C28-70C0-4297-8723-E1E7FFA0EC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d61738c9db7f563f4ec4c1607681f9143de0b0f2","datavalue":{"value":"Jolie","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535459$00514CD7-2B63-4C03-AB0A-BA5DBF774B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535459$381225F5-2F13-49AF-9494-A2E3B41EA77D","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":"Q6535459$17312D38-E94F-4A8F-8492-EFDC5497EAA0","rank":"normal"}],"P223":[{"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":"Q6535459$CA0FCCEF-2BB7-414F-B129-7127F732805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21e3f32e86bf776a63848f800f3dd1623a66b92","datavalue":{"value":{"entity-type":"item","numeric-id":2007727,"id":"Q2007727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535459$B7CC4435-D3D5-4973-8E72-95A14C5D56AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8222387eff89953ab7f4ec69e362bf3c1b30cb94","datavalue":{"value":{"entity-type":"item","numeric-id":2119966,"id":"Q2119966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535459$AC3185F4-AF87-447A-9309-83B74C5D7C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9e8dc003b8bf5ba026715517286f559c6f5e94","datavalue":{"value":{"entity-type":"item","numeric-id":6099602,"id":"Q6099602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535459$1E7AB341-CB8B-4F68-A0E0-4724E5DC6286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928c10ab08a8d701c95cabe4d02225fa64b9a266","datavalue":{"value":{"entity-type":"item","numeric-id":6161233,"id":"Q6161233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535459$BA9D0660-1DE2-4144-8B0E-FEC7B8659560","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":"Q6535459$E19B0D54-995F-4444-9964-D6C87D813A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6791f3e085b5e70981abdc04d407a28ff0f651","datavalue":{"value":{"entity-type":"item","numeric-id":5168887,"id":"Q5168887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535459$A38724C0-C536-4329-A859-3DF3BFA4D419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7fd1a8df7c91a47f70584117b1c8650243d489","datavalue":{"value":{"entity-type":"item","numeric-id":6572567,"id":"Q6572567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535459$8F183775-B390-4D14-8D3F-A1749A307C37","rank":"normal"}],"P1643":[{"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":"9c9743511b6150ef3b04cd014ca3fbc07e5f96ff","datavalue":{"value":{"amount":"+0.822878360748291","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":"Q6535459$EF12EBE0-27F7-45A7-B510-F38D6ABA3BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ab1ae35638a961a976fb229718500e035039f0","datavalue":{"value":{"entity-type":"item","numeric-id":1699421,"id":"Q1699421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd79c7049f51e7a562214bb88f2edf09c6ba188e","datavalue":{"value":{"amount":"+0.8079865574836731","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":"Q6535459$47711F94-7DA5-4946-A7DA-4D9C9F470BD1","rank":"normal"},{"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":"bb989a3d794fb1def2ce474fc9e1582c24c9b9a7","datavalue":{"value":{"amount":"+0.8043461441993713","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":"Q6535459$FC7B2164-0C38-4F94-933F-16AA1EF92E16","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":"c601d28ca0fc95329ec57f346eec41ad2204e2d1","datavalue":{"value":{"amount":"+0.7697038650512695","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":"Q6535459$EE0B46B9-D1EE-4186-B487-5F5CB4F81FBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535459"}}}}}