{"entities":{"Q7391908":{"pageid":31695356,"ns":120,"title":"Item:Q7391908","lastrevid":105703784,"modified":"2026-10-12T19:24:27Z","type":"item","id":"Q7391908","labels":{"en":{"language":"en","value":"A zone-based algorithm for timed parity games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8267460"}},"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":"Q7391908$D1A597AD-17F3-47A0-82A7-524AEDA47EC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f86525a4cfb1e5ebe9522e5f195d3c40b7a568f","datavalue":{"value":{"text":"A zone-based algorithm for timed parity games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7391908$82F39C49-54C8-4B60-8484-52ED3BE4C977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c48c327398fcec384d50dd70f90e655509653fc6","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2025.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7391908$0FF462E1-0CAB-4A86-9105-4BE07381796D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$71E6CF1A-BA16-441F-B2A3-707F0C9732AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$BB78E789-1D2F-414F-96B0-127F9301DB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$904AC349-59A5-401A-AC4C-4444C5704F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3bc66f9d9e9f39ad697f0d8cf88e1d5613cd25c","datavalue":{"value":{"entity-type":"item","numeric-id":7310282,"id":"Q7310282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$F99CE9E3-1009-469F-8FA9-2D23597F1903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1533ef58fe3b6ac0b6e76c86b8ed9a818696c893","datavalue":{"value":{"time":"+2025-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":"Q7391908$F5AB2CA7-85DE-4057-8373-34576807A48B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7391908$CC5CB30D-085C-4A58-A214-4504371F89CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7391908$158A71DF-58E9-4956-84EA-455A17D62984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c459bf52c707af09a96c040561c8874549618e","datavalue":{"value":"8267460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7391908$7215EE6A-0971-44FE-B1E0-B7B8A5F96257","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":"Q7391908$8117AFE5-0C4B-4884-96C5-E6665BA8781A","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":"Q7391908$7E888764-EBDD-41CD-82F2-A2E939C1D77F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$C1BD6391-DAA1-4539-A4FA-2ACE42407E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfb92c09741e24925ae7438b1de48e2703a5598","datavalue":{"value":{"entity-type":"item","numeric-id":5357712,"id":"Q5357712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$CED4F601-2F30-4085-AF1A-5D7E110F2407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb90bbfdc61aee8c84150d46056ce0f1a0e39f","datavalue":{"value":{"entity-type":"item","numeric-id":5897953,"id":"Q5897953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$02D4B167-A573-42A6-82BF-5286D63AD77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8438e1ba3c0e784921e7003c60b4aa65be4765f5","datavalue":{"value":{"entity-type":"item","numeric-id":5428862,"id":"Q5428862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$8195D3F0-38FE-46AE-81B8-048B05FB9DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$7FA52A70-B64B-48FB-8246-B7FA6230B8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7411117297f7bebcc3af0a6f0da10ebdf204a915","datavalue":{"value":{"entity-type":"item","numeric-id":4736580,"id":"Q4736580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$A5EC0AED-5C54-4059-9D82-8D556CE17DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a7aea126d7d060a7347360a5f5ca539d822542","datavalue":{"value":{"entity-type":"item","numeric-id":3624564,"id":"Q3624564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$7CA112E7-66C0-484C-A9D2-E8C6029C726A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d5b37d19896dd08f5c3c756dd6d2db22869313","datavalue":{"value":{"entity-type":"item","numeric-id":3588081,"id":"Q3588081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$DB89A2A9-50FC-4DC6-9F47-FC3810024276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25dd2084c0e123702bd281f2b4a88a27c723bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3648828,"id":"Q3648828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$B31CB0FB-58BB-490A-80BE-8ECC96B7E0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fdffb5dd1223f571882d363432c9fff29a083f","datavalue":{"value":{"entity-type":"item","numeric-id":2576589,"id":"Q2576589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$A4078612-967F-46DD-9B25-B18034D820B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7391908$EBC29AA2-95DD-44FB-B526-D38D13A2BCA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A zone-based algorithm for timed parity games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_zone-based_algorithm_for_timed_parity_games"}}}}}