{"entities":{"Q5327359":{"pageid":7356933,"ns":120,"title":"Item:Q5327359","lastrevid":40961227,"modified":"2025-04-16T01:22:07Z","type":"item","id":"Q5327359","labels":{"en":{"language":"en","value":"Automatically Generated Infrastructure for De Bruijn Syntaxes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196178"}},"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":"Q5327359$87AC5A2D-0E79-4621-9120-0FE735DBF434","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1369c489d7b40399c2478b32f9e423ecd0b2cf3","datavalue":{"value":{"text":"Automatically Generated Infrastructure for De Bruijn Syntaxes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327359$E46AEE91-5E50-42E2-88D8-87F1585CF992","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6cf9ad8e5ca75a3efdd7633d8544f358fda2ea0","datavalue":{"value":"1317.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327359$88F68002-A6B0-40C3-9DA0-FB77ED664AB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a318d8b06e79040415c6111a4272e9c1e9a36084","datavalue":{"value":"10.1007/978-3-642-39634-2_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327359$B86D2E9B-B08E-476C-929D-52F5CCC3290B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"169ae84668f51a3b0c677acb49053801d20f842c","datavalue":{"value":{"entity-type":"item","numeric-id":444459,"id":"Q444459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327359$975DBA1D-7496-4517-8AA4-28C02B7132A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327359$6710F0C8-949A-4728-8818-DEB57421D59C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327359$A17ABC7F-87CE-4709-B22B-B3E409895D7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327359$DB53B8A2-D5EA-4AA9-866A-C34A2EAB71AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327359$B16365D0-2D79-491F-8FE8-44230923B971","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a82565e7e09a62d3dc583e3d0591a547e829f8de","datavalue":{"value":"6196178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327359$1B20D09B-3120-4857-BB10-EB1C3D36D490","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a811c1120978504cd1fe9e7007a4a8eda5a1eb","datavalue":{"value":"de Bruijn syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327359$41E1D975-8164-47F1-8755-8E0247CB91E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327359$767DA14B-2FC2-4AD4-8799-20D98EB95762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c5703af6e95ac52e6624a84cbf5718d38ac6ee5","datavalue":{"value":"infrastructure generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327359$A52345EF-4A99-42DB-9154-D8BB82B7A53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327359$82FD8FCA-F0BD-4CAB-99B7-722458C91D09","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327359$26D6E8CA-42BB-4DE4-B89F-16C9D5A81A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f33772b1efac1b40040403bb4a30ea74734e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":22079,"id":"Q22079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327359$127D52B8-7F8C-4CAB-959B-E4260037C01F","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":"Q5327359$6C98B50D-08CC-4BBE-AD9B-BABED696524A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"796dde29f5990aa8c59b67f9f53c2b013d642b04","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327359$83B8AE4E-F154-4C8C-BD28-9B4EA3206126","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0854ac77db7a2ee50ab23108c5b71a84f91c012","datavalue":{"value":"W184345177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327359$C060EAEF-DE35-43FD-9B17-BB2C59FCD969","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f45133eade30a972fafd8385cf8f2dd209c064","datavalue":{"value":{"entity-type":"item","numeric-id":2945649,"id":"Q2945649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d17da6fad439625b5a00e7ec1ca718abf6398a5","datavalue":{"value":{"amount":"+0.8290094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5327359$F63F3BDA-4C0F-4444-A735-CD5C4A1A88B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a7cbfae96988de40d142800352ce5d854d849c","datavalue":{"value":{"entity-type":"item","numeric-id":5493904,"id":"Q5493904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202d4f0b437134dd95407be45bbcadb777c83264","datavalue":{"value":{"amount":"+0.8173031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5327359$13095BEB-C8E5-48F2-994D-25D0CA4F2416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b17e976372da11f7198b4151753760d0917e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4598934,"id":"Q4598934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db7a4e915215f65c75eb4e591ca84a9358ca1a2","datavalue":{"value":{"amount":"+0.8161919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5327359$E12C9D09-3D45-47ED-A468-6788E0613006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7833589864992435f2c17af7eb9eda140bb9988b","datavalue":{"value":{"entity-type":"item","numeric-id":5483786,"id":"Q5483786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f030242370e844d9d1604d00f7135fec317b041","datavalue":{"value":{"amount":"+0.81532633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5327359$9D974BFE-E58F-41A8-9563-828C9DDA7D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82dca5e7ed45788552c1c9b7d0b37f288642159","datavalue":{"value":{"entity-type":"item","numeric-id":4725776,"id":"Q4725776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558ce1bccee0e0ab31ae7049665b9ddfae806564","datavalue":{"value":{"amount":"+0.8150449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5327359$933491F5-AE3F-4AD5-B379-D39331435F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cb5cd464b164ea1acb873ebe4a85f44b92d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":912589,"id":"Q912589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ef79e46a56e36ba85ce7e5601f1cf864cc0e71","datavalue":{"value":{"amount":"+0.8130784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5327359$2497490E-9966-43F5-BD5C-D95322E13738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f3fa9a31b0a0bea3dce148e824991f0ac3bf655","datavalue":{"value":{"entity-type":"item","numeric-id":3182943,"id":"Q3182943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad9781fb1f96bd87369b50477442684a3c9de60","datavalue":{"value":{"amount":"+0.8122021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5327359$458EFD4A-2FCE-46EE-B4D4-A0DCA70C59E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b53d4deeaf1192ed44f130f965a49e0cb37a22","datavalue":{"value":{"entity-type":"item","numeric-id":2182674,"id":"Q2182674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecfce4b89d862f9c03095c59eac6ace9e6b881f","datavalue":{"value":{"amount":"+0.8105984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5327359$B09821B1-126E-4CA5-807F-C08C36ADE1F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327359"}}}}}