{"entities":{"Q3172386":{"pageid":3183096,"ns":120,"title":"Item:Q3172386","lastrevid":51340871,"modified":"2026-01-17T20:20:35Z","type":"item","id":"Q3172386","labels":{"en":{"language":"en","value":"Model theoretic methods for fragments of FO and special classes of (finite) structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954208"}},"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":"Q3172386$5FAF874B-1502-4FF0-B1CA-8AF2E433721A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35821447531d4182d79b89b5b264cca034f9bd1f","datavalue":{"value":"1248.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172386$80DB5482-6900-4CFA-AA3E-8657D91A74E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172386$C0F3A89A-3B55-467B-AF7E-53BECE83851C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d61797d3b83ae7c2d72d91eb4de841b7a5cf41a","datavalue":{"value":{"time":"+2011-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172386$34EB6324-9CD7-455B-A59D-19CDB140CDA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172386$BBFABCF7-56A5-4517-924E-BCCA1D6B40ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172386$1CA69B85-0886-422D-B029-822B2FA4945E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0711d83ba4379f089b8d76d6aee4240453382540","datavalue":{"value":"5954208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172386$AB68227B-EB25-4940-A8DC-363D11C045B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$CA82FFB7-A6C6-48C8-A2A7-D682AF51CA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$97AA784C-14B5-48F6-AEE2-90E066B58E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d787771077b189a2482cb7ef83e1ae8134851fb4","datavalue":{"value":"model-theoretic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$CA685C08-9B2B-448F-8468-2F8F96285497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$C4A101BD-24EE-4C88-AC62-FE9CD2391AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$B7E0189F-EB47-4C81-8EB5-72583170A625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fadeb303585ca123830aa0297bf6032fec1818b","datavalue":{"value":"guarded logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$C5458D85-20D6-4BD0-89FB-D03D6F46FEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$7CED9D74-2C1C-42F0-9B08-045C5C9DFFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a973ca6b294f3c624d69e8067af106d806cde77c","datavalue":{"value":"preservation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$72ED4693-ACB4-4988-9114-A327D41B7E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e09af8415d2bebabd3a00ab4d8c02b50db9d68","datavalue":{"value":"characterisation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172386$3449F83E-EB41-469E-9873-C40BBBF35CB7","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":"Q3172386$7319385E-A128-4BF8-9F7B-DFE785A7FBE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062ce89ec1163db1ba1c778f8e56fc268e119410","datavalue":{"value":{"entity-type":"item","numeric-id":490672,"id":"Q490672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc26047ec52d1b9ce8f080d23e1c73d71bbab16","datavalue":{"value":{"amount":"+0.8106226325035095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172386$5CDB3506-F45F-4F1A-A4A6-91D3CD59B2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789533f0d21b6baa5a5f1a3b29c676f9bb3be91f","datavalue":{"value":{"entity-type":"item","numeric-id":4783312,"id":"Q4783312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb02f03f202f7b72cc20e2a347ff9c5f768d73d","datavalue":{"value":{"amount":"+0.7575607299804688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172386$19FA1BB0-CE13-4A69-B904-B33D36F58977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60bdfb1d24a61ff6a4cde85147b64b891f2386","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed14fdab1aea611b39d4e709a89765c196bc802","datavalue":{"value":{"amount":"+0.7426684498786926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172386$706DB2E2-09CD-4563-8C79-A29E75456285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe827bbe0fc97db4a32b044296fdc3d6ca882d3","datavalue":{"value":{"entity-type":"item","numeric-id":4249221,"id":"Q4249221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7856295c3a78206d325519d6d6f8dfbfda437844","datavalue":{"value":{"amount":"+0.7416640520095825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172386$F41D64D7-A992-4E1F-9C1A-99AA7940ADDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3750647e653badb1cd7c44d2549c2de13aadbc9","datavalue":{"value":{"amount":"+0.7373572587966919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172386$4A14F103-B279-4A2E-AB7B-AEFD23877CC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172386"}}}}}