{"entities":{"Q1575908":{"pageid":1586648,"ns":120,"title":"Item:Q1575908","lastrevid":67938681,"modified":"2026-04-12T20:21:25Z","type":"item","id":"Q1575908","labels":{"en":{"language":"en","value":"Intractability of decision problems for finite-memory automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495191"}},"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":"Q1575908$CD7E777D-DF5F-4E21-A219-4F074F102625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1996234449aafa4f555968ed514076aa4efa3a98","datavalue":{"value":{"text":"Intractability of decision problems for finite-memory automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575908$D5BCEC4C-7932-4389-A9B0-6634EA93C74E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a17efd274a24fa80e8b531c0d41d5d0638ef620a","datavalue":{"value":"0952.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575908$F4EB4334-304E-49AE-9D7B-7FBE122F65CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f28fe93605d2e2759e90c15d29cfeac3846131e9","datavalue":{"value":"10.1016/S0304-3975(99)00105-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575908$42318A0F-9B09-43B1-B08F-366069B47412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecba06da1291beb2f77aecfa4b3f126c91ea535","datavalue":{"value":{"entity-type":"item","numeric-id":782201,"id":"Q782201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575908$5A7BF139-0CE1-4635-9752-8F826DBC04C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9272824154f1f481ad5135736e739b2050d22243","datavalue":{"value":{"entity-type":"item","numeric-id":255161,"id":"Q255161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575908$A58214B0-6E80-4F26-A0E0-2CBBB7364DBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575908$A0D00103-DBAF-4DDA-9027-056A8A760025","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575908$8CB9DF69-9105-4B36-AFC1-D5BF96126D34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575908$EF6483C6-138C-465B-A9BC-87710970D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575908$854C673B-A4B6-4C47-BACD-4E1AFBFB3CBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4925d1b99b70df7b52bbd55cce42c12f2d063fe","datavalue":{"value":"1495191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575908$71B3B58D-AB64-4622-BFC1-C675AB6B72A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61502c0c68faa2d37f796054a1b342688a76d37c","datavalue":{"value":"finite-memory automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575908$0EBF6F01-62D3-460F-BF0C-8FAE20C3438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2a5aaf2813613e191091bab6a7937bd2f6db3d","datavalue":{"value":"membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575908$6E2E6999-57E5-4A7A-A9B5-1868FB7CC337","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":"Q1575908$1656F8A1-F467-49D2-860C-7E766D11FAC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575908$8C77C909-F94D-4630-9D41-834E648067C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575908$73082DB5-3BF8-4199-AC20-B77775AD39EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575908$B5A3063A-753E-4FE9-9754-44948383BA3D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d5a3a59a1edc6ed37345141d7f180a9ac22d55e4","datavalue":{"value":"Q128090046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575908$C42CFB2F-B374-4012-94D3-D4AF71603D37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1427e147a9e4af8442da3f51c3e5f33ee2290f90","datavalue":{"value":{"entity-type":"item","numeric-id":4271221,"id":"Q4271221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46f148e8e2901bf2b563ee5c92ac23042cd13ca","datavalue":{"value":{"amount":"+0.8054491877555847","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":"Q1575908$ADE6044B-ACCA-4854-926A-937BCD00EC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712cd6bd6acf157f3759d064e895a99959b2af5f","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79c8c0f68cac22b7c9266bddc6f37125ad85f22","datavalue":{"value":{"amount":"+0.782298743724823","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":"Q1575908$C2371F18-025C-4349-8317-E95C2357A27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3107c659e2820d8c2d42dcb66f475d82d3f0f9","datavalue":{"value":{"entity-type":"item","numeric-id":2830202,"id":"Q2830202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4bd18338f63b59abcd54a8b7f7089e789ddd9a5","datavalue":{"value":{"amount":"+0.7788137793540955","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":"Q1575908$C18F3F04-AC91-4015-AFEF-E5255F5E9231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce9c93e34ad3bf7680b08bcfa32c411a370da1e","datavalue":{"value":{"entity-type":"item","numeric-id":4712653,"id":"Q4712653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b24a9fd0d32f2063f1d0d3218b7dbc59710b11","datavalue":{"value":{"amount":"+0.7783066630363464","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":"Q1575908$AA0685F5-F4BB-42B8-A9BB-FDAC4222955C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intractability of decision problems for finite-memory automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intractability_of_decision_problems_for_finite-memory_automata"}}}}}