{"entities":{"Q4612450":{"pageid":6642033,"ns":120,"title":"Item:Q4612450","lastrevid":53337074,"modified":"2026-01-24T18:37:21Z","type":"item","id":"Q4612450","labels":{"en":{"language":"en","value":"Proof search in a context-sensitive logic for molecular biology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009564"}},"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":"Q4612450$DD17CD96-3C81-4F0B-95A6-4AE9D3C933CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b397bd6eb38e0b9ce1bdbf02af7f6b9c41276faa","datavalue":{"value":{"text":"Proof search in a context-sensitive logic for molecular biology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612450$BD647B5D-F4D4-4BB8-9E7F-FC08F02C95FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"003c2ae0fdee6faab50429e73a57b2e79e76f7f7","datavalue":{"value":"1444.03171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612450$32F53AE2-A850-4B82-A30E-122897AD3F50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56dca789a51e2cc24b89323a0aad3198446011fe","datavalue":{"value":{"entity-type":"item","numeric-id":2233390,"id":"Q2233390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612450$1F2F775D-1869-4D01-848F-517A59FBF5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90895b93f6477dbed2fd5c5f6a5817499c9aec93","datavalue":{"value":{"entity-type":"item","numeric-id":453543,"id":"Q453543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612450$074E32CC-CEC1-4F04-843D-BE8C9F864475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612450$6619C785-676A-4C49-8C76-127C0A499C02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612450$4078F693-D507-4D72-9ACB-C9ABC223B1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612450$2383005E-DF73-4550-9ADE-AC6B3048BE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612450$AAE33A08-EC96-4409-8437-FDEA9A693FB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d199fdaf037b6d666ad0cd671260e63cd1ced12","datavalue":{"value":"7009564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612450$E4DD8802-AE1C-4E8F-8C8E-A54B7FC7079F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612450$EF30E305-F0BD-464D-8F26-3A6B722D9400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fedc17955703a103bc75de5061b219c7132297f","datavalue":{"value":"non-monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612450$4B574D39-20B1-43DA-A87B-CA921FC46E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32744bed6bdb0be46f6cd74a49ee4f557ea2d7b7","datavalue":{"value":"labeled deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612450$42F054DC-5517-440C-8A2C-78D4BF67E128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612450$8A8AB59D-C618-4863-A8FB-E13664055F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0145e7be4e3c58863e6a6dbd5ce83664cd528c95","datavalue":{"value":"biochemical pathways","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612450$A2BEB845-FE53-4856-B77C-1E8ECF648274","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612450$C2BA50B7-F035-4062-B7BD-F7BB7C4ED284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"290ab884e33bc9e7de6bf548f534fd73afd8b727","datavalue":{"value":{"entity-type":"item","numeric-id":41837,"id":"Q41837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612450$9A6B8BFE-36E9-4DC0-A802-7DF661130377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612450$A43C7C7C-BBA3-4892-BD9F-40C1142C148A","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":"Q4612450$DCC90B71-5120-41AC-A132-2C1F63BB246C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86e9c9f4f75cae558798325dbce8572ebfaf2f09","datavalue":{"value":"https://doi.org/10.1093/logcom/exy028","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612450$69D03018-0A8E-400D-8F83-ADCF541A2BA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99cae6d5b8bb48621dfc23e1a09ef2f34976484a","datavalue":{"value":"W2895726022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612450$0A506070-E58F-4BD0-9CA7-919995C3902D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"971c1768ae7caf43d56f33af37281259bd083e1f","datavalue":{"value":"Q129322538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612450$90CB1C14-2301-455E-A306-970060F15EFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efeb8f4d601b2a956ad6ef40cccbf413f36530c3","datavalue":{"value":"10.1093/LOGCOM/EXY028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612450$BA57DD60-2940-415E-8A3D-8B5A0BCCA766","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612450$971D49EF-6B38-4E8E-BDC9-0DE5A0F98DF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9df0a32cf9edae7be867455ec252f44b37855c3","datavalue":{"value":{"entity-type":"item","numeric-id":1706576,"id":"Q1706576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68fe36736307f186e8ea0c3580f187f41788878c","datavalue":{"value":{"amount":"+0.7615290284156799","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":"Q4612450$312BF8A1-85B0-4E97-844F-ECB8D839DBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b81b929b6106745c3789cbe139c92f8694e888","datavalue":{"value":{"entity-type":"item","numeric-id":1705298,"id":"Q1705298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38415b9df9a9cb6566173f78deec4a6177a7e20c","datavalue":{"value":{"amount":"+0.7547941207885742","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":"Q4612450$C11A189C-5956-45D7-B452-12429B8229BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66630d2da35697ae8fd949dafa8b20211fb852b6","datavalue":{"value":{"entity-type":"item","numeric-id":1948286,"id":"Q1948286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c15f6ed72dc4e7446e5189e2a3b657ecc8943b3","datavalue":{"value":{"amount":"+0.72303307056427","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":"Q4612450$DC97018D-8AA3-4953-A1E9-B7A06CF023B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fcaf7f79b06132fdfd62168369ff49008f5b9c6","datavalue":{"value":{"entity-type":"item","numeric-id":5500406,"id":"Q5500406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2633523602c2a6da5b1b5eed03e58939790d60e","datavalue":{"value":{"amount":"+0.7222583293914795","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":"Q4612450$B611A908-EE3C-485D-B759-3659B9C61B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76108347c8a8bf618a8b6b2a0263903fc003f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5714444,"id":"Q5714444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4ff44d98db0eea483593d611ea284b5f6aba46","datavalue":{"value":{"amount":"+0.6886329054832458","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":"Q4612450$F893A1CB-010D-4C91-86F5-ACED5A189568","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612450"}}}}}