{"entities":{"Q5212035":{"pageid":7241606,"ns":120,"title":"Item:Q5212035","lastrevid":53645375,"modified":"2026-01-25T11:59:08Z","type":"item","id":"Q5212035","labels":{"en":{"language":"en","value":"Decidability of several concepts of finiteness for simple types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157393"}},"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":"Q5212035$0C684807-E3B3-4492-8741-FEF9DE3EC458","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9158b0b5004949523ae444442468322d4bb9ca13","datavalue":{"value":{"text":"Decidability of Several Concepts of Finiteness for Simple Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212035$5B3CF81D-C415-4E43-9FD9-A578FBB33FA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bac10a205925c1edb7ce6c4926e4345b6083ef59","datavalue":{"value":"1446.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212035$7EB21C5B-90B2-4060-83EB-0E67C1049B00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad3e2c4509b48b287f95d7f6f8fd133b8f73664f","datavalue":{"value":"10.3233/FI-2019-1857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212035$A021C061-6B6B-44D9-8FF9-7C3A95CE538C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212035$27808485-3679-49EF-BB50-AFB830869804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212035$E7F89382-0BE7-4D5C-B97D-60635C3A82E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212035$CC964233-08EB-42EA-A879-B7187B849930","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212035$4D87D0C9-F72B-4BFE-98F8-2B2D36046826","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212035$C598367C-3275-4140-B40E-1B5D1BAE5B05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212035$146A2565-8EB8-4A35-BA6B-02B8C8FE5F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212035$8A6B3A16-FE31-49CF-BB0C-11E12387DBC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59da137fb3baa450c6bf53b780e74fe11579223b","datavalue":{"value":"7157393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212035$082FB4F7-1C74-4832-9545-47CB0A10FD1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212035$F13FD4B8-FDFD-47E6-876F-AFFB8CF4B3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212035$7EA81B15-2CF7-4415-8069-9ECDF4FB4DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212035$B07CF300-9412-494E-8D18-D7CA60CC3EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212035$BEAD3147-C47A-498C-99CC-F0C7E5D6B20F","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":"Q5212035$C5C8C058-2E26-4853-AB38-6EAE84D05B27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2483ea6927d7034b5661e5bd3c0c5ea91395a672","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8ac9691f4acb9e921287fa32233586393ea602","datavalue":{"value":{"amount":"+0.7071471214294434","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":"Q5212035$82478B74-E369-469F-9500-41B83BB5D425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4429112b749e28832e3a0c768c886414fec12032","datavalue":{"value":{"entity-type":"item","numeric-id":1274981,"id":"Q1274981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070a9243a3c05f8adce534b6aa43ee65964905b5","datavalue":{"value":{"amount":"+0.7014122605323792","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":"Q5212035$17F625BB-20B4-4B27-984C-5C2336012D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423149f484c1d5f5317f39be9d386ada038ca9cf","datavalue":{"value":{"entity-type":"item","numeric-id":5111311,"id":"Q5111311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c7c8f9f0a34af1c940a6a65af75453ac46ede2","datavalue":{"value":{"amount":"+0.7004817724227905","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":"Q5212035$450C7EA6-40C5-42D3-891C-FBFC4D3263E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381e701bef13acdf7c0df2207f0b43b8311c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":3648727,"id":"Q3648727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e73f684fa10dacc891e846c474669eba83a2dc4","datavalue":{"value":{"amount":"+0.693531334400177","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":"Q5212035$6E777843-6EF8-42AA-ABDF-6DD3C6A611F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ff692f4af674c9d602d0bef00168dba750abb8","datavalue":{"value":{"entity-type":"item","numeric-id":5426067,"id":"Q5426067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2db9d1a5c94c39c843bc5d18ea201e2d11b1635","datavalue":{"value":{"amount":"+0.6902452707290649","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":"Q5212035$86A46904-C47F-4FB6-AEBF-C8D7F200FC2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212035"}}}}}