{"entities":{"Q1044230":{"pageid":1046078,"ns":120,"title":"Item:Q1044230","lastrevid":69500217,"modified":"2026-04-13T07:25:19Z","type":"item","id":"Q1044230","labels":{"en":{"language":"en","value":"Constructing infinite models represented by tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5645708"}},"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":"Q1044230$68DE3071-2DDF-4A07-8B93-821C7CCC02B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1815d0dc69f3ac500778bcb66ae1b413065b90cc","datavalue":{"value":{"text":"Constructing infinite models represented by tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044230$992F1B75-8A15-4635-9AD0-A316EFAC1ED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a773115f2a4a14137ae9af5b603f8cca1596dda4","datavalue":{"value":"1183.68562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044230$A042F260-DA70-4BFA-9E45-DA4D1C15D96F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$EC0CCBBA-8FFF-4531-A9D2-064992F82D1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$D432CC89-ECE0-4CF2-8868-7A78D762E7EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60d299e7db113c73bf4e2404b159c8b142acf49f","datavalue":{"value":{"time":"+2009-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044230$614D3BB0-1C85-499D-BA37-230A3A4E15A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044230$0A8E7653-0CF5-4E9B-BFEC-667DFBD1187B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044230$82BFA625-D27E-4F0D-8AD1-3DC21A62DDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044230$51F15A60-2429-41B8-9B09-D518FB6EF15B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5da79eaead4a4aff214272bffb15b673445e4505","datavalue":{"value":"5645708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044230$B342A13D-6EDA-41A1-A265-7380EF3DF9EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05273dec6d7dcb1df290588d83a59263a52836f1","datavalue":{"value":"finite model builders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044230$4016AF21-CEA5-4B9D-87D4-AA4000FB95FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$A0B1FEF0-4347-4AF7-AB7F-B8F590E7C018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$B4636983-C89C-4E63-9FF4-0C89A65DE75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$5294F204-EFB7-4899-869A-8031C90EA1AE","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":"Q1044230$D6487BEA-7ECD-4678-9FD5-7AAC3E3124AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee51318dfbc8e953242e8c13110da7e98e722625","datavalue":{"value":"https://doi.org/10.1007/s10472-009-9143-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044230$0DC0FCEA-373F-48DE-98A2-E1E85C026EF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4090252e37f4d7446fa099abe2e1f64e3876fd2e","datavalue":{"value":"W2095271291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044230$3DF072F1-5578-485C-BE72-F9817527F458","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0ff244443394fb2f8da7c07b5979a22182170f","datavalue":{"value":{"entity-type":"item","numeric-id":861703,"id":"Q861703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$53FC72C2-E4BE-468A-B1E6-AF534BF4010F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6721be9751bbd7d2f2ed196912b01f292059134d","datavalue":{"value":{"entity-type":"item","numeric-id":2723420,"id":"Q2723420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$374C0A70-80A3-4DE4-8F2F-9AEE631F3114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0b555d657cb1f5a17dad4f6c65786062114626","datavalue":{"value":{"entity-type":"item","numeric-id":2487870,"id":"Q2487870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$102A8508-0704-44EF-9F92-77494A3B2DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1867080c0034d7856d12fe14b76198e231d90233","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$5856F1A9-BB1B-4EAD-997B-6C1BAD1F8B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7557eba9cc45245cd7bd26199a47b6fb4b42800f","datavalue":{"value":{"entity-type":"item","numeric-id":5394628,"id":"Q5394628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$1D49BB4E-9144-41F8-ADB8-7807CC3993E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$7E79E0E8-E7F1-449C-BD04-0246C95C3486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc1f54eea4d421e7afeb66abe59986054438471","datavalue":{"value":{"entity-type":"item","numeric-id":1854418,"id":"Q1854418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$2C84DDDB-5A43-41F0-9838-7D44C2959B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952f869d8d49e312a3c92e5977855978f654a1b4","datavalue":{"value":{"entity-type":"item","numeric-id":4209295,"id":"Q4209295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$FB939B0F-D814-47F5-8613-553D63CC8677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314baa057048aaebd8f92e921c54230f63f83ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5505496,"id":"Q5505496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$4A09A5F0-F113-43BE-8E73-B421FA84A4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044230$B53A106A-1F23-4D2F-8E1B-9C3912A7FCE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d3911703e07b9d23ad50a72135bf083968492de","datavalue":{"value":"10.1007/S10472-009-9143-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044230$CD53C58C-FF12-495E-92DB-971531990F61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cefb701784a16939bba13f30dadcd92d23de286","datavalue":{"value":{"entity-type":"item","numeric-id":5505496,"id":"Q5505496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef433793fb3423701bc1ee9ce806f5a4a56f64d","datavalue":{"value":{"amount":"+0.9226654767990112","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":"Q1044230$7257D968-F56D-4E3A-8F06-9E1FD5F4546B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebca772138c49ee95355c350048d9a51596d8375","datavalue":{"value":{"entity-type":"item","numeric-id":4349580,"id":"Q4349580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbd09fa717ac34e4ead927492b6b90bf591d636","datavalue":{"value":{"amount":"+0.8100146651268005","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":"Q1044230$C215565A-3C4C-4627-AD86-91BE28A0177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7574bda1ba00b7aaba203676d26de19e64ef8281","datavalue":{"value":{"entity-type":"item","numeric-id":5927982,"id":"Q5927982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d16fdd8e80a0d8b3e21e797ae1bb38f85d40e6","datavalue":{"value":{"amount":"+0.7699453830718994","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":"Q1044230$6227EA1B-58E5-4F57-A711-D52272EE04C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667965eda0811ad64eecfda4a537c2bddfda7e40","datavalue":{"value":{"entity-type":"item","numeric-id":4364515,"id":"Q4364515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54f9df8374f7983b16a156a8d3951d77247e38e","datavalue":{"value":{"amount":"+0.742851972579956","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":"Q1044230$A5737EA1-C65A-4908-908B-64A45A9FDDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e852ecac704111aabe2b11bb9d7771b06a87f2","datavalue":{"value":{"entity-type":"item","numeric-id":1404975,"id":"Q1404975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9a88182c67fe05f0910fc0a6ed72750cbe6c53","datavalue":{"value":{"amount":"+0.7348754405975342","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":"Q1044230$99914F29-5978-411D-AC99-6710D9DF399D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing infinite models represented by tree automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_infinite_models_represented_by_tree_automata"}}}}}