{"entities":{"Q3771659":{"pageid":5801565,"ns":120,"title":"Item:Q3771659","lastrevid":52106201,"modified":"2026-01-20T23:03:52Z","type":"item","id":"Q3771659","labels":{"en":{"language":"en","value":"Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4031034"}},"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":"Q3771659$107A616D-6964-4EC6-A203-0CD2B6EAD72E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92b130b7bd1ed159d6178ded33adfd50cd2d990d","datavalue":{"value":{"text":"Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3771659$A85269CA-5A95-40A9-99DA-25C986ADE338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be0f1a8690d3021164ec20074e05d53fe5d13f46","datavalue":{"value":"0633.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771659$F60FF4F1-7DCC-4834-B09C-5283F7D9138F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea1fd1097ab3632c15db91ac8a0a16a29405dbd2","datavalue":{"value":"10.1016/0270-0255(86)90094-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771659$946B3127-ABC7-4F87-907A-9739A7726843","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a055d5442a33746851ffb795c9baf084363fe0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1157282,"id":"Q1157282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771659$36D09297-DC73-4566-9201-8A664A641CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb2de6aab9a2547dfebdd6d38c75b016c2976fa","datavalue":{"value":{"entity-type":"item","numeric-id":1206219,"id":"Q1206219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771659$543B2941-FCE3-497A-A021-FC2809604740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1b8796b0e8af93a04ca6b9ec2ebc9af42a65c58","datavalue":{"value":{"entity-type":"item","numeric-id":1157283,"id":"Q1157283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771659$051C8A3C-45F6-4110-B7C9-17E3A0208D30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a81cb9f07a8c9f79e7a630f2322503677e6303a7","datavalue":{"value":{"entity-type":"item","numeric-id":73467,"id":"Q73467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771659$F90309A2-E97E-49AE-A4C1-9A528BBB3622","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3771659$0EE920B5-F1C9-4CB1-812E-88CCB6E73701","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771659$6ACB5E53-DF8A-44BB-BDA2-CA73A5D3BBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771659$90C840C7-64D5-48E2-AB99-72C6D23705F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771659$D428104F-E90E-4AC6-BE58-F3EF31B3F0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771659$BCD2B988-07B9-4D73-B0FD-0BE2DD0E61BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff131821559db8715ccdf5cacc509153a5c8fe19","datavalue":{"value":"4031034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771659$31B4CB32-F279-4200-AC39-A6BADB075FB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b1ad47c03b49340371e4573028478e70a3c68a","datavalue":{"value":"medical document translator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771659$9945DBA0-78D9-4BA4-ACEE-1C7E415262DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08171e0429fe885d2d07504b1b6b52f2344dfc04","datavalue":{"value":"verification by Gentzen reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771659$96AD3046-F8C3-42D6-929A-B9DFF1C6F00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc322addef3e9505bf7b7d458b1b5b40f099b769","datavalue":{"value":"Quine- McCluskey algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771659$74E903B5-9E10-42D9-8262-7C2AB9F8F009","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":"Q3771659$2D2A0484-9597-4E3D-8CFE-73E8EE8C7E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b790e1694986fe6168870a414fc3121d7d8e402","datavalue":{"value":"https://doi.org/10.1016/0270-0255(86)90094-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3771659$C5F99982-0166-43A1-BFC1-6C3203B403A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7802f10849474d803de5a8582d5ea2c371e77ef0","datavalue":{"value":"W2113856834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771659$50B6EB22-7A64-445E-8F3D-E2840AB0A260","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1a068d35d562d02668f24ef2466262100aa9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1552fbfbf7baee555e2f4e9409bd9c7631799c52","datavalue":{"value":{"amount":"+0.8107092","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":"Q3771659$D301E94B-4797-4C52-8421-A3BFD753E3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34590024e296261db3e421cb1e76a7a33f346d9","datavalue":{"value":{"entity-type":"item","numeric-id":4317726,"id":"Q4317726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676e351451177f9b91af4388b4cc0f80a67b72cc","datavalue":{"value":{"amount":"+0.80609596","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":"Q3771659$D3CF8929-E00D-48CE-B4F1-9BFC6890ABA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70af6e94aee3b44fbcafd7c8dc41fc6c7c2c68a6","datavalue":{"value":{"entity-type":"item","numeric-id":1610677,"id":"Q1610677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da69612a33e0ad394e569e5f256639290daa638","datavalue":{"value":{"amount":"+0.79881954","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":"Q3771659$D3D826FB-0917-4FB6-B1F5-88A87E6A5715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d525dd5fb2eca773011eea84e4399dba50f69207","datavalue":{"value":{"entity-type":"item","numeric-id":4596623,"id":"Q4596623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc87d160d0ff2ce2218b56f68ddf89193e85bfd","datavalue":{"value":{"amount":"+0.7936367","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":"Q3771659$E5C32AB0-E486-4D26-887E-45E30BF4AC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b03d0b43e67141412dbf78c48b3e1d30336080","datavalue":{"value":{"entity-type":"item","numeric-id":5582289,"id":"Q5582289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20aff2470bc41097c93672712501b6df591b12c","datavalue":{"value":{"amount":"+0.7928704","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":"Q3771659$C94F7572-9ADF-4676-9B97-AF614B8BFA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee00179d1477704645c56d4e974b5cd4bb33452","datavalue":{"value":{"entity-type":"item","numeric-id":5217248,"id":"Q5217248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"638014adc74fa7e52f83a2edadfa72894e2b0dd3","datavalue":{"value":{"amount":"+0.78974956","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":"Q3771659$9539360E-B029-4A2A-B7FC-F641D029A7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79a5e5b63c7bd110e6365f4727e884291750c2c","datavalue":{"value":{"entity-type":"item","numeric-id":5115853,"id":"Q5115853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b19651b685eb8d798d0fd00a46713555f684fb","datavalue":{"value":{"amount":"+0.78839034","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":"Q3771659$FCC90893-5179-4897-81FD-C2A2BE9B8C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b16336e75f4c4c79a8c8a337fab14c1451bb80","datavalue":{"value":{"entity-type":"item","numeric-id":1904398,"id":"Q1904398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7533f28615927204f2a99c8c3ee20fca1fd67be2","datavalue":{"value":{"amount":"+0.7876981","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":"Q3771659$37AB8C5A-BB22-4F2A-954D-0ACC6D9E0663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d050a4cbcd4103874e1a445d997b759cc346787d","datavalue":{"value":{"amount":"+0.78533375","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":"Q3771659$779CAA34-482D-4BB8-8D2F-49B787B2C2AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3771659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3771659"}}}}}