{"entities":{"Q5404472":{"pageid":7434046,"ns":120,"title":"Item:Q5404472","lastrevid":75596611,"modified":"2026-04-19T20:59:13Z","type":"item","id":"Q5404472","labels":{"en":{"language":"en","value":"The first-order theory of ground tree rewrite graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272595"}},"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":"Q5404472$7B7856C8-EBA8-47F3-806D-87646F2E1A03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bd214c06b0e471153d99f7f7fe0a13c086787c8","datavalue":{"value":{"text":"The First-Order Theory of Ground Tree Rewrite Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404472$ADFE9A63-2FF9-4C8A-BE66-19232B2F8F93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ff90a4975f6b69b8eb11602bb5b56b39c3c5752","datavalue":{"value":"1325.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$A15A24B3-25DA-410B-83FB-F6CC5E2FE45C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2c0334b9e4c131612166e7f485aa7b2a2edbe14","datavalue":{"value":"10.2168/LMCS-10(1:7)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$F5102372-532B-418E-A609-A318077F2E40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404472$6ECA1BB1-85B8-4896-98DB-A8DFC8F1689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404472$4C6BE640-8460-4206-B99D-0769C5294F4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404472$F0AAEEB1-8949-45C7-9D97-6973773FF462","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404472$BDDE2B1D-2006-49DF-8DAA-96FFE2C488EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$EEBE0824-6FDB-45DF-BBB8-BC613B449FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$624990A1-0015-45AD-A411-27C7A853A770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$7C97CAB6-EF3A-4AE8-AD65-4784B3FA82EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$187DBCDB-A8C3-4379-ACBB-C15E1D39C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$EB4E64C8-B1FA-4409-9596-55E20A0123F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$209AD536-3F0C-422F-A7EC-8A2660A091D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0c6673b3c22434672d0db9664560a7259730187","datavalue":{"value":"6272595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404472$FA10B238-52E0-4872-B7B1-AF2B724C4DEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2b1f3b1afe117289e90f8997b535557caef19d","datavalue":{"value":"ground tree rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404472$F0CFE1CC-A4A4-4BCE-8BB2-FB37DB7993CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b045251654ff83f748f5c903751990b4c856abe3","datavalue":{"value":"complexity of first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404472$DDE1968E-D006-476E-B541-ED7C6C9B1A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894a08f3a5ee61d048fcbcaa36743f9a8e5415c0","datavalue":{"value":"alternating complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404472$25F19659-E631-42F2-BFBB-1ADC84611377","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":"Q5404472$472CE233-9C5D-4BB5-9338-9825A4322991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e754e3370e7417ad2c941630a4318728f9b9144","datavalue":{"value":{"entity-type":"item","numeric-id":2911631,"id":"Q2911631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b30f407e3150d3d249f360a40db9f92c2648f0","datavalue":{"value":{"amount":"+0.997405171394348","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":"Q5404472$3F916A71-C701-4DF6-BB77-FE07A21820DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c655982117bb9334ecd4511621b461c3fcf84f","datavalue":{"value":{"entity-type":"item","numeric-id":4736871,"id":"Q4736871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99594a950550334e07cb1905aa3fccf9c68286af","datavalue":{"value":{"amount":"+0.7765816450119019","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":"Q5404472$AFC8A057-5F6C-47AC-9CD0-AD732A85D960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c262dd70f609f503dade0299509892e512f4f189","datavalue":{"value":{"entity-type":"item","numeric-id":4737148,"id":"Q4737148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f6167cd8fa6f30cd067e3ba8bd624b51ff2996","datavalue":{"value":{"amount":"+0.750444233417511","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":"Q5404472$B0C406E3-BEA2-45A1-9FCC-882433EA4731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d83760fc8c4eac632fdfbc67f6ca9de08a5c388","datavalue":{"value":{"entity-type":"item","numeric-id":3614383,"id":"Q3614383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b274b7e2ba17984a3512f8c2afc0bb7f645b2ce3","datavalue":{"value":{"amount":"+0.742779016494751","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":"Q5404472$69269AA7-0097-4FB1-84BE-F9A15530A807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d567c98d878947db69d992df7ab8113c40e11c","datavalue":{"value":{"entity-type":"item","numeric-id":2432538,"id":"Q2432538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0750abc17d122979581555959bf99a1d7686255","datavalue":{"value":{"amount":"+0.739348828792572","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":"Q5404472$3F087D30-0680-44B7-8C17-ED7A680A914F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The first-order theory of ground tree rewrite graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_first-order_theory_of_ground_tree_rewrite_graphs"}}}}}