{"entities":{"Q3356287":{"pageid":3366992,"ns":120,"title":"Item:Q3356287","lastrevid":49521268,"modified":"2026-01-07T11:15:48Z","type":"item","id":"Q3356287","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4208050"}},"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":"Q3356287$82EDD8A5-9E2F-49CF-B46A-75E0D5D123F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"349d6bffe5bcfdc53aee788805253460e6a00035","datavalue":{"value":"0731.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356287$1F9C0A79-087E-42FC-ADB1-37ABB89306BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3356287$43E8AD43-F1F2-4A4D-9A8D-0214F15CF904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3356287$98921376-9A59-4CFD-B162-23269C46F85A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356287$A522F928-6412-45F8-9F68-E3905B19BBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356287$D9027D25-3277-45CF-905E-CD56068524DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356287$3B1DA694-6DC1-40FA-AC68-0ED0B9F5586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356287$50E58FF0-8028-496A-BAED-B7E6723DA84D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9948dbe2ffc0af94d27a28869e8015ecf28d6d74","datavalue":{"value":"4208050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3356287$5B3B8C40-5AB1-494C-A35B-90D203F21411","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356287$368CDEDF-0BDC-4EDC-BA28-2575771C3DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"056ba49f3a9434a54770f431f76276c85c031b71","datavalue":{"value":"\\(\\omega \\) -words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356287$AE526B2E-DA79-41E6-B409-1D3CC27D9A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157c149d801fe67d127ea8d23f705ec6f749be10","datavalue":{"value":"\\(\\omega \\) -relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356287$555C214E-073F-41DA-9E9D-1C97E4104858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd71ccfb692d6ad9233631a9ee361b94e35db4a","datavalue":{"value":"Rabin tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356287$A232A44F-017C-42ED-9441-19178BF23274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e6d7461db33e18a6d4d22c40fbaab46e2786c3","datavalue":{"value":"restricted second-order logic over trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356287$C2EFAED9-777B-401D-9F0E-141E851104B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b170b5305755f887beae4bd701334a870afe06c","datavalue":{"value":"weak chain logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356287$04DB43CD-5E72-48F2-A84A-17B7B9F1DD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356287$FA705D90-5CE5-4049-B9EC-C0CA076A57AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e180da72f0cfa921f027832c180d07f7319c4a3","datavalue":{"value":"verification of finite-state programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3356287$932C2DB4-41AF-4E2F-A563-9563F9371844","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":"Q3356287$01A1EE02-D941-4D93-BF98-486CCD18C9AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02359dd02b01a399e99c714b80ebe744eb86eebe","datavalue":{"value":{"entity-type":"item","numeric-id":1199531,"id":"Q1199531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e311c7e5ddc9c20a41e6b93b5343dd83a55f31","datavalue":{"value":{"amount":"+0.9546077847480774","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":"Q3356287$F4063CF5-06C0-43DC-9C03-361F1BF59813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad58f07a3c677921e28e8b64e5519dc72ba459f","datavalue":{"value":{"entity-type":"item","numeric-id":2958524,"id":"Q2958524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c97a68b3c452fce2e45bd7262563bf977af6295","datavalue":{"value":{"amount":"+0.954521656036377","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":"Q3356287$9414DD52-F452-4839-8105-3631D68E1D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810f94063fa2a96aae4c53e77dbdb3695af494c6","datavalue":{"value":{"entity-type":"item","numeric-id":582913,"id":"Q582913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b201bbf7fbd1182c9d252ec3c93da159885d62f","datavalue":{"value":{"amount":"+0.8348025679588318","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":"Q3356287$4D88661F-1FA1-478D-A881-CE3139EBA91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0846e04194f368a896bd4b652d2436431e165c44","datavalue":{"value":{"entity-type":"item","numeric-id":1847374,"id":"Q1847374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f65a87e0163e41d84ba637da0db4acbdf4b96ae","datavalue":{"value":{"amount":"+0.8105483651161194","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":"Q3356287$02810B18-0E40-4DD8-A6D9-4F487B25C18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41a6345d58e2d4a90f100aad19ad9701a043280","datavalue":{"value":{"entity-type":"item","numeric-id":2576943,"id":"Q2576943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42cab2cb3823c046488e0f114bb9e61467947b8","datavalue":{"value":{"amount":"+0.8037790060043335","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":"Q3356287$C27F6B90-34D9-445F-BD15-215A9C9C63E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3356287","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3356287"}}}}}