{"entities":{"Q6629459":{"pageid":14240611,"ns":120,"title":"Item:Q6629459","lastrevid":57269100,"modified":"2026-03-27T18:26:13Z","type":"item","id":"Q6629459","labels":{"en":{"language":"en","value":"Checking history-determinism is NP-hard for parity automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7935687"}},"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":"Q6629459$F45BE82F-544B-4DE8-B22A-7876CE845560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dba7635fc95dbb7e5662d31eeec5fc2e99c8368f","datavalue":{"value":{"text":"Checking history-determinism is NP-hard for parity automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6629459$30F1E7E7-55BD-4D49-9B61-0704F301F6E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e81c731c330df2198499ca3680d6b19a9c477731","datavalue":{"value":"10.1007/978-3-031-57228-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629459$19E28AED-7DDB-4030-975D-56E1364AD208","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad5d527fab6abfd480266418225955e8248c9bed","datavalue":{"value":{"entity-type":"item","numeric-id":6091191,"id":"Q6091191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$944FB1D3-627A-43F6-8932-DAA3C97C1FA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fbcb7acea0df8945200a3d2551e2bc51375e32","datavalue":{"value":{"time":"+2024-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6629459$65760DBC-1559-401F-AB17-B543393ACA37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629459$B56BC62B-90BE-420B-956C-12881F316629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629459$89287BE6-39E1-4DC9-9EAB-974916D251B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5d7f2cb9937bdc412c492b978030ec9297de80c","datavalue":{"value":"7935687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629459$42B3C760-6DDE-443A-BAFA-0CA300A5F925","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":"Q6629459$728BD58C-10A7-4D35-B08C-ADA35C54B113","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be44c7d48e67ec2737b6b9719ee682ab48e239d","datavalue":{"value":{"entity-type":"item","numeric-id":3090830,"id":"Q3090830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$13B3AA73-903C-4BF3-A24D-D22D01941F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb245288c454bf7d4396b7058c6ca0596a0afba","datavalue":{"value":{"entity-type":"item","numeric-id":5101349,"id":"Q5101349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$1C3EAC2A-3155-4FEE-9DC5-0ABB8CEE9F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a203aa1c7b785fea2117512950962acf7e43802","datavalue":{"value":{"entity-type":"item","numeric-id":5090951,"id":"Q5090951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$40E9FF86-9954-4606-AEE3-D98004322E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8474e212e837f5e6be74c727636f13951268d0","datavalue":{"value":{"entity-type":"item","numeric-id":5136308,"id":"Q5136308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$FBB2BBF0-777B-4EAC-86A9-F51A98A890DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da3b9947ca8aade61c556b6b49b0c8bd3756b683","datavalue":{"value":{"entity-type":"item","numeric-id":6187054,"id":"Q6187054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$55F33EF4-664E-4F7E-88DC-A16B63D25450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8575d1d14f1795c7b3fbdd811dd82c9638962512","datavalue":{"value":{"entity-type":"item","numeric-id":5073521,"id":"Q5073521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$590B8F1B-C37A-4B93-BB41-588CFDB7ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77967261911b0e8c69ed8b8494c80615c4953039","datavalue":{"value":{"entity-type":"item","numeric-id":5758061,"id":"Q5758061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$01372A5D-E63E-4CD0-8242-3F420F9C5831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$3D6AA03D-3452-45C8-AF88-42A39CE65B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$AC3FDBF4-0946-4313-8D87-7FD01344F35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2131bba6823415273c7be26dbfb27eedbb2100","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$40FE89FE-E87C-44D1-8EE2-E2BECE829DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$557D0DE4-7369-4EB4-AD06-F42A0E7058E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f1cb1a313033ab6eef609a47c5ea7fde476c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854506,"id":"Q1854506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$EA7DE886-0519-4C61-B34C-39E9B45EE67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$B556A71C-FDD1-454C-8F51-4BAD64B2577A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b45289898dda1ac0b767b5b36f427759350e5","datavalue":{"value":{"entity-type":"item","numeric-id":5492884,"id":"Q5492884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$50152FB9-4359-475F-90F8-CFF604FF2F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$79628391-DECA-4378-A6ED-2E6BCB438D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8091299405c35479baafae89af1a807594a1d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3449484,"id":"Q3449484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$C4DB92AC-761A-4908-BE43-8E1B851A4865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d404b854228362c6b5e5cd78beeea42aa5be700f","datavalue":{"value":{"entity-type":"item","numeric-id":4259992,"id":"Q4259992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$D362F804-2263-4968-9AE2-E2DE37AA5C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0425751b9454969c10da4d00746cde7c5cb7dd","datavalue":{"value":{"entity-type":"item","numeric-id":5028456,"id":"Q5028456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$B1A65201-D80A-45FC-A19D-15437A683A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$A2E41967-D313-4FF9-87D2-161581BCDEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d266ae062e5c65fe90b29d30357b60821ca26577","datavalue":{"value":{"entity-type":"item","numeric-id":6091193,"id":"Q6091193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$67420F0E-8586-4A11-9681-0E2DC508CE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb5e81313562929b3637d7435bafb071d01e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2908870,"id":"Q2908870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$E2FFBFFB-25EA-428E-A72D-B80ABDE88DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef683266ee848bc828c964eb50c19eb443f951e","datavalue":{"value":{"entity-type":"item","numeric-id":4943552,"id":"Q4943552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$7188ED50-13BE-49D3-BDE1-B41319D3E455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629459$7323FB55-3E85-4EFB-A2AF-DB3B70328E38","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":"Q6629459$13D20A4B-3ECD-48C9-9594-22FED52630DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6629459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6629459"}}}}}