{"entities":{"Q4798207":{"pageid":6827787,"ns":120,"title":"Item:Q4798207","lastrevid":74821209,"modified":"2026-04-15T00:30:24Z","type":"item","id":"Q4798207","labels":{"en":{"language":"en","value":"On translations of complete first order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1884767"}},"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":"Q4798207$B699490F-40EC-4EEC-ADA4-EBC5D40DF90C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"062e6e71a913b608d79730a2399c6cb80c68b4c0","datavalue":{"value":{"text":"On translations of complete first order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4798207$FC057B98-9545-4179-BC0C-5ACEAD32896F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ced46bef49c2372d89d0a69bb09124e78b4f443c","datavalue":{"value":"1016.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798207$7B51CA99-A889-4BE0-99F7-F672A9765844","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bc4c2d950eab368ba88a9f05df1a96135cda1f","datavalue":{"value":{"entity-type":"item","numeric-id":481877,"id":"Q481877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4798207$B41B4116-5B77-47E5-8271-9C10845B41DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4798207$3364F367-C421-4CEC-869B-7A86D17EB7FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bf000c6c164f150c142ee163454b913d04764a9","datavalue":{"value":{"time":"+2003-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4798207$C3B7993C-579C-4496-B4D5-F5FFD285B5BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798207$18163C04-2582-4A2F-A482-9B48E3E0CC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798207$13707C68-24E7-421E-90DC-21F3F72D4932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798207$A3647DA3-2530-4C63-A420-08D95653AC50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e4a1246021673b62ef85a9cd0a03c33c5b42182","datavalue":{"value":"1884767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798207$DACF0702-4CE4-4E66-9AB7-CF55B01574C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798207$352B6E01-339D-4252-92DB-3C76836B9F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9f3f70688a1d6869840179c4f876afa6a7e929","datavalue":{"value":"permorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798207$9E9315F1-7925-4FD0-955A-E9CE47871688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd25f49f6a82deff33fc7255104341bd4eca5c35","datavalue":{"value":"full model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798207$74D4779F-9481-4598-B9C2-636F93E5E5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798207$A1A6BA8A-CD4B-4215-8600-33C2F4FBA372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145122a4e9209e30cddd8aa5a9074a618a22c369","datavalue":{"value":"omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4798207$2E0E98C5-25DF-47AD-8378-668518CC3B8C","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":"Q4798207$96A2025F-2A83-47B8-B97A-E9D7800FD2BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae00ecac918a189c6d4bdf64defe87974d626da3","datavalue":{"value":"https://doi.org/10.1002/malq.200310007","type":"string"},"datatype":"url"},"type":"statement","id":"Q4798207$CB046F1D-3EB4-40D3-82B7-1FAA6E246930","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c28b6f0c2290cd2622ff2ce2bf43fd693e14524","datavalue":{"value":"W2131334520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798207$08E33086-ACC0-453E-B8E6-BA69F3C2A8DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25c60058b796256aec24531954bb42110a1ad79b","datavalue":{"value":"10.1002/MALQ.200310007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4798207$5F0573DC-1A3E-4BFC-870B-CDD45500C70D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40998fd36bbcba2d1b8ae5616811d28d686c9f2a","datavalue":{"value":{"entity-type":"item","numeric-id":266881,"id":"Q266881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d853149fa2d298fac23538c8aca06dc6a88df8bf","datavalue":{"value":{"amount":"+0.93069553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$CF2C3845-80D9-40E9-B56F-ED050DB1A482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f954ef8927cb95c7e044dca48ccb2a60f0f81bae","datavalue":{"value":{"entity-type":"item","numeric-id":2869435,"id":"Q2869435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed838a991841c92eaf707d07096074bba9566d44","datavalue":{"value":{"amount":"+0.8801602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$245A89D5-1826-4EB3-813F-2B7CA5DCE00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1841c0107b8bdc2b59e43c2e2095aaf7f436a891","datavalue":{"value":{"entity-type":"item","numeric-id":4305337,"id":"Q4305337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d5f9df8d84071ff766885a42b448e46719a632","datavalue":{"value":{"amount":"+0.87925243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$7DFA79BD-DDBC-4853-B024-635CF664C9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52afda677e64159b16b4cdc4cb0de749df927f07","datavalue":{"value":{"entity-type":"item","numeric-id":4323033,"id":"Q4323033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca3014ae5e224aca1fa7dbb9646ea30d32ba72d","datavalue":{"value":{"amount":"+0.87511086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$0D62DA8E-6114-402C-949A-3B98AFDD1574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d0d1b0e346682404fe8c30b1729452860ace99","datavalue":{"value":{"entity-type":"item","numeric-id":286708,"id":"Q286708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8122b369bba82399dc90f3ae96d6161df4a3d480","datavalue":{"value":{"amount":"+0.8713384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$3544606A-9B9C-4314-9BF1-6AD37D731777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188c4077e7cd54d9cb24999abe7927e18ae76160","datavalue":{"value":{"entity-type":"item","numeric-id":2978245,"id":"Q2978245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae87a2fab500b0f0bf351f5fd2e809f265396d20","datavalue":{"value":{"amount":"+0.8697128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$8DE9E00B-1A5D-4E9A-AC87-CB47E764C34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5e90de1f88f410cc3aadb44fd6e427fa0716da","datavalue":{"value":{"entity-type":"item","numeric-id":2981256,"id":"Q2981256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37a222bbcb1b619715a95866e9b375bbb875fc8","datavalue":{"value":{"amount":"+0.8689484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$76A9C9C7-B984-4983-857F-5DCCAFE0C3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6340f105d899e5f9869f865f7505f4378c07110a","datavalue":{"value":{"entity-type":"item","numeric-id":2322984,"id":"Q2322984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29120d667b3769cfa9bc8d40d4088fbc7dc8461c","datavalue":{"value":{"amount":"+0.86796236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$0D3FFC81-956F-4C2C-A5CF-BAE7AE94D800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d66e25d9de907b4c6db85700c3db748f95291f","datavalue":{"value":{"entity-type":"item","numeric-id":4208528,"id":"Q4208528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c113c73190cc0a63ffc76b58d4a9439fd804d5","datavalue":{"value":{"amount":"+0.8664857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$F1B114FA-8563-4700-B0C1-35EB0F9B4EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f74c2db6562d7bf942f3c79813489801a00d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4304145,"id":"Q4304145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c113c73190cc0a63ffc76b58d4a9439fd804d5","datavalue":{"value":{"amount":"+0.8664857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4798207$902B9ACE-4254-4163-896D-24E970907202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On translations of complete first order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_translations_of_complete_first_order_theories"}}}}}