{"entities":{"Q5747747":{"pageid":7777298,"ns":120,"title":"Item:Q5747747","lastrevid":41578591,"modified":"2025-05-06T01:17:06Z","type":"item","id":"Q5747747","labels":{"en":{"language":"en","value":"Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785433"}},"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":"Q5747747$E18549AE-D2DB-4BBC-9DB6-147B8D7C6D55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"615d007d96be0bebe9969cf993a0a265793308cd","datavalue":{"value":{"text":"Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747747$0AC65D2C-CE2A-476D-9C40-358966B7B058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9956d62f194d8c908dc2d52e1136993679735d6a","datavalue":{"value":"1291.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747747$52EE2208-59DE-4279-9FC3-984FDEE9D37B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e48ae4822384f32b55c6df1e3d802f62da6c27f","datavalue":{"value":"10.1007/978-3-642-14203-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747747$02CD900F-0DF9-42A4-8387-F0DC534A7557","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$14F809B2-648B-4DC4-86F3-88F88388CFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a3dd97e3ae63113fc79622348c5b532c90422e4","datavalue":{"value":{"entity-type":"item","numeric-id":2804941,"id":"Q2804941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$128EDF68-8112-493E-BE99-FEEC684AF4FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$9E9B555E-FCF6-4C38-B912-EE50990C447C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747747$8399D82F-8393-4FC1-8871-440949CE85A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747747$24678AB8-9DFF-438D-AC03-52C81E6474A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a61feac658379e7ce73818b9911fe6a48efdadf","datavalue":{"value":"5785433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747747$5F290B42-26BA-445D-89E1-798ABF87860D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$02814B14-16CC-45D7-BD03-5B43678D0759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$97C7C20E-7560-4157-8BE7-2BC3817F4532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86fd017762a2cc84520acf70ff19531594c257aa","datavalue":{"value":{"entity-type":"item","numeric-id":33173,"id":"Q33173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$494CD5E2-8E7D-471A-8F97-6AFA0062729E","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":"Q5747747$C90BE15D-14DC-4460-B4E4-7A525E3ABD8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa8b61a3d38a0bbab3dc6f4092e47e037f458321","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747747$F1EC6A77-6CA7-4A21-8829-3D8091A8C54C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcbde8e844e24bf7bed94c802717e9ac92c36155","datavalue":{"value":"W1536129331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747747$C9061942-ADD3-4764-8CF5-AFF9C641C0E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3dac70721402a09d65f93017a3ee67f0fd9d1c8","datavalue":{"value":{"entity-type":"item","numeric-id":2804942,"id":"Q2804942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$E175688C-794E-433C-A0BB-C67B409F5885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$F1051ED5-FE8C-468C-A134-B9EE214F11C6","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":"Q5747747$4EF3CD6B-BE18-4F6B-9466-416AFE756EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$8CF05CEF-83BC-403A-AEBC-264B563859E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb811ffb310e4f60d472ad49ae363ee7f6ba0c8","datavalue":{"value":{"entity-type":"item","numeric-id":2871875,"id":"Q2871875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$9257B3C3-C7A0-4659-9079-B27353B045F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783eeff4fefb7d3d309527adb5e1675a1a875a35","datavalue":{"value":{"entity-type":"item","numeric-id":4812964,"id":"Q4812964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$02178696-50CB-4E2D-8EBE-01E1BE3ECF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441ab522372dbc56337549e9359e4e2646de59a9","datavalue":{"value":{"entity-type":"item","numeric-id":850496,"id":"Q850496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$DB94F71A-7A6A-45B3-9595-AC50A78BC00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747747$F0AC9E45-48A2-4782-B333-18811D0D7B09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e33e457f7db49955c91c8e7cc6b9ca2501f5a8","datavalue":{"value":{"entity-type":"item","numeric-id":4557745,"id":"Q4557745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9703f206647bdceea2948ef23065ec1cafa7902c","datavalue":{"value":{"amount":"+0.82966274","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":"Q5747747$E8C8A449-ADF4-42E9-A7D7-E376E1059D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e5ac7661f403ccd09bf507d877adbfbe4ab89d","datavalue":{"value":{"entity-type":"item","numeric-id":4215638,"id":"Q4215638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288a918c47de7b68e4541c3f0dcd4fee2d935ffd","datavalue":{"value":{"amount":"+0.8283777","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":"Q5747747$0E1322DE-7C94-4B05-8138-2D9F5B578AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29925a031fc724c2f96f867c77856355cdd94f60","datavalue":{"value":{"entity-type":"item","numeric-id":5395253,"id":"Q5395253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a44d74cb772457211bb679844cb590687ae90cc","datavalue":{"value":{"amount":"+0.82714367","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":"Q5747747$70AE77B9-DD19-4C81-9C30-3249021125BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03332436084c70a41cab1120643c593a27ab6312","datavalue":{"value":{"entity-type":"item","numeric-id":4835514,"id":"Q4835514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9e2f575256e617754f9efd5de834a8c5ef1e2f","datavalue":{"value":{"amount":"+0.8202783","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":"Q5747747$D37D309F-5345-497D-8DC9-E09C9BF849F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca3044358064642f9e5557741bc4f29fa37c8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537432,"id":"Q4537432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4847d2c733a92d3975f37f4fc942e26050ff9c7b","datavalue":{"value":{"amount":"+0.8202782","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":"Q5747747$08C871DB-9F08-492D-95D8-0AC5154CBB27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747747"}}}}}