{"entities":{"Q3637261":{"pageid":5667167,"ns":120,"title":"Item:Q3637261","lastrevid":50705078,"modified":"2026-01-14T21:05:18Z","type":"item","id":"Q3637261","labels":{"en":{"language":"en","value":"Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576962"}},"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":"Q3637261$6298E239-EACF-47EF-92D8-810AFC8D5B06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99fbdf021894d47b2f2825fac1c15d09dd56124f","datavalue":{"value":{"text":"Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637261$4CFF5FC1-EAC7-48CE-8892-5B4FDFC49571","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11706466a2c1c58176742a079a2c5227e1a52197","datavalue":{"value":"1247.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637261$88C64CC9-0CA2-4DD3-9F2D-CA7133B7BA9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1faa9ad087d9115361be882a89a7db315c1eb0f","datavalue":{"value":"10.1007/978-3-642-02614-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637261$C5ADFAB2-9365-495E-8EE7-9BD8521D78DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"515a67935bb2e545e190d6b12bb29b799e3c1b0b","datavalue":{"value":{"entity-type":"item","numeric-id":937219,"id":"Q937219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$CC7AA667-0CE1-4232-95E8-A9533213EC33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$798D672F-1F5B-4477-862D-08FBB0C07A97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-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":"Q3637261$FB45E627-0833-4FCA-BD29-D8025D57AB3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637261$5AEFFCE5-E947-4EAE-9CC8-B043B6D37A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637261$61D787F5-BBA6-4CA0-93BF-71E16F60F6CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c7a4058b1b5ba65897ad178cee312fc38a3c195","datavalue":{"value":"5576962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637261$AE92D06D-BC32-4702-B990-39C9BCD30474","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fece5b20889a2078780548497bf4af8c0810a216","datavalue":{"value":"mechanized reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637261$456C7448-2AE1-4B39-B5FF-EA047EA2DF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637261$4AE635FE-3071-4C38-B15A-AD526A5B5349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a66d10ca829bdfafde017ad426d77c072b74009","datavalue":{"value":"computational modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637261$F9C402AB-D76A-44EE-AEB2-D859ECB9A31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637261$EE310B57-AD68-483D-BAF3-F934A34721EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef5ff3bafded397daf38f269c41cdffa1d8347d","datavalue":{"value":"agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3637261$67F9C27A-0817-408F-A04E-967C48D6E76F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$AF1DF543-E532-438B-B02B-0774F47EF4F9","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":"Q3637261$00A8EE4C-95A1-4C68-A8B9-9101C9F737A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5497d89dd81a9b17562ac033273769a70a61d57c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02614-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637261$19CDA2E3-AA37-4019-A522-C00931FA3C36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c78ddf876c762886045407d7629d19170e86ddb","datavalue":{"value":"W2345778286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637261$5A2DAE63-C5D5-4DAE-9040-417D1917F006","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8010351f4dc0860c14e6dcb7fb3cf905d38ce3ee","datavalue":{"value":{"entity-type":"item","numeric-id":4934140,"id":"Q4934140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$44440882-0B12-4CBB-82D6-AD872E29B350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fc7bf146a2055b1c42e66bf95ada5087edc7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4385445,"id":"Q4385445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$6E3FACD3-25EE-4554-B5B1-AC83C3041630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560471022f6ecb917f23f24506d0ef68775781cc","datavalue":{"value":{"entity-type":"item","numeric-id":3021908,"id":"Q3021908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$B7A1B62E-B42A-48C7-9B73-6479189EA6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77136a813d2edf190857b8117dbf829911399fb","datavalue":{"value":{"entity-type":"item","numeric-id":2640350,"id":"Q2640350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$983886CD-5309-4253-A4A2-76B2BEBD12C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601d6ae0fd7cbfd26378c24f94774f1bf1d1becd","datavalue":{"value":{"entity-type":"item","numeric-id":4385442,"id":"Q4385442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$C0CEC275-F085-4B95-A26F-14AF24C00B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$C93266C5-474E-4E08-8575-52E860196171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405436cc00976353a4262985c44bef1a92c618ac","datavalue":{"value":{"entity-type":"item","numeric-id":3150942,"id":"Q3150942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637261$ECC33BEA-F499-4DBF-81F6-605A499832FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165096f364382806074d5e875cb278629a15da93","datavalue":{"value":{"entity-type":"item","numeric-id":4499164,"id":"Q4499164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e855642a6b48345c41a406daa315139b23bf8039","datavalue":{"value":{"amount":"+0.6884567737579346","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":"Q3637261$F995651A-D12E-4E04-ADE1-318A0936C7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb894f61d73903b4850e0f8affce8c9866828664","datavalue":{"value":{"entity-type":"item","numeric-id":5931115,"id":"Q5931115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e102b970efd49ced4e319307121a455b16313fe3","datavalue":{"value":{"amount":"+0.6760267019271851","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":"Q3637261$CC47D322-0289-4584-BE13-9BF4635E7686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80ce80cf80863392ca87d27f04a777d642a4e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1404691,"id":"Q1404691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e102b970efd49ced4e319307121a455b16313fe3","datavalue":{"value":{"amount":"+0.6760267019271851","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":"Q3637261$0F5202E6-E59D-472F-9682-9E5D3221F9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043441c46c18f45389f263bc5835ac20e12a5764","datavalue":{"value":{"entity-type":"item","numeric-id":4222995,"id":"Q4222995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e5bc4099979fd5bdcdd92128ce298f04706416","datavalue":{"value":{"amount":"+0.6756647825241089","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":"Q3637261$DCA47F85-5927-4285-A99B-3933D60C8B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a99606c904bf3262d15e460058d95f88a306e1","datavalue":{"value":{"entity-type":"item","numeric-id":4934140,"id":"Q4934140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0182b9bde78b38fc3ed9c1cde1af6f14ca702f","datavalue":{"value":{"amount":"+0.6517662405967712","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":"Q3637261$5668137A-00BC-4343-BA28-7B22A733EB7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637261"}}}}}