{"entities":{"Q6953434":{"pageid":21224139,"ns":120,"title":"Item:Q6953434","lastrevid":84079361,"modified":"2026-05-09T13:18:18Z","type":"item","id":"Q6953434","labels":{"en":{"language":"en","value":"Finite undecidability in NIP fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8069450"}},"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":"Q6953434$9C5B10E0-1BA0-43DC-9DF4-09331089A855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41c8a7fea14bff172223b9fb691d293b16dea4d7","datavalue":{"value":{"text":"Finite undecidability in NIP fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6953434$07FEFC28-6D44-403F-9337-C008E7F118B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48f181cf38f0a35927d0b5b5ef98adb125aa7166","datavalue":{"value":"10.1017/JSL.2023.73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953434$2398D5FC-A598-496A-9BE3-B7929888F236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49d3d088492993a6a5da066bdb34dd9a1d6785f0","datavalue":{"value":{"entity-type":"item","numeric-id":4691702,"id":"Q4691702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$5D2027C0-08C8-4B24-97DB-CBD3EACE1686","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$C576B60E-D127-42DD-9BA8-7D54BDDAA3E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea6dc21ec3fb95df79bdfd89d49ca56325cba03","datavalue":{"value":{"time":"+2025-07-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":"Q6953434$C131CF64-60AD-4929-83DE-B365B95BAB74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953434$DA34D4E3-1A72-4BB4-A0ED-6957E3639703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953434$18FEB4AE-C546-4E34-9C93-D388698D4939","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a25b1469b29772f7b4f64a92547a06f25707a4b2","datavalue":{"value":"8069450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953434$4F7C0F79-5CF2-4FC8-8B9F-CFB32DB5EF52","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$A0B24620-2CEC-4B88-8191-36E30CEB2A35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57794b4217bcd6434115bfed6e5d2dd4679ef7a6","datavalue":{"value":"hereditary undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953434$7DC9C86C-509C-4212-933A-8EA16E56F165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c77c98e2f9fd8cee30f319c4f37240928da10","datavalue":{"value":"NIP theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953434$44B9DB68-E1BF-4AC3-9728-9088A400C300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f833a3a9634ca9495fb83d8fd433acde681770ac","datavalue":{"value":"fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953434$BD612903-1961-43AF-986F-11A842176792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953434$BE0727B9-0D8B-4C7F-8288-1E714DAA0455","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":"Q6953434$FB337B15-9E33-4357-993D-651E155011ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6ef87792b6f2274198574823fb78d264b7d446","datavalue":{"value":{"entity-type":"item","numeric-id":2636534,"id":"Q2636534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$32396909-6D3C-4A3E-B597-8668B2D50D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d346d7362f6dd5bd49046a1ac8df163429da38","datavalue":{"value":{"entity-type":"item","numeric-id":5510996,"id":"Q5510996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$8F304E68-1BC1-4C03-AA0A-3193A06895C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e69a6b6a2532956687a7647a6252aaf9e4d8be","datavalue":{"value":{"entity-type":"item","numeric-id":2959265,"id":"Q2959265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$C69D7898-0D6B-4D75-9BDD-7499D4E74A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69aa39ebb67346bc9019d9f9c14060fae1a55a65","datavalue":{"value":{"entity-type":"item","numeric-id":5904973,"id":"Q5904973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$F7BA56B9-3BE8-4D97-8394-F290F2776B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7051d9b054c0c036ac36196da727e01851f109f","datavalue":{"value":{"entity-type":"item","numeric-id":4992402,"id":"Q4992402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$E97795E5-A0F6-4CC7-AE8F-AE2276C43E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28231947c4af8016e26cf189c524340e836ba6d4","datavalue":{"value":{"entity-type":"item","numeric-id":2319891,"id":"Q2319891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$5B15A9B0-6E88-46BD-8DCF-796E14CD32CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bdf6eb0611160837b14ebd96b44b96a5d9a2af","datavalue":{"value":{"entity-type":"item","numeric-id":5256623,"id":"Q5256623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$BB4F00CF-18C3-4C5D-AB69-7519271A4BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba72c9a41921ad15c44f894d7826777809a53833","datavalue":{"value":{"entity-type":"item","numeric-id":5691951,"id":"Q5691951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$4221B32D-1843-4940-97AA-EF8A1B67296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bdb3abf522aac35fca1027d6526211c5b659c9","datavalue":{"value":{"entity-type":"item","numeric-id":5531082,"id":"Q5531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$6FDC2826-4069-4575-B755-1DC56F52D5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9a41620eee325458c800856323320e71ae4c57","datavalue":{"value":{"entity-type":"item","numeric-id":3502622,"id":"Q3502622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$AE1B93D6-8063-4F60-98BF-E2543DC64AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf2b4dd09f5ff2f01ebcae6afe7e37caf70976b","datavalue":{"value":{"entity-type":"item","numeric-id":5118049,"id":"Q5118049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$9D976B12-D772-4C73-A65E-7EA51ACA3D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f88ad5bee51f22eb16a1bcea07b8c8fd1d3cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5195054,"id":"Q5195054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$FAA5384F-FFB5-43BB-A5B4-E84F1C8B4B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa600d47ba13dd2fce6d70760186abc4c267c45","datavalue":{"value":{"entity-type":"item","numeric-id":2813675,"id":"Q2813675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$78A64D88-40FE-4F69-AEB8-53E7C5FB86E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afbe89a15d5e2e378a9c7f085cdb3a99f752fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5251359,"id":"Q5251359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$CA394AC2-2F49-49D1-8839-76EEA53FC662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e852df0d62c44147e211bcacb25ddda78c2d74f6","datavalue":{"value":{"entity-type":"item","numeric-id":5357211,"id":"Q5357211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$1D405667-D1FD-4483-8CB5-511C553926FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0135d6dbf3a8639b01cd1b7178f2afb61c1873bd","datavalue":{"value":{"entity-type":"item","numeric-id":2662696,"id":"Q2662696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$CA30B334-548B-4DFF-8986-584CD8B933E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a7d3f8b02e27ebac54cc737fa31a0ee9675ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2662697,"id":"Q2662697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$A4C226B3-1DF7-4EA3-9BAD-605A1AA9D72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8515c8b876aa715f6c6ead9fea5b65b2754a62","datavalue":{"value":{"entity-type":"item","numeric-id":2849030,"id":"Q2849030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$5A9BF36E-A1D3-40E3-91FB-C1D5366F8BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97e916c64f016ee5ae250276dde9ca1ddf27c50","datavalue":{"value":{"entity-type":"item","numeric-id":2569570,"id":"Q2569570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$18AF72CF-4664-4EA3-B80C-BC72B33CC2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389afd16cc8a1d030f81b683f000b354bbc3db34","datavalue":{"value":{"entity-type":"item","numeric-id":1749544,"id":"Q1749544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$D6E3E566-7986-4AC6-9B63-FC7DE581C6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e2b56ed70e6b5d2cc90efaad07ab0c50dfa5bb","datavalue":{"value":{"entity-type":"item","numeric-id":2999442,"id":"Q2999442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$85B8256A-2627-472B-8DBF-4D4E70CD7770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4af3d32be12511f45c29cb46978d335aa7343e","datavalue":{"value":{"entity-type":"item","numeric-id":5635440,"id":"Q5635440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$4727B130-C807-4229-B7C7-BDB5D696AB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$9D691628-2435-4B7E-9C95-F9FA761E9700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4958b070313ba2baf8940caed4ce817d178db","datavalue":{"value":{"entity-type":"item","numeric-id":1182655,"id":"Q1182655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$11793252-41D0-4786-9DB6-27405E0AF072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf84f234a831437cffb283d283e8c7310ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":1056794,"id":"Q1056794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$63889B44-648A-4BB9-9023-CDA7D7E6EC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02561aa2d6d6d75a3111a847dab748489434675","datavalue":{"value":{"entity-type":"item","numeric-id":4143431,"id":"Q4143431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$58D67A0A-19E0-42EF-8497-C7052C565466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ae49418d5e2a20bc6e2ee8567ab6adff82f377","datavalue":{"value":{"entity-type":"item","numeric-id":5804178,"id":"Q5804178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$476C0DE8-C75D-4062-B6AB-E7FC303556E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bb519482b6fbf00d13ef8aae58532ad21e0d21","datavalue":{"value":{"entity-type":"item","numeric-id":480792,"id":"Q480792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$1D2120C0-EA77-4D83-B5EB-31EEF172E652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d618d22433e207f3192d8ee575be707d8e87ed","datavalue":{"value":{"entity-type":"item","numeric-id":2349099,"id":"Q2349099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$9AAC4EA9-285C-4218-9031-6F9589BE8CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15633a3467e2b87ffa6c9cb6ad3a42d7f01833b1","datavalue":{"value":{"entity-type":"item","numeric-id":4273953,"id":"Q4273953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$B2C54B02-1E39-431D-A844-22389D82ABE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9020c959fd2fe6830eb570bdc5090e181554ced","datavalue":{"value":{"entity-type":"item","numeric-id":5255892,"id":"Q5255892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$BD37186A-6F07-443C-B092-0B54E505F04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$4C793E80-280C-4733-AB2E-338E7D5327D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc15069f025d21cde7e54578e0b80c59a959112","datavalue":{"value":{"entity-type":"item","numeric-id":1054789,"id":"Q1054789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953434$C38F0210-DCC4-4885-A67D-EDBAE65299E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite undecidability in NIP fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_undecidability_in_NIP_fields"}}}}}