{"entities":{"Q5222948":{"pageid":7252518,"ns":120,"title":"Item:Q5222948","lastrevid":53469707,"modified":"2026-01-25T00:29:10Z","type":"item","id":"Q5222948","labels":{"en":{"language":"en","value":"Decidable inequalities over infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076864"}},"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":"Q5222948$8214B5F1-6858-4D91-A1C4-979A146063B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"359ff7dad0eef7a1be81c4de6dfdb64cead6c2e0","datavalue":{"value":{"text":"Decidable Inequalities over Infinite Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222948$904C8D24-786E-4A72-BCB7-C5BBCDE3B01E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fd8f9309b7fb726477181afdfeed348938a9794","datavalue":{"value":"1415.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222948$6652D75B-7C41-497B-810F-2266684FCA95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a234e1d5cb8cd6f367aac6b77550aa04466512","datavalue":{"value":{"entity-type":"item","numeric-id":4645733,"id":"Q4645733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222948$683956DD-C15C-4880-A0CC-A48843299CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3eee02b3435de9df7803ad05ce1f6b032bb186f","datavalue":{"value":{"entity-type":"item","numeric-id":2398173,"id":"Q2398173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222948$A0A232A1-6273-4DF1-9ED6-964FB9EB1EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222948$4B59025F-7CB1-440D-8000-B1737C69087D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222948$D0ABEB9F-79CE-4907-B5A2-1ACD2E27DD72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222948$8709BBC4-9D02-43F1-B9CA-E8BAAEF5B08A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222948$325BD9B4-2976-43A8-9449-FF764B2C79F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222948$54D77045-648E-40BF-AC98-3D9D71231B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222948$EA8CAB9D-859D-4231-9E27-7EF625D9146D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222948$DE7346C0-9D15-4C20-8B85-392414038202","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97f6ffca5be2eb9d404531ad161e59c9aeecb270","datavalue":{"value":"7076864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222948$251EE3B1-8C8A-48F7-8E87-2EFD10F2FA0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222948$893036AE-4444-41C3-B785-65674898AFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222948$33A13213-0936-4F5B-A530-5E0423795658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdae6483334a009b4e898c64794b67889a5295a7","datavalue":{"value":"linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222948$FD000EDD-15B4-4329-BE41-CE7A30B58C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222948$40CD64CB-EA5A-46CF-95AE-78BFFA1270C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222948$DC7C86A5-9CD7-423E-B8BB-60EF1D2F43AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7cc37f86335fb7423a2c5d21be826c9a998205","datavalue":{"value":"resource analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222948$C8F07BB6-44B7-401E-8822-9801C825FA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91dd0d0bcf6c7cc8f56a605be4be526486001fe8","datavalue":{"value":"word combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222948$218C41A5-F88B-4274-B32A-183F8467A795","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":"Q5222948$95D83279-2E47-487F-8DF9-4B14F42AADE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e75add32925865b42bd1cc93ef43c118592fbe9e","datavalue":{"value":"https://doi.org/10.29007/s21n","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222948$EE0752BC-3B5D-407F-9AEE-6A127DA59258","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21d83b57104f162ddee3bf8a36baba9aa90723ba","datavalue":{"value":"W2908255398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222948$55497E98-4FF3-48C6-AAE9-8F3EE46A8940","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96629b8c36c36e493c729ced2a7477ea45f1668d","datavalue":{"value":"10.29007/S21N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222948$41A82EB8-D302-425C-A21F-B1C560AE6E20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19db892e3d1fa53b0a902a070432a9a34af32a9","datavalue":{"value":{"entity-type":"item","numeric-id":2891466,"id":"Q2891466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1913f6c85b2dbd1f76a2893476d7dad1d963f9a4","datavalue":{"value":{"amount":"+0.9000614881515503","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":"Q5222948$53F1A4F5-5579-4B7F-8D1D-B1AF616998C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a13593110484bfcca792a67f896985ca77ee219","datavalue":{"value":{"entity-type":"item","numeric-id":4645734,"id":"Q4645734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87731321148ef360faa6c7a0610d8c757b63ed2f","datavalue":{"value":{"amount":"+0.8336413502693176","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":"Q5222948$29AE02BA-CE9D-4757-AF17-AF61C178EFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07356faa45320d4182aa26fa68b93ee758c822ec","datavalue":{"value":{"entity-type":"item","numeric-id":4318170,"id":"Q4318170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88f7fcae745fd056f16e88e28ed792c0b17b4f5","datavalue":{"value":{"amount":"+0.7472267746925354","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":"Q5222948$78B6A3EF-D945-4F62-8016-A19810E4B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd402fd4f9a9c3aa6bb3368d2ddc213d7253869","datavalue":{"value":{"entity-type":"item","numeric-id":5055789,"id":"Q5055789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ee36f4dd5c1677692e300d00b2a0007cbf594a","datavalue":{"value":{"amount":"+0.7456303834915161","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":"Q5222948$30111A90-0EC6-434E-B9F8-2650762E462D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e6051425323a8564418781ee1759d5f8f1bce8","datavalue":{"value":{"entity-type":"item","numeric-id":1424767,"id":"Q1424767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8418ad0d88b03f8d5f34b16d2d5fd0c7ac392a","datavalue":{"value":{"amount":"+0.738560140132904","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":"Q5222948$F57F181C-ADC6-4AD9-AB14-868E60ACAEB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222948"}}}}}