{"entities":{"Q4884066":{"pageid":6913645,"ns":120,"title":"Item:Q4884066","lastrevid":41905141,"modified":"2025-05-14T14:19:57Z","type":"item","id":"Q4884066","labels":{"en":{"language":"en","value":"Computational reflection via mechanized logical deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 898194"}},"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":"Q4884066$2416DE33-9A84-481F-B54F-46AC81E5EB6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"644b7c49ae00a124b7c2366e3040606e66477926","datavalue":{"value":"0854.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884066$E797A3EB-6068-479E-BD35-F075A093ABAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884066$45CB28A5-3861-4A4C-9CF3-480A06D24096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"943c650392a3817201cf599afc27db772c982eba","datavalue":{"value":{"entity-type":"item","numeric-id":1380426,"id":"Q1380426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884066$DFE0E5E8-74C1-4718-BBDA-49D649FEBD68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf43ba359bf7522f1609485030d4b049bb90896f","datavalue":{"value":{"time":"+1997-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4884066$13D59B4A-E981-4862-A4DA-229942651567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884066$1FF5A0D9-4256-4D55-BD8E-8B49A7371511","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0693661fdfba3049d375b0951170918d72536f","datavalue":{"value":"898194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884066$680608C9-EA91-4120-B199-99DB6589A2E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"495837453a17128afcc288af91b8f2c3bccf20ad","datavalue":{"value":"computational reflection via mechanized logical deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884066$6F350832-5AF0-4D4C-A89A-C9C565C1ADEF","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":"Q4884066$06F8F460-C67B-49AF-BD8D-080E6E1F6069","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"394f6de12abaf237c98ee7edd6144f6f25c8c444","datavalue":{"value":"W1983686791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884066$F73EA7F2-EAEF-4908-9B4F-92F49C231E8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15eeb4ac337e898e41ae4c8c4374b6a4d2ee0011","datavalue":{"value":{"text":"Computational reflection via mechanized logical deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4884066$3ACDD78C-68ED-4FDF-9664-AD1D3986EA5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab4b94db813a3222a34c92fb864a9f0ffa6a237","datavalue":{"value":{"entity-type":"item","numeric-id":4528037,"id":"Q4528037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7fdf9d04a4c23a8e874d54ae3c718f433680be","datavalue":{"value":{"amount":"+0.92964023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$0131AF86-3E02-416F-B0F3-713BD4E08017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd34bb498d5a7074a2853aad6cd506d979d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ed6dfef61443da140e5b1dc2b0e16a66cbc20d","datavalue":{"value":{"amount":"+0.88573676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$ED7E73BF-B3ED-4C7E-AA70-44BB18D0EDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd279197f4f168aa22e60664c5534003352a5df","datavalue":{"value":{"entity-type":"item","numeric-id":5053014,"id":"Q5053014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a969ac614b524b7c494cd4ecb1dde2d1d468c9d1","datavalue":{"value":{"amount":"+0.880914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$6BD37FB6-C085-4267-B09F-4F76F520306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"572ff63ac711dfd5b65178c21704c3af53e3ea0f","datavalue":{"value":{"entity-type":"item","numeric-id":1608918,"id":"Q1608918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5a68b34c07246c5b961004be5fb31a273697b0","datavalue":{"value":{"amount":"+0.87687105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$06F54D1A-FEDD-49B1-8596-A883FA2296A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3082dd98bcf1d70c39a9a7df9f617224dd628346","datavalue":{"value":{"entity-type":"item","numeric-id":2871862,"id":"Q2871862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b78c9a8806f50d4bf42aebffe121cd7f4d38e7","datavalue":{"value":{"amount":"+0.8734281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$159CE157-28F8-42C1-A4DA-78B636C9FA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b575b5b6e96b843e9be8bd9fab7f260eda85bda","datavalue":{"value":{"entity-type":"item","numeric-id":4223000,"id":"Q4223000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a7faa689bd93bd9e8297f610165b2204d228f7","datavalue":{"value":{"amount":"+0.8721678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$2D5B9828-8DA0-4A18-BF0D-38844F1D17BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9822c3c02417740c40ff622d7a047ac557fdee10","datavalue":{"value":{"entity-type":"item","numeric-id":4222856,"id":"Q4222856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239e6d14593f7c392be13f413b1362f624df1e58","datavalue":{"value":{"amount":"+0.87149197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$E4692438-C50A-4543-9C52-CF4193A21C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dccaccc521147cc7b8d8115bf724de734a15384","datavalue":{"value":{"entity-type":"item","numeric-id":2500485,"id":"Q2500485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef76b77e404a42ca815a302f0ed8a15363c985d","datavalue":{"value":{"amount":"+0.86854315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$E5048C7D-0ACA-40C5-87A2-ED7F7A8CB103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e755c63f759adb2cfb98d8a81750911c1a29190","datavalue":{"value":{"entity-type":"item","numeric-id":3070759,"id":"Q3070759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a88b607075bec6956631b2a3bee25ea313083e7","datavalue":{"value":{"amount":"+0.86830616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$13AD0D54-480B-47FA-B9CA-8FD97CD240B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650baf4386118cfb57e05eeef052dc63a7e2fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":5449650,"id":"Q5449650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab7d47ccb099f72158ac7a060452c48945117c8","datavalue":{"value":{"amount":"+0.8663021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884066$BBCC3805-993E-4289-92DA-8B48EEAAB5EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16b4782d1a597ede5d3a134d6f4a130087def071","datavalue":{"value":"10.1002/(SICI)1098-111X(199605)11:5%3C279::AID-INT3%3E3.0.CO;2-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884066$EF9F1A30-2D63-41AC-85F1-54345D3A238E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dfefedbc32be4e1c1428c4c97d8e87608cb228b","datavalue":{"value":"https://doi.org/10.1002/(sici)1098-111x(199605)11:5%3C279::aid-int3%3E3.0.co;2-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q4884066$83179A88-A06A-4C4F-93EF-809BA554C3C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4884066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4884066"}}}}}