{"entities":{"Q4306649":{"pageid":6336250,"ns":120,"title":"Item:Q4306649","lastrevid":28516629,"modified":"2024-03-05T14:15:30Z","type":"item","id":"Q4306649","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 641217"}},"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":"Q4306649$4EC09E28-E913-4BD7-9AA3-6D27346171AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1dd3dc65661af81da06c20306705595e08990c9","datavalue":{"value":"0797.00023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306649$CC60CB02-0487-4BFE-A702-831A9D0A8BAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"167d392c6b01b2d02394f4f7988363afcd04b6b6","datavalue":{"value":{"time":"+1994-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4306649$2DAEFFBE-479C-4F7F-9725-D27A22EBFC66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306649$B516A1CA-3E73-4AAC-AEC0-0C8F85F2F037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306649$6BC2A6D9-80F2-4267-80E9-3710D9AEDAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306649$B74B6504-D3C3-4953-98B4-09CF7AAC2F39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac1f099e2bcbb22f9a7bcac8720b8884023fdeb6","datavalue":{"value":"641217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4306649$346B5A23-8D47-4886-BEF5-2F5925D5C195","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c100d9234acbe01d2535686941ff191b2a1ae284","datavalue":{"value":"Leuven (Belgium)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306649$4CE8C463-DF70-44E2-825F-3711091D8E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306649$1F08CC93-310B-494A-A61A-286C93073E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d25e4676652c716324f2d32aa992423ce40bb9","datavalue":{"value":"HOL '92","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306649$9F5B27F5-5C14-494A-959C-203658BCDFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c141b4ef4ba01635bbb21b59ee7f84e27f747137","datavalue":{"value":"Higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306649$DFE78518-E800-46A5-A1E6-6A5DBA6EB7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4306649$3AF9A50D-8F78-4A1D-9991-5D30A1DB0100","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":"Q4306649$6445A7A7-41A6-4964-9864-27524BB06970","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4306649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4306649"}}}}}