{"entities":{"Q6535787":{"pageid":14146930,"ns":120,"title":"Item:Q6535787","lastrevid":55588594,"modified":"2026-02-17T19:18:13Z","type":"item","id":"Q6535787","labels":{"en":{"language":"en","value":"Finite model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7808166"}},"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":"Q6535787$498BF4E2-BDF3-4EA6-AF88-ED503E0F0EAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39f913a34f9989d28b11547e74cd2554ca7a0894","datavalue":{"value":{"text":"Finite model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535787$8EFE08EF-4CF8-405F-8F20-8DAEE79A10B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65fa927fda907f29ae16ea7af9e5db25cf9e087c","datavalue":{"value":"10.1007/978-3-662-68322-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535787$B92DBCA3-C946-4ECD-B091-D8A59D878807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9dbbb2902d1d8757dcb01a65c0510f1e461d605","datavalue":{"value":{"entity-type":"item","numeric-id":208735,"id":"Q208735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535787$CACAFD04-05B5-4ED8-8E30-E725995ED129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53360f7ab3681474b85d2627dbbaf9766814842d","datavalue":{"value":{"time":"+2024-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535787$770B0169-C9E4-4599-92CF-44D4EBC33909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535787$BC208B22-AFD0-4AEF-A80D-D6BBAE5C71B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535787$7940EBC7-EC6B-4939-A2A0-470155D0207A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07d93e1440e580bec714b172197f1fe8d00ba0fb","datavalue":{"value":"7808166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535787$6745D645-75D4-4C3F-A12C-00ABF4653099","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":"Q6535787$B5CC114D-9C40-4B1C-BB87-9A4641D2ABF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea8520bb657f4377aa4b321d6b9d6ec37846b9","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498a56b7566ca55e9d4c2709f4c692ce1522d8fc","datavalue":{"value":{"amount":"+0.89040207862854","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":"Q6535787$7A63CA8B-F818-457F-91DC-25B6149C324F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76070a8093f9d25482e82f14d5133bd448208b11","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9374cb4727131e795c46000fa04f5240b3ce44","datavalue":{"value":{"amount":"+0.8837118744850159","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":"Q6535787$F69D0CA6-0141-430C-B316-A04F550CF862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b24be8072cbc674fdec33b94ea8c715af711a87","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1b240b3b615d09a56ace4da7269ef31389b6a8","datavalue":{"value":{"amount":"+0.8762873411178589","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":"Q6535787$5CF7425E-9A5B-4CEC-A724-F754630A0646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbdf0c658476c03bb87908b9ea4f26aaa2e37c8","datavalue":{"value":{"entity-type":"item","numeric-id":4694685,"id":"Q4694685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82ebbcae7503581799d7d5a3f403d1f8af67184","datavalue":{"value":{"amount":"+0.8285917043685913","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":"Q6535787$D1C1BEFC-13BF-4A2F-8286-684F56E22AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae92d6cde6789348cecca8be1272bef98a98007c","datavalue":{"value":{"entity-type":"item","numeric-id":688663,"id":"Q688663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101cb285df2aaf88f27c27a6d5a34045e85a339a","datavalue":{"value":{"amount":"+0.8048572540283203","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":"Q6535787$BDC6A95A-8FBF-45B2-86CD-BBA355021BA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535787"}}}}}