{"entities":{"Q7034862":{"pageid":21712056,"ns":120,"title":"Item:Q7034862","lastrevid":77522558,"modified":"2026-05-04T15:32:07Z","type":"item","id":"Q7034862","labels":{"en":{"language":"en","value":"Model completeness for rational trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977158"}},"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":"Q7034862$3359BCC8-E388-4A2E-86E3-71198F5A306C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74a258bf50535c48714d9d8b7b1db7a3fc794b12","datavalue":{"value":{"text":"Model completeness for rational trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034862$9BB886D5-C0D3-4A26-931A-CB93FE91C00A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a79a421a8153e78f8750b7ca9a1529b9b4709c8e","datavalue":{"value":"10.1007/978-3-031-63498-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034862$12230E6B-78ED-4E4B-9A35-466E55A63CBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$0094B9E1-18EE-4EE3-980F-89A89BEDFD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00c18ef453d02a2e44c80033e237eb2321b476a1","datavalue":{"value":{"entity-type":"item","numeric-id":7034861,"id":"Q7034861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$BA83DFF5-E76F-4C66-B177-6BFC7086D655","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034862$8DA66203-D2A6-402D-83CE-392148A623D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034862$84F1F5B6-B5B1-4860-914E-257876165D30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdf2756fe4a10928dc04871493cc64d84102b147","datavalue":{"value":"7977158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034862$BB0276D0-CC52-46D6-A7BD-218382EAD14B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$667C2C6F-003E-46A0-8586-8E048B78FD7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034862$F99285B6-0D0D-4E66-933D-14F9E419A847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034862$3FB99807-9FF6-403D-BF4D-685B2F51DE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034862$EFD0E56C-5355-4694-B323-F008DEA2199C","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":"Q7034862$3DF93E15-8A48-4E02-A7A4-A5664091936D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208f03916efe6a5597738889b82e1e0ee46e6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2751364,"id":"Q2751364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$29D07C78-9221-41B1-9BDC-B55227AB492B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$EA45EA04-6413-434B-8C5D-620C2BE38E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a058fc6e8406a2b9dca3a9cafde2b45591ef997","datavalue":{"value":{"entity-type":"item","numeric-id":3514890,"id":"Q3514890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$10AC8F4C-E2F8-4BC2-9B60-6A266D9F3A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90549770af885994f6274f2616728935eb95e930","datavalue":{"value":{"entity-type":"item","numeric-id":4551136,"id":"Q4551136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$9810BE5D-608C-47AD-A807-2A07273BB23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a870b19631708eb69bb25451d9a973ef0aba0ec7","datavalue":{"value":{"entity-type":"item","numeric-id":4472257,"id":"Q4472257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$11576B66-E725-487D-AD36-B532B1500B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf2126ec31c7fc7d45c247c9431c6fae536e374","datavalue":{"value":{"entity-type":"item","numeric-id":1431342,"id":"Q1431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$7E9DF15A-4A20-467A-AA81-A59B3A66DEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$EF87A857-B315-4AEA-AB0B-66CAC4B23A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$449468D2-D84C-4497-ACEA-83D54E150F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf680f30074d969a61a9cf72b51ba2f94da19b67","datavalue":{"value":{"entity-type":"item","numeric-id":5730894,"id":"Q5730894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$89F2D8BD-7535-4127-AD6D-1389BFEFC9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75c602566bbe7ea047934d44de374c4fc4a4472","datavalue":{"value":{"entity-type":"item","numeric-id":1812980,"id":"Q1812980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$694133E9-448B-49AC-8805-3198731394AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$29FE8C6D-1AFC-4273-835D-0EE1D1BFECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$8FB9BBE8-1B8C-4CCF-9760-9AC7383A655F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09716697edb234ce77c2288fe827cd22e3a8915","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$97766CB9-0DE1-40AF-84F7-0E2DE227828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa22eac2d5e325e73fcaec20346664e869be59ec","datavalue":{"value":{"entity-type":"item","numeric-id":4647523,"id":"Q4647523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034862$C8AE5EF1-BF4C-4A39-879D-E9B4227752F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model completeness for rational trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_completeness_for_rational_trees"}}}}}