{"entities":{"Q2885204":{"pageid":2895929,"ns":120,"title":"Item:Q2885204","lastrevid":83906159,"modified":"2026-05-07T13:41:56Z","type":"item","id":"Q2885204","labels":{"en":{"language":"en","value":"Algorithmic recognizability of the finiteness property of finite-definite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037273"}},"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":"Q2885204$0166E7FF-CFA1-470B-90F9-2E3A1489A3C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f77a2988d788f5c7cf32024260bebf8445bea5c","datavalue":{"value":"1249.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885204$77F0616D-5C03-4C32-807C-21524B1EAFDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e19cd7fddb819747dba7095a43e5d7eb6b8d38a","datavalue":{"value":{"entity-type":"item","numeric-id":2454491,"id":"Q2454491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2885204$2CE44D97-F82E-42F6-B4BD-26C9187CBFF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c77f9a8b23c994c57efbed811891089ca76628","datavalue":{"value":{"time":"+2012-05-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":"Q2885204$21D98DAA-A30C-4FDF-9BA0-4DFD344FA835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885204$BE18B11C-646F-4D12-878E-C82AAF0FB8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885204$348C1045-B9BB-459A-825C-334AD819C012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ba600ce6aedf4b3386959bed81fce1c9d30c4c","datavalue":{"value":"08A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885204$85DD8916-F164-44CE-921B-632DA72E5295","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"007835d96ee6ed60012e9deef88fa0ae6649bde6","datavalue":{"value":"6037273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2885204$0DD828FF-32B3-4896-A42A-2DB843293C7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c998d46345cac1191632232d40e7dc079c712e3b","datavalue":{"value":"finite computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2885204$81E3A05D-7542-4C76-A472-E07A4539BA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fe636b0ab1f283849c2de9ebfa071ac2ba24c1c","datavalue":{"value":"model-theoretic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2885204$52E9C8EF-B0A0-43EF-A15C-84D21BF922C9","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":"Q2885204$7D57640B-425E-4823-8847-A7A8A5BE611D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e47603152901b4142c0854dda8c8c5e38c048240","datavalue":{"value":{"text":"Algorithmic recognizability of the finiteness property of finite-definite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2885204$FDFFF94E-9D45-4D9A-A0F2-220B0AD1D37A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a759a6aa711e0f4b33e673c6ad25e33676785b47","datavalue":{"value":{"entity-type":"item","numeric-id":6773955,"id":"Q6773955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2885204$8EDBF803-A155-4804-9FFC-D11B9609690C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb04510126a1559d97d38c5eeda01090a9ae173","datavalue":{"value":{"entity-type":"item","numeric-id":640937,"id":"Q640937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916bae76980888b446d525d8fe8cf6d26471a8ab","datavalue":{"value":{"amount":"+0.7598695158958435","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":"Q2885204$66C3B1C6-8743-477E-BDC4-66B90A1A7533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04eedd56b4ead71ecfea4d8cc97c7b3b81fafad2","datavalue":{"value":{"entity-type":"item","numeric-id":2904444,"id":"Q2904444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05183a856acb84900ff9c32a7b22f9b6065d87f1","datavalue":{"value":{"amount":"+0.7473053932189941","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":"Q2885204$E033BCA4-DB62-4AD0-B2C5-171F1D151EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605474812e18e582e69c9e6a66c9a4e454fdbd46","datavalue":{"value":{"entity-type":"item","numeric-id":4802802,"id":"Q4802802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e359d7cfe783219113a4d5a9f6585986ed87a4","datavalue":{"value":{"amount":"+0.7460877299308777","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":"Q2885204$2D4E4EEE-2FCF-4F7C-BC62-BEC37BB9F034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679da436cbeae45fdc32122da4e744b898d4cae2","datavalue":{"value":{"entity-type":"item","numeric-id":5445418,"id":"Q5445418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d091ecd5af15d89bf788b7fe18bfeca9f29f3e03","datavalue":{"value":{"amount":"+0.7457278966903687","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":"Q2885204$049AA9E9-EF4F-47E4-BF39-B18C31786B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bd19502da871eac48fd6a3045b80574449d6af","datavalue":{"value":{"entity-type":"item","numeric-id":5501763,"id":"Q5501763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25bd5459ec6386c29b540d5e56cb71b4110d3fc2","datavalue":{"value":{"amount":"+0.73948073387146","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":"Q2885204$BD52C6E5-6868-422D-A6D5-83529CD968D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic recognizability of the finiteness property of finite-definite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_recognizability_of_the_finiteness_property_of_finite-definite_systems"}}}}}