{"entities":{"Q1214407":{"pageid":1225156,"ns":120,"title":"Item:Q1214407","lastrevid":42950014,"modified":"2025-07-16T07:52:38Z","type":"item","id":"Q1214407","labels":{"en":{"language":"en","value":"Every recursive enumerable extension of a theory of linear order has a constructive model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3467071"}},"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":"Q1214407$B5467A0F-9551-4A7E-BB18-EC7658EBCF63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8780d43ca448ea1668dd3b8d38a1ef0db13b1954","datavalue":{"value":{"text":"Every recursive enumerable extension of a theory of linear order has a constructive model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1214407$8705C978-29CF-4318-BE1A-2F150650354A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fe7d421d8cb4037330de1fdbfe6cfb91364fc3b","datavalue":{"value":"0298.02045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214407$3E8F66FD-B125-4903-9765-532F092CEF5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd206b38f7a579495263614479a78a6529a0a3ae","datavalue":{"value":"10.1007/BF02219295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214407$49E7E51E-FDE3-4E49-9359-9E316E276821","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1214407$F1F539F1-E025-44BE-ABF8-0F876D753C6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q1214407$0428693E-E625-41C1-B022-262805D0F8D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"261e515cfa83d11f4b62011c80dc7fa7cc222c12","datavalue":{"value":"https://eudml.org/doc/186791","type":"string"},"datatype":"url"},"type":"statement","id":"Q1214407$8286BF49-8365-43FC-BF8D-93BCF0EB2FAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214407$1B9C4EA5-A207-43CB-91D4-FD76CF271D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214407$68960577-A3D7-4595-92DA-3C6F260863B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12bf3ea28f2c78ada80dbb89760901cd4fbdfcd3","datavalue":{"value":"3467071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214407$2C2F1FB3-5889-4270-A79F-CC3174BAD92B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20ecee9536e4120b13720769ac9d5f6e509bebc2","datavalue":{"value":{"entity-type":"item","numeric-id":779151,"id":"Q779151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1214407$76C227FD-0FAE-4604-841C-781983B0F6C7","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":"Q1214407$02408779-100B-443B-84E5-841621F7EC87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6edba6cc7078f293d5517e96505fb988ccc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2626205,"id":"Q2626205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1214407$1E8B99FE-2368-4B17-B281-6797C950D317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4b71c4b4146d24c7d84ff6e4dc247604cb7b99","datavalue":{"value":{"entity-type":"item","numeric-id":3228605,"id":"Q3228605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1214407$A92E1F59-199D-4998-8726-2D0875077AE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47a05a9dbeb9dab3f983f7aef86290f1c010d9d4","datavalue":{"value":"W2068260603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1214407$7E89DD60-1290-479D-B5F2-1FCAB07DA313","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1214407","badges":[]}}}}}