{"entities":{"Q3955339":{"pageid":5985244,"ns":120,"title":"Item:Q3955339","lastrevid":89187881,"modified":"2026-06-04T16:35:33Z","type":"item","id":"Q3955339","labels":{"en":{"language":"en","value":"Type Structure Complexity and Decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3775499"}},"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":"Q3955339$8E6E9E2E-D8A6-4AB3-B3D1-4F5D7A707251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07b72bdd607476da4d151f2c58c9fbc4a8aa035d","datavalue":{"value":"0493.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955339$782729D8-04EB-4503-8449-F90050015C9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81fdcb4f7b444fddd4a32da31629913e4586478f","datavalue":{"value":"10.2307/1998751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955339$3188D868-DA7D-4FA6-8869-0DB6F240FEE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e38d9177582285932fd34fa31d4c43fb1a72ca61","datavalue":{"value":{"entity-type":"item","numeric-id":1057258,"id":"Q1057258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3955339$CAB0BD7C-7F04-4378-A5D4-A86E32BB1CBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3955339$7D9F0BEE-CD25-4E0B-B264-B771C1D6BADC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955339$EA80314D-0C2C-458B-BAFA-64C00F7759EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955339$9BD09BDF-B90D-406B-BCDB-AB67F81AFD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955339$EF925572-F683-4F61-97D9-E1054E18EBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955339$2ADA7D9A-B50F-404E-965B-33F8D97E0E6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e04983500f95c467c2f84ffc4f6f428fbdfdbd7e","datavalue":{"value":"3775499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955339$C62EF1CA-B1DA-463D-B61B-A72963187206","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1bebbe2e23cc7ef7b99a7725a7f4916fc85490","datavalue":{"value":"countable homogeneous model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955339$74DB9FAF-5B1E-44F6-8614-3D1F864D89C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955339$E1770A91-C7C7-4B9F-964F-9F4031121C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5307e43959b88c4cccf04b113f239f7ba9d9fc9","datavalue":{"value":"recursively saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955339$B83C1374-049D-4487-B340-737E223BA9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3955339$9BA68780-E797-44F1-B927-0EE0D431D6BE","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":"Q3955339$73D32218-7501-473C-9E01-03E05AD19FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7b8f3c75dc6e6b5be5406f3dfc61b3ad15073c2","datavalue":{"value":"https://doi.org/10.2307/1998751","type":"string"},"datatype":"url"},"type":"statement","id":"Q3955339$CD1812BE-5213-47C3-8FD7-B960F117D5EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be2bab2f98cbf761e5ecf59411ff5dde8c972af7","datavalue":{"value":"W4248973342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3955339$E767A2B7-237E-4EFB-956A-D9101B23AEA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"616c68480e6a5b8e56649766f9f30516cb4a9fb2","datavalue":{"value":{"text":"Type Structure Complexity and Decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3955339$63AE0D3F-44F3-4838-AB2E-C031A0A05937","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af90cbe357c1c686065486b4985fd0c8409ae0c","datavalue":{"value":{"entity-type":"item","numeric-id":4096938,"id":"Q4096938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3955339$6B18B9E9-667D-48A5-ABD7-275A2001F28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f10b4d88e93baca28a79f2b36e81db13dcb827","datavalue":{"value":{"entity-type":"item","numeric-id":3869329,"id":"Q3869329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3955339$FF52950B-54DB-4B1A-AE4E-A8DCAF3D12EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3955339$0E357579-9182-49CC-894D-76DE0E2B5209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac6dd358e9cd49ad4d0e4c1f506590261bfd548","datavalue":{"value":{"entity-type":"item","numeric-id":1155600,"id":"Q1155600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3955339$E35B4FB2-124C-435E-9858-AAEA18914B35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type Structure Complexity and Decidability","badges":[]}}}}}