{"entities":{"Q3559762":{"pageid":5589666,"ns":120,"title":"Item:Q3559762","lastrevid":87365876,"modified":"2026-06-04T11:30:11Z","type":"item","id":"Q3559762","labels":{"en":{"language":"en","value":"Applications of polytypism in theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705573"}},"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":"Q3559762$E70D9B4F-7C72-429B-835D-A8C79D5462DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"970f3dfdad6ff49f36178f23321002f36a419d08","datavalue":{"value":{"text":"Applications of Polytypism in Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559762$559AE3F2-1F86-4FE8-A032-6FE64D1881DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c02d1b409f4bfd2d7b43d8756f4610e5f6b47eb1","datavalue":{"value":"1279.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559762$7679A8C6-CCD3-485D-A75C-71B572C3E74E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1bfb9f3c81f12671288d8c81c71f0a12a6a51dc","datavalue":{"value":"10.1007/10930755_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559762$259A1D85-7307-4CE6-B390-713511EC3386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559762$F4ECCB41-ACC2-4C2D-9BE7-45E890363C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90d9476515afef7e6c60583e2e3e73e4a129ab00","datavalue":{"value":{"entity-type":"item","numeric-id":1400287,"id":"Q1400287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559762$B354A107-8BB8-4364-A579-05DB273048CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559762$645E6BA8-FF70-4A92-959B-075526C3609F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-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":"Q3559762$4B8E6AC9-4989-4E91-9606-F4F206BC8285","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559762$65712B6D-0DF9-43A4-943D-F1C46B3A2F50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b37e96e0ee54971ebffe1742c968632fc1f2129e","datavalue":{"value":"5705573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559762$92071B14-A84E-4FD2-B85F-A9F042030A3F","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":"Q3559762$92332E24-1981-488A-8E55-AE2986FF26FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1de6f238277c26144baa81a2e71a2977a49d1e0","datavalue":{"value":"https://doi.org/10.1007/10930755_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559762$61CC8F76-98EB-4280-BB41-ED317631825E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f21a8080f84baed8c882272a342ea2924ed4f06e","datavalue":{"value":"W1544247053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559762$53B81BBA-5670-45D8-8673-6C7FF1A6308D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b22966b1a2704c315082d7608da491f0c28146","datavalue":{"value":{"entity-type":"item","numeric-id":4945203,"id":"Q4945203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c24b8f456a973a71cb3a7496f8951e160aa59aa","datavalue":{"value":{"amount":"+0.7873088717460632","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":"Q3559762$2543694D-A48F-47B1-A9F7-29961C80C430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642a1c6a77f80152485eac1b6631782559ac7e3e","datavalue":{"value":{"entity-type":"item","numeric-id":3070767,"id":"Q3070767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8669a836c3e59e1cfc0fb85d139ef3213d8bfb4c","datavalue":{"value":{"amount":"+0.785546600818634","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":"Q3559762$048F17EC-B38B-4A0E-AE9F-CE53BCB329E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564158913638b8ed50744fae4a782acff915132b","datavalue":{"value":{"entity-type":"item","numeric-id":2726288,"id":"Q2726288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2adbd8c6982f92cde4ebc9d8979f42b75e2fd7f9","datavalue":{"value":{"amount":"+0.7673934698104858","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":"Q3559762$2799BA90-465E-4153-BC1B-4A27306D1856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ce7943a21a23a8d9b0653e2f31b405cdd64ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3836527,"id":"Q3836527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5bdfbd1012660ef4a0182b14412f13f4bae7dd","datavalue":{"value":{"amount":"+0.7602267265319824","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":"Q3559762$146D91B8-70DA-42BB-B333-A0A99E0B7705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d9db1e16522eebeb84ab99f66088873a3fade8","datavalue":{"value":{"entity-type":"item","numeric-id":2703708,"id":"Q2703708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a441d0e1b2a4d9112b446159651db1c55119bcd1","datavalue":{"value":{"amount":"+0.7568151950836182","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":"Q3559762$A38F1FAF-8E1C-49DA-A141-9998454E6F8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications of polytypism in theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applications_of_polytypism_in_theorem_proving"}}}}}