{"entities":{"Q4249901":{"pageid":6279502,"ns":120,"title":"Item:Q4249901","lastrevid":46835937,"modified":"2025-12-25T16:52:28Z","type":"item","id":"Q4249901","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303348"}},"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":"Q4249901$8CBE3BCA-EB69-47AC-B9DF-978B742E1D1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8856478df7d23b5e3358091f3e7fa6a2778af897","datavalue":{"value":"0924.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249901$A928575B-B42A-44DD-A374-66B4ECC50EBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179b40780f93d89d986b6f1110abe8d9772f7f5c","datavalue":{"value":{"time":"+1999-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249901$10889E06-0B6B-435D-8096-9F7090E54178","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249901$E8A3A97C-0C13-4C93-B748-9B26491CEA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249901$170640CC-2155-4D7F-AAA6-579C6E256EA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"566786f9719b402cc9fa334262f2ba1a8cefb3db","datavalue":{"value":"1303348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249901$5D25F800-79A9-4904-99FB-947EBEFDE178","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a19378105fa9cf5288b2dbcfce7b15a260ca4da","datavalue":{"value":"automated theorem prover Twelf","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249901$39E61B37-59DD-4F90-A348-D0CDB42EE6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249901$1C175745-A7B8-43E0-8670-384678DE3BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249901$2D807651-F174-4DBB-B0E2-E5A250E22C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd3fbb0db55b0036d8208897823efa0b32d5a44a","datavalue":{"value":"meta-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249901$A1E6A7E0-F568-45C2-8AD9-9494FA5881FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd40fd3d31a6594e39f5721bc77150b1af7e8049","datavalue":{"value":"inductive reasoning over LF encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249901$2FF766C5-4ED0-4CF6-A902-CA3B65E28ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"398784c0c9f85fb232ef9643fc629f74205de36d","datavalue":{"value":"type preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249901$0A16D0A2-496F-4CD6-9086-27B25AD14764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249901$9504561F-147A-4E6A-993E-2FAAC3BEA53C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249901$B094A676-4C7D-44F1-BA93-DD90B0C63934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249901$E4F46B38-2B38-42E0-9699-42C66CF6A071","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249901$CC3EF27C-B4B3-4238-9DDA-7BB6D41CE3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249901$18760A12-457C-4475-A41A-C2D3CA712BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249901$A25E8613-B6C9-469A-8F16-BD85220D41C1","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":"Q4249901$180BC721-E32A-4FB9-8C0C-BB3EC7128A00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55b4988f5b71a1d4277598a5e951dad750dd542","datavalue":{"value":{"amount":"+0.8235970139503479","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":"Q4249901$1A59DD33-4796-4E4C-9211-2D2BFB041AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded9f12b0e5b36b20e8c488c1ea5b367e73ec55e","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e1e442ddea4a85acc69fe8381177b1e40c30fe","datavalue":{"value":{"amount":"+0.7983126044273376","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":"Q4249901$A5B1B339-B62D-41B5-8270-901BD3CD86EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc479039bfe61e57a822609f8fd7a62baacb5af","datavalue":{"value":{"amount":"+0.7751320004463196","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":"Q4249901$C05E5FC9-E74A-4620-A696-58706FE953F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9af094cb20226c99db0cb8ff7bed51d584eaa7","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ef7b72040e7994ebfbc2e89e036a2fc877264a","datavalue":{"value":{"amount":"+0.7737128138542175","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":"Q4249901$9FD3DA5E-F3D6-46D2-A6DC-994AD54BBD95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249901"}}}}}