{"entities":{"Q813079":{"pageid":814927,"ns":120,"title":"Item:Q813079","lastrevid":64530432,"modified":"2026-04-11T20:30:40Z","type":"item","id":"Q813079","labels":{"en":{"language":"en","value":"First order theories for partial models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5002526"}},"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":"Q813079$A7FAC3EB-EEDE-48D0-AA26-042465EC01BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62282d1551480e5bc57073d1173f9bd9dc86bfd7","datavalue":{"value":{"text":"First order theories for partial models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q813079$A62220C8-1844-4813-9841-2BB5E7918915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ee60e082b7e2a0a1386f29fa58402c3b220c7f5","datavalue":{"value":"1086.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$2DE17F22-8491-4BFA-BF86-BBC2FE6312AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"635f3d64541300c95d4dedf4c61b3905d6f57320","datavalue":{"value":{"entity-type":"item","numeric-id":813077,"id":"Q813077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813079$58093909-41E4-4F11-94E5-9DC2CA664FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa879ce8a51ce7da336e6e415a6a227601724b5b","datavalue":{"value":{"entity-type":"item","numeric-id":813078,"id":"Q813078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813079$426E1FB7-0465-4003-8A93-AEC95C36C716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813079$759E7DA9-B4C8-42EA-9F09-1CE7383229BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e85d50ed0268da19dacce71e99c4b69a3ef5199","datavalue":{"value":{"time":"+2006-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q813079$87589B9D-EACF-466F-9573-264491D21B8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$FF5A5455-431C-4C15-9AD4-4362A5797EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$CC78CEC8-954E-483F-9488-C1CB22F09980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$12918CBC-A650-4F33-9337-8AD2D4318882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$461ABF41-909F-406F-9CA8-D525020F39BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$B1EEBF5E-DA76-4396-8594-61E8D55998AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"207d41cfefdd4c9edc5c149bf1cbfd8f1baec636","datavalue":{"value":"5002526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$67264055-A844-423E-8A09-0A75D47838A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q813079$A6C5F742-8965-4501-8983-4A31F2000E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c275ada553f98382af3589e95af1c9a57c44d01b","datavalue":{"value":"partial model","type":"string"},"datatype":"string"},"type":"statement","id":"Q813079$247B6820-80CA-41EB-B665-66DEB5ECCB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef23eca485d4406ba22b1553d154f0247ab251d","datavalue":{"value":"extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q813079$5C066741-7CE3-46E2-9842-CB154F0CBF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4109d3493497fac02294c74b8eeec71f8a89dcc","datavalue":{"value":"possible sets of sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q813079$80871BED-033A-4ABA-BCFD-437CF81F8303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8195b3e5c76bc652529694b4e6e37f7f6cd3a2b","datavalue":{"value":"infallible sets of sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q813079$8111D0D4-AEE2-41DF-8E2F-8AB37F66201D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b2d0c5989657bae48c87d2d12263e8c0bbd7c36","datavalue":{"value":"standard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q813079$DF37C13C-73B3-4C3E-9331-A89B352AC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q813079$0E534B89-52AC-4D5C-AA99-2B67582C5096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q813079$79F6B40F-21B0-4F90-8322-9A826B3C3079","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":"Q813079$0082674C-4585-4A6D-B308-1406A8705486","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d651be65bf7a8cf8ddd954b6465a41852c73e38","datavalue":{"value":"https://doi.org/10.1007/s11225-005-6779-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q813079$9880452B-103E-48B5-992A-A75B861C402E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cc046a044d8e87b817ff1e978dfcc211ceb2ec6","datavalue":{"value":"W2038131626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$CE5AFF59-290F-4F8A-90E9-253116003B74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813079$EB70FD78-5852-452D-BD1D-A0841E3AFEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813079$92D33945-6967-4F3C-B07F-992ABF8BDEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813079$7702ED5A-9A0D-4126-9E44-C7A5A41F6AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e3253257d348c790f2cd4b6b74e22435c39ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4438098,"id":"Q4438098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813079$F0BFD7B2-0420-4C99-9638-D68982EA8B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc9f6ada6e5096b16a8bb37ea87400bbb0b53b3","datavalue":{"value":{"entity-type":"item","numeric-id":1035840,"id":"Q1035840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813079$8DBD1542-EF2B-4826-AC06-E8749BA35311","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfd48e716a425f6e42a6c742bad9b930de9e87d6","datavalue":{"value":"10.1007/S11225-005-6779-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813079$19D0C8D3-F763-4795-BC41-9E2B31787ABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edeb131e34a02a8e8a955f9176f0617f73d5e202","datavalue":{"value":{"entity-type":"item","numeric-id":3680246,"id":"Q3680246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62bfcbf40b57698ca6833b2cd3e2c56fc4b32dab","datavalue":{"value":{"amount":"+0.8721139","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":"Q813079$BDE03AD5-A11E-4D44-84CE-A144FE44FBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5c5a227666b5df02e7ad0c8adf32e6c60de62a","datavalue":{"value":{"entity-type":"item","numeric-id":607761,"id":"Q607761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6afe1c6ae9b1dce3f75683923c932313539acf","datavalue":{"value":{"amount":"+0.86549187","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":"Q813079$743780C2-42A7-4E12-BE12-CC985CC54EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2bc56fbb7e6df814fc89b2a52d60c2d106e6f4d","datavalue":{"value":{"entity-type":"item","numeric-id":2655752,"id":"Q2655752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09c2cc07636ab72e20c25d5e2b5fc7558f0415f","datavalue":{"value":{"amount":"+0.8592177","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":"Q813079$CBE62935-11D8-4C1B-93D6-EA4EBB49E9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7a62cdb2945429a6aedc88842b276c8a84cb18","datavalue":{"value":{"entity-type":"item","numeric-id":878233,"id":"Q878233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221770a8c3c4175e2fba4240882e0ea16cd3e335","datavalue":{"value":{"amount":"+0.858227","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":"Q813079$B1E9CCAB-AD45-4C26-B107-85554206C73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cffd5ebf8dfa9639887aa1690f633bf306f8c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2945706,"id":"Q2945706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9e739f7adf032590a71f1a429bbb6532508ec0","datavalue":{"value":{"amount":"+0.85428333","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":"Q813079$D52813CC-1DA6-40B6-9BDF-AE06B32C638A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336a295948b4612660cca8cf7bc92751b55f83ec","datavalue":{"value":{"entity-type":"item","numeric-id":387121,"id":"Q387121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e9df616672c3fdffdc2a9d311f869c3d5d9bac","datavalue":{"value":{"amount":"+0.8522834","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":"Q813079$DA29257E-3F3E-4AE0-A287-DE60E4E33EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a0ff7fe1b9794ac1ba6f58a134d65fca35c7cc","datavalue":{"value":{"entity-type":"item","numeric-id":2003929,"id":"Q2003929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d6afbd2da6fbc4c1f33debaa654f6dd4c9d5aa","datavalue":{"value":{"amount":"+0.8519898","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":"Q813079$82810E66-6396-481B-AC80-A9766A27476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587928473c713570802984c6d141de7df55a3c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee5d1c56566b02151b5fb6ee9e1f0dd1fad9440","datavalue":{"value":{"amount":"+0.8501127","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":"Q813079$D5218B8A-AC2B-4491-9E03-42E8C8A20FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cf4a098c4740b58a63a324276145b1e9ddbc66","datavalue":{"value":{"entity-type":"item","numeric-id":4028090,"id":"Q4028090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8596a33f07b3a97f726faa6b454d7ca07914c923","datavalue":{"value":{"amount":"+0.8488314","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":"Q813079$0BA1388E-4338-48CF-84F7-A21959921383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a412e6befa3d8ed35bf049916a8f4b76682781","datavalue":{"value":{"entity-type":"item","numeric-id":2767348,"id":"Q2767348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbd9e970c9a47940e0b5ce1a1caa4208a1d2596","datavalue":{"value":{"amount":"+0.84873694","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":"Q813079$6CF3E746-C649-4949-9B36-982592BDA879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First order theories for partial models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_order_theories_for_partial_models"}}}}}