{"entities":{"Q3591069":{"pageid":5620973,"ns":120,"title":"Item:Q3591069","lastrevid":49637020,"modified":"2026-01-08T13:44:22Z","type":"item","id":"Q3591069","labels":{"en":{"language":"en","value":"Reasoning Support for Casl with Automated Theorem Proving Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189198"}},"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":"Q3591069$F9DAF4DD-7D32-4B88-B4E0-634B1C671717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36907e8dfca9af18fad025a5f93efc9a9d948581","datavalue":{"value":{"text":"Reasoning Support for Casl with Automated Theorem Proving Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591069$88B0DFF0-CCE7-4FDF-AC7D-12A13337F620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"724ff130dd9d86095b29403c853f71008fea29c3","datavalue":{"value":"1196.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591069$4FD050D6-25C4-4118-8FF1-39D3440B7212","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e8e6b5e77eb47c63c356fe66c4b2fc3826fa81","datavalue":{"value":"10.1007/978-3-540-71998-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591069$01DE1EDB-B372-4A68-BE29-0640C4613944","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfad7572881b52ded8a152a5fc6e7f85b270e4c0","datavalue":{"value":{"entity-type":"item","numeric-id":3591068,"id":"Q3591068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591069$BF7793EC-C567-4D5E-AE13-E22D389055F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591069$2B108FE3-B052-467C-9EA8-2D81770FFE4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591069$C47FF591-3D76-497E-84C2-EF0B69B81AAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591069$B13D038E-76F7-4934-8E48-D5B92FEAEE67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591069$CB56D882-FCE9-4BC9-ACAD-1B340FBAA5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591069$670A8563-4436-48DC-9BB2-4D7E0416991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591069$D5DBB218-5E00-4477-947E-8BFC73608A1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b29c6f29325de6c23809f4637037d111d35b0a2d","datavalue":{"value":"5189198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591069$FC8341BA-9999-4488-8EBF-B7A32D04DE88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591069$F4EF07C1-0F49-4F40-88A3-D2B80E530349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591069$02C8523C-6D1D-4E85-A9B3-436BC0BBAEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591069$62E8C0DD-19BF-4B54-80FE-34BE2861EF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591069$3168B905-DE72-46E8-B732-569EDABFAEB7","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":"Q3591069$17B7DCED-491F-47BA-B71A-8B8DB31D96BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d253195c94cbd82b2569e8ac5e7c8119c4afb502","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71998-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591069$394BA89E-CF09-4448-BCFE-8D35B59661B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9da7e49b88548850c59c40085dc3345747fb8b11","datavalue":{"value":"W1508520904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591069$A3331B87-B6AC-46DE-AC69-6B32A8A74B79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13e603d3ef78e53a76390919686761468084ba2","datavalue":{"value":{"amount":"+0.8777333","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":"Q3591069$22ECC3C1-8167-4C78-956D-926BAB9FBA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16053aace68649c794760ce4ef92c7682971b50d","datavalue":{"value":{"entity-type":"item","numeric-id":3978317,"id":"Q3978317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb55261e370f7223c1eb236dfccfd6a21bc9667","datavalue":{"value":{"amount":"+0.8747444","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":"Q3591069$389EB27B-F1E9-4D37-B383-0D0B14AE12E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1696632c06752ae8e27f36a7ca286b336eeab49","datavalue":{"value":{"entity-type":"item","numeric-id":3455840,"id":"Q3455840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9fa2ef0418441ea5cb923d032a30093f32eb42","datavalue":{"value":{"amount":"+0.8745191","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":"Q3591069$6CA95466-0392-4009-B6BD-BBA6A198614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65a922afad6669ebb3177968535fc6193307764","datavalue":{"value":{"entity-type":"item","numeric-id":2996173,"id":"Q2996173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3579bf476209ace79db17f09f490e64c86e0aaaa","datavalue":{"value":{"amount":"+0.8740214","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":"Q3591069$54139804-3702-4C7C-A8D0-9C718BC8331F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a42fe5b10cd7a85cb73b625a16f6530f794c72","datavalue":{"value":{"entity-type":"item","numeric-id":2385426,"id":"Q2385426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d78bdbc7e301363ae430f0aee0125a7159ab85","datavalue":{"value":{"amount":"+0.8736007","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":"Q3591069$68E4CC54-7BA1-4C4B-B666-C8F653C3EF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139ec918f6b4972880665f4c6ce4534e328919e2","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5ad1c63f92dfecdb304159f30833f5e19822b6","datavalue":{"value":{"amount":"+0.8735686","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":"Q3591069$18D53C2E-EEEC-468E-83E3-314A35331227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455dc3c61ba2eacddf023338317bf5e053474959","datavalue":{"value":{"entity-type":"item","numeric-id":6488523,"id":"Q6488523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae5c6e342bb452064aa5e7463eca8f4a5de199c","datavalue":{"value":{"amount":"+0.86817807","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":"Q3591069$C4F330FA-0D89-49C3-ABB6-509690E92D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1579a6b1e86a945b2f338192e04f1f3eda0b42","datavalue":{"value":{"entity-type":"item","numeric-id":3490992,"id":"Q3490992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923000c37b9e10e9dc1ce93391542cf6725a988b","datavalue":{"value":{"amount":"+0.868178","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":"Q3591069$B40A5CC2-82B8-4D74-B4F5-8E47560B847C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591069"}}}}}