{"entities":{"Q3669393":{"pageid":5699299,"ns":120,"title":"Item:Q3669393","lastrevid":49942753,"modified":"2026-01-12T05:16:46Z","type":"item","id":"Q3669393","labels":{"en":{"language":"en","value":"Robinson's Consistency Theorem in Soft Model Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3821711"}},"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":"Q3669393$F6CFAB50-073B-4B8D-80BD-995908D7E8A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"097fedeaf9076fed5d7c9ff7c5fddc8108d92398","datavalue":{"value":{"text":"Robinson's Consistency Theorem in Soft Model Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3669393$87C4067B-C6F3-46D1-B2C9-E7FED28B77EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10b15c1453a5e3a463057b54b349990a10173fb4","datavalue":{"value":"0519.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669393$3EC663F2-0EF9-4F28-8CB7-314EE17E5308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9484decbcecaef75c4600bdd016d335943748d00","datavalue":{"value":"10.2307/1998653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669393$49B3EAA6-28CC-4788-B817-F036D4D0E10E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669393$44102C23-FCD0-4F0E-916C-FEBE1F858BF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3669393$52ABF262-92F1-4ECF-A2B0-D82F5DFA7C68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3669393$2DD88D40-62DB-4816-8ECB-08542782D9F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669393$89D3CA13-B478-483D-AC20-9A65B5355037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669393$7F698DE2-6306-467E-9B60-00DBD04A9ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669393$A16DCFD3-1889-437E-92A6-2D7E161E45D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1653b14aaeb0a1894ea9e2b238ac5de1ab645a63","datavalue":{"value":"3821711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669393$27EF0EBA-706B-4428-BEF0-4D7A1355BF91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16c69468df8dca8bb221540e9a294a97fed0dc67","datavalue":{"value":"Robinson's consistency theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669393$27FE2456-7A28-4263-96BE-596F3A3257A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e4f58d02897f6a47e705c4d8eae0855bdf8b151","datavalue":{"value":"similarity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669393$D4996B42-1373-4030-AC0B-A2397A50A7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29688394c8b5f52291c20f99ad1c449495d0436","datavalue":{"value":"consistent extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669393$D879FCE9-FA7B-4430-A639-30987940E728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1093f6950436e6545be25dd909b86fbd17fd071e","datavalue":{"value":"Craig's interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669393$69C5B9FD-B38C-4451-930D-1B58BE1D6FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e223281cf004d8d92ee27f3dd7266921d10ff9","datavalue":{"value":"countably compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q3669393$5C817C09-3778-4A64-A9AF-0B368F0CBEC6","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":"Q3669393$C5AC8C77-46AF-402E-B79E-C8BF9B9DDFD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d3b454c8b5a0708407e38e7c25e189256120409","datavalue":{"value":"https://doi.org/10.2307/1998653","type":"string"},"datatype":"url"},"type":"statement","id":"Q3669393$2E8ABADE-404D-4381-A31F-8EE1A396C2C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2098ec8ced9b0b60db900aea086d05410d9b229","datavalue":{"value":"W4242880011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3669393$C425DEE6-5913-4ED8-AE41-A4AC5D042E4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3669393","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3669393"}}}}}