{"entities":{"Q5049029":{"pageid":7078606,"ns":120,"title":"Item:Q5049029","lastrevid":37455621,"modified":"2024-07-30T17:38:22Z","type":"item","id":"Q5049029","labels":{"en":{"language":"en","value":"The Imandra Automated Reasoning System (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614691"}},"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":"Q5049029$6F656434-6ACF-4849-A845-E70B0F4F4258","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c01a7fa946cb79a6e71fb22982f8d7729ecae42e","datavalue":{"value":{"text":"The Imandra Automated Reasoning System (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049029$8163D800-0D85-47DE-B627-94583214C7E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71183cdbee3ad865be521492ec334cd63412f40f","datavalue":{"value":"10.1007/978-3-030-51054-1_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049029$31F6411A-94EF-4341-B9B0-3F0B1BF12ED8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"037c47bd3a9f6d2076fba3c04fc25dcf481756bc","datavalue":{"value":{"entity-type":"item","numeric-id":1687552,"id":"Q1687552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$D36F01AC-1CB7-4046-9682-B0096BFC3D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a9f5e5bd0fa3dcb71a8064e32b500788d0b82e","datavalue":{"value":{"entity-type":"item","numeric-id":5049023,"id":"Q5049023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$EFD32312-A374-4BFE-B0B1-4E2F529E497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19a774979f0eb4eb335328df7f3494efcc8e6317","datavalue":{"value":{"entity-type":"item","numeric-id":5049024,"id":"Q5049024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$9A04CA5F-7B15-44BA-96B6-D92931089963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad5d71bc3ab8550c5b88866e2f085bd811f575ce","datavalue":{"value":{"entity-type":"item","numeric-id":5049025,"id":"Q5049025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$9B644FD7-05E0-4A2D-84F4-1E4C542D4457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21458ed90eba06a4b5320cee95a728490ca80e8","datavalue":{"value":{"entity-type":"item","numeric-id":5049026,"id":"Q5049026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$9F9B1485-B6DF-400D-8B0D-F68ACB033314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe1fdbcfef4a5ec9b6f7c54d1debd837ccaf732f","datavalue":{"value":{"entity-type":"item","numeric-id":5049027,"id":"Q5049027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$26E58067-86A8-47FD-A635-4917001F90A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39eefdf43007a5db029de99b1444c96ff88fcb4b","datavalue":{"value":{"entity-type":"item","numeric-id":667525,"id":"Q667525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$5C22B3B2-AC5D-4BD6-A5BF-AD0DFB0F1493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb1de2b4723bde158bdb4e8bb85e8dea099904e","datavalue":{"value":{"entity-type":"item","numeric-id":5049028,"id":"Q5049028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$B8BE0759-3AF5-42A4-9CF2-2F02979CDED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"981d6b7ed8e1264cf10e16ebb66b8ed86de91604","datavalue":{"value":{"entity-type":"item","numeric-id":1725843,"id":"Q1725843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$69E9642A-BBDF-4E48-94F0-3A63FD711F93","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":"Q5049029$59EB962A-5378-4C48-95B1-D5CC444DA20C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049029$79993772-5F5E-4A21-BE8E-C396D8833ED0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ef594b6b78eb58404c724b4b422350b024a2387","datavalue":{"value":"https://arxiv.org/abs/2004.10263","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049029$8A0CF8C0-BAFF-47EB-9FE1-48615FB5430E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049029$C93C5A10-A11C-4DD6-AE95-DD69A334F6BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1622b3f45143da904dab5f3ca0c9d8ba6022e3a","datavalue":{"value":"7614691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049029$6EB670C5-987F-4C3A-9DF8-FD41962F523C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$AA5971F1-C91C-4CE1-91E9-A9BFB283E5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$6C179D28-73BB-4178-BA8B-31571FCC8488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$811A17E6-9922-46F8-965D-61D447257A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$BF9B7C44-EFBC-414F-BE8F-42A8B5AAC3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$68A4F36A-25F7-4F73-96C4-32D635D427B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$F8FD86BC-709D-4551-BCE6-9850E27C2F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"558f30dc5d63352dc8570d3469e69a1266cf5c13","datavalue":{"value":{"entity-type":"item","numeric-id":27543,"id":"Q27543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$0E4D31A2-170F-45A9-B62B-8B8E8814D66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0aae91b3cebe1e84c9813205ff5ebc7d8b0f6804","datavalue":{"value":{"entity-type":"item","numeric-id":18521,"id":"Q18521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$DDCA18BB-B631-4A87-BF2F-3630EE4D4054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3dc49212bb1ac953b456b7ee6d37c17258b97b9","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$B957B0EF-BDDA-48CA-BDE7-26089B8EABA7","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":"Q5049029$2CB42881-7A72-4E13-A0A0-D55C1CBC00EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51993a48550485b5171777c64669a6c016e97687","datavalue":{"value":"W3039412221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049029$2297A47C-50C6-47FB-BB3D-D13ED0DE0147","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$358EE1F6-267C-44BC-9D73-4F7CB951CD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03c46dfc7b75e41a2df8bca90ca883242552b78","datavalue":{"value":{"entity-type":"item","numeric-id":768371,"id":"Q768371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$E3483558-6E41-49FE-B50B-40C1987AAECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$468A261D-70ED-4B13-B94B-4C27C9BE5848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$6E9E63A3-B631-452A-A1D3-9199C275343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$95ADD20F-5C9D-42A3-8E5A-00A4323F029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d763717b639e10adfdb52f6d0aed821444ad5f","datavalue":{"value":{"entity-type":"item","numeric-id":2907353,"id":"Q2907353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049029$E9A94906-E1F5-4036-8496-16B9BB1D0423","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049029"}}}}}