{"entities":{"Q347391":{"pageid":349158,"ns":120,"title":"Item:Q347391","lastrevid":61193196,"modified":"2026-04-10T21:46:20Z","type":"item","id":"Q347391","labels":{"en":{"language":"en","value":"Formalizing semantic bidirectionalization and extensions with dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6658145"}},"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":"Q347391$41022F5E-A93C-429F-9B7C-9FD3BF39A994","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69ccaecdc47cb57944e3169a5424f0b92d2446b1","datavalue":{"value":{"text":"Formalizing semantic bidirectionalization and extensions with dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q347391$0FDFAC08-1094-4427-A6AD-5EC672286195","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6583d799ab96cbc5e57273e530f8ee839b167189","datavalue":{"value":"1353.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347391$EDAA1D09-B23F-4801-9AF1-2167B3BF6994","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ae8f9a2e997df966bc8b7cca201db7819889796","datavalue":{"value":{"entity-type":"item","numeric-id":347389,"id":"Q347389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$8909A713-96D3-40F5-92D1-AF943040DF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$42233B77-B5E2-455B-B537-7258F29381C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$78B0E31A-25B1-429E-A370-092714308228","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q347391$B11F9C68-AB9B-4BA6-A9F5-74D13D934855","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347391$567A6D60-D6B4-4F7F-8C0A-952BA597F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347391$A15CC105-4179-44B6-9879-74D6D1DEB977","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b77224ed354704bf7ff65ae39952f151e9f7b98","datavalue":{"value":"6658145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347391$17EB52B3-528E-42B8-A22B-4447F3CC6675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c14d4331d15297d1cfc08da8084f77f4a16e08","datavalue":{"value":"bidirectional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q347391$0D1C1205-D809-4DB8-B675-AAB8A0C62141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q347391$8CD6CF35-468D-4D92-855A-4D4DB7CBC916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q347391$F03C9E80-5165-4D61-B2E6-B5ECC44B4541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q347391$3D82963B-26C2-40B8-B504-56BDA3F182A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$25761218-58F2-43C3-8236-1FAD10E09597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$A019AE8A-DEEE-410A-98DF-D6F4B1118F83","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":"Q347391$D43A5048-1AE5-4DDD-994E-E225BD60EBD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5c37c0c3e1a7d6deba3966227da2f8d2a9cf383","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2016.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q347391$83A84E97-6AD2-4653-84CF-5B182A57BC44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"220390af95a183d8acc3b122b5c2c0c4af77c455","datavalue":{"value":"W2473813316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347391$24B8A486-5DB7-45CE-AC05-005FF43F1925","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$2E588967-892F-4957-95B5-E6FF8D3E3893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$B132927A-F3A9-46EE-8D9A-91DCCB9CAED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ee72dfb42e2ffc1454ffd9bb23bca2c64af87","datavalue":{"value":{"entity-type":"item","numeric-id":3917520,"id":"Q3917520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$B24E20C0-B130-4E9E-B6BF-C7DFB122EB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26be07e1b0f74693961d9bc40d199ed44b0c024","datavalue":{"value":{"entity-type":"item","numeric-id":5244789,"id":"Q5244789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$365D343A-AA0B-47BD-8C84-EB9C7392A132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fab8824d82d4ca6fefb7d000ea15dc3e260bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$2FF42F81-FAF7-4FC1-965C-6484FBD6694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12caf5d5968fec1b9db712fb0d2c4b1513fdb491","datavalue":{"value":{"entity-type":"item","numeric-id":5168886,"id":"Q5168886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$5CD94844-9A5A-426F-B8A5-245B03ECEFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aea8e681efb8035e811bf81566cee467f9c1736","datavalue":{"value":{"entity-type":"item","numeric-id":5271091,"id":"Q5271091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$AE90B330-E42A-4748-B05C-E63B57F3FE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7219a77f1c7bdc9906132105295805651aaf2e07","datavalue":{"value":{"entity-type":"item","numeric-id":4649378,"id":"Q4649378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$F9751CC1-9100-48EF-8DD2-A0A847F54BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35c71ea544048215cc5ba3564c68bbfc0a79234","datavalue":{"value":{"entity-type":"item","numeric-id":5176941,"id":"Q5176941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$DE99A57B-70F1-45D8-BA15-14D2B7A3089D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3dea0d1eba6066427f5ee3e49463104a50e0be","datavalue":{"value":{"entity-type":"item","numeric-id":2271900,"id":"Q2271900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$29425346-4268-47A1-8AEF-D84327345364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfcf48843f5b730f4edf2631bb1b538cf77aedae","datavalue":{"value":{"entity-type":"item","numeric-id":2981943,"id":"Q2981943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$677704F1-6625-42DD-8699-D6AABCFE5157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d1b5dbabfa4a05e9cbd66d4a8f6f09652433d","datavalue":{"value":{"entity-type":"item","numeric-id":5168924,"id":"Q5168924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$B6E622AB-C2EC-40AE-BF39-262B96820B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$920F2985-B48D-45EE-9846-4273A5C02A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff9ed74bfc734a0735a31103b9d379dc0b6c57a","datavalue":{"value":{"entity-type":"item","numeric-id":5261515,"id":"Q5261515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$A73A74D3-AD3A-4EB2-B9C0-488E54CC88F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e06bb8a67cdb3e853167b6df69df0e106a474d4","datavalue":{"value":{"entity-type":"item","numeric-id":5398330,"id":"Q5398330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q347391$E1142C11-DDA0-4E3D-8742-51395F662D84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"090d29aa4aa2345aeede36554ce10942dd4ccebc","datavalue":{"value":"10.1016/J.JLAMP.2016.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q347391$9CFE8BF5-3BEC-4EF9-B8CA-1EC4D94AA345","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944a717e298ebdc837e820119bf9aa6c070d3fb2","datavalue":{"value":{"entity-type":"item","numeric-id":5398330,"id":"Q5398330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16e5e058b0bf9b5ed0b1ec40c9e2d52472e40d0","datavalue":{"value":{"amount":"+0.812618613243103","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":"Q347391$0E0A0657-4975-4253-A766-890AFCCA13DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cccbe8573f478a12c9065731a1666e03915ddae0","datavalue":{"value":{"entity-type":"item","numeric-id":5261515,"id":"Q5261515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1a52093de94890973e056f7133bb306f83777c","datavalue":{"value":{"amount":"+0.8024371266365051","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":"Q347391$65CACC74-257D-4259-9EA3-4DACFA3EF99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2abda4864b7917f3f1e115a163693428bbe0054","datavalue":{"value":{"entity-type":"item","numeric-id":5168924,"id":"Q5168924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc27265dfe804644279c694c715f220db02b5558","datavalue":{"value":{"amount":"+0.8010281920433044","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":"Q347391$A9C29A1F-ECCF-464D-B3E5-7C67D69595E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6063fd0576edc553c73fcbbf2d1ca2c868ab0d41","datavalue":{"value":{"entity-type":"item","numeric-id":2981943,"id":"Q2981943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0808077dc9ea4b5c7be6b55c2e5609663bd0de98","datavalue":{"value":{"amount":"+0.7752500772476196","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":"Q347391$E456E2C5-5867-43FC-A8F0-32C47F5122F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e620453efb4f15cc622a9d9ecb53555c14aede6f","datavalue":{"value":{"entity-type":"item","numeric-id":5176938,"id":"Q5176938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ed7c4e6fb5fd906b31f18bd67083cd97617321","datavalue":{"value":{"amount":"+0.7417705655097961","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":"Q347391$784B6361-22C6-42CE-839B-E9C6C6C14C13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing semantic bidirectionalization and extensions with dependent types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_semantic_bidirectionalization_and_extensions_with_dependent_types"}}}}}