{"entities":{"Q1976880":{"pageid":1987622,"ns":120,"title":"Item:Q1976880","lastrevid":72162582,"modified":"2026-04-14T03:02:50Z","type":"item","id":"Q1976880","labels":{"en":{"language":"en","value":"On stability in finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1443415"}},"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":"Q1976880$6BA00F31-8F59-4BED-917A-9EAE2CF920ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaed5f222023ce27b60e30432137e960a8dfc4bc","datavalue":{"value":{"text":"On stability in finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1976880$2CF5CD4F-9A8F-4E04-9158-D19C2A95ADB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d32b63609f69a316efe4eb08c7ed6dbd5d125bd","datavalue":{"value":"0972.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976880$3CBC9A0B-5D4F-41C1-A04F-40BF13314CE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bea1d0142d11d1c2ccc74930bc0b7645a3b45e9","datavalue":{"value":{"entity-type":"item","numeric-id":169439,"id":"Q169439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976880$44A701F2-F9D9-44ED-94E0-6D53E48FEE0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976880$C6E726A4-EFA7-4DA3-84D4-8D5D992361DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1976880$B1C86F9F-58E9-432E-AB49-9209998F6F39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81ea004ab57f46685eb2b40dbb6dba859151ce74","datavalue":{"value":"The author presents a set-up in which basic results from stability theory (relationship between stability, order property, independence property,\\dots) of infinite models hold for finite structures. Types in finite variable fragments of first-order logic are one of the central notions; it is quite hard to understand the definition given in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976880$4FCD77B9-406F-4362-953D-B206D488F55C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976880$10F26E86-57FB-43E2-9C5C-17FA1E69296A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976880$8E4AEC54-CBC8-4502-AC58-507D3AABFFB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21d833cca5982d8aa417f8a5d125c2a4fe17a5f8","datavalue":{"value":"1443415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976880$2E3E0DF4-F726-40F5-BC17-34EAF9413FF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976880$BF92504C-0320-4E67-BEE0-0DE9606B10E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709702f788547918eadfc61f451f29a05a6b5b81","datavalue":{"value":"finite variable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976880$2C08C6DB-5C7F-455A-92B9-5C1B8156F798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7727eafffda3289917ad7627d8becbc8460953dc","datavalue":{"value":"stability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976880$42BEFB7B-26F1-447F-ADFA-030391688657","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73a1643e41698b2031364550f847827b09b1ce33","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976880$3B772620-C348-4ECC-B65D-51F9029AC804","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":"Q1976880$65CE0278-B334-44C7-A734-C81893B26B75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a563001ed6347c56f9c48a470cfa91cee38087d7","datavalue":{"value":"https://doi.org/10.1007/s001530050005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1976880$EA7E8754-80DF-4224-818F-1E1D97EE068B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"240285da0d613adfcd62b7b4bef318b6ac6266d3","datavalue":{"value":"W2063790790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976880$3DA117F4-0868-4D0E-8A02-311E0512EDB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"190cf7aef2940924ab80915a2cbe90ce84f040f4","datavalue":{"value":"10.1007/S001530050005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976880$3AEA011A-A939-4027-A6FA-B3061AD6E26D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42384e56ae2a3d0e1e87e13f90a1ea680ef41a07","datavalue":{"value":{"entity-type":"item","numeric-id":4936135,"id":"Q4936135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3e2bca1f6506e1fcc22cc2c31836ec046d8baf","datavalue":{"value":{"amount":"+0.7667988538742065","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":"Q1976880$2843E107-EF56-4B0C-A1D1-EBC26692FF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27e3ff084724cc97b56d05e092adc2d34349044","datavalue":{"value":{"entity-type":"item","numeric-id":4381409,"id":"Q4381409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4918c6aa046211f2b24a007d87fd694341651fde","datavalue":{"value":{"amount":"+0.7630217671394348","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":"Q1976880$24425590-382F-45A9-A909-2541DCEE62A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d735c76e950c19ca72b57b09f63dc9a460762e28","datavalue":{"value":{"entity-type":"item","numeric-id":2747724,"id":"Q2747724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a299bf454baea3a53f8702b19eb90b55940de92","datavalue":{"value":{"amount":"+0.762387752532959","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":"Q1976880$E7E1C215-665B-4198-A220-E4B0A4C96578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5baf53e4045fc7bc79499dc1766e3964d929a031","datavalue":{"value":{"entity-type":"item","numeric-id":3172383,"id":"Q3172383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41719f1cfcda7c2d493ebb489af1cf2b334ef8d","datavalue":{"value":{"amount":"+0.7583098411560059","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":"Q1976880$AFB16BE3-F909-47C1-8BA6-110342C475C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On stability in finite models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_stability_in_finite_models"}}}}}