{"entities":{"Q4580202":{"pageid":6609788,"ns":120,"title":"Item:Q4580202","lastrevid":41182783,"modified":"2025-04-18T19:36:14Z","type":"item","id":"Q4580202","labels":{"en":{"language":"en","value":"Parity Automata for Quantitative Linear Time Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917168"}},"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":"Q4580202$74EBA09C-9E42-4378-AC3B-88508AFB65AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfcebaeddd66d61e85fb1e3df41fd957a3291500","datavalue":{"value":"1433.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580202$955DCD30-4159-4D60-93C3-D289CD922402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31365d133a27873d5524a0c6dec81fbf7aa4cd36","datavalue":{"value":{"entity-type":"item","numeric-id":2828315,"id":"Q2828315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580202$7518E294-A6BE-4704-A3EF-1C10FE9EB628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580202$CED19735-3325-4366-87DB-7BF3E3C679D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580202$90C48651-81A3-4365-BD30-0A5279D08F52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580202$456CDD5E-9834-4885-A2FC-6EFB009AA500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580202$FBC0908F-25C8-484F-B277-4400154DF262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580202$F368F02E-CB30-4250-899A-5A87992548C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580202$FA5E0050-7D0E-4C23-BA89-7577010B7664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580202$19C96838-379F-4FDC-9F03-CFECAC6441BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81569513faa369cccef3f9dea79e341994644a3e","datavalue":{"value":"6917168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580202$519D783B-5501-4F84-BA5C-CCBF9C61A9F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580202$ACA67742-F529-4405-8C62-53680C9ED24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216b76ccde76ad20b67a49b68bd1e5f2c4650a5f","datavalue":{"value":"quantitative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580202$5ADE58CE-554B-413D-80F1-1B54290A6EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"087dfbeee866f4483089a38aedb2768c5acb9b56","datavalue":{"value":"linear time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580202$6D87033B-18A3-4F05-9892-C95495C867BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5e6266eef26b77686f1da860674a0ec950a63d","datavalue":{"value":"parity automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580202$1AC0A08F-9F83-457B-8A9F-300558A91D5B","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":"Q4580202$181638BB-2400-4549-8678-65DB25C49F78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdd991d2084c0ba6d3272311f9c5a7f82c396360","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CALCO.2017.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580202$DC29FDF7-7B6B-4795-BF4E-11D9329D917D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c29328468d6f2c585ff5994e05b01b202487b35e","datavalue":{"value":"W2626109160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580202$A54AC740-2F2B-43B1-9957-48852E35767A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cc674531ae38b3c6e8439a65d081bcb0f84c3ec","datavalue":{"value":{"text":"Parity Automata for Quantitative Linear Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580202$23236652-58C6-483F-8123-B8D29B7C71E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90ab1923499d98357f01f043de9189b6a91b5458","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580202$21A3B9BB-21DF-4333-B3F5-01B4D0083E6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d27119a2d48436ee268198f5f10852cfc6d9007","datavalue":{"value":{"amount":"+0.8968577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$4FD9CDF9-26FC-4B3C-8EAE-607D004D04DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f738168313a5a83855a77e84e37100fa65c2532e","datavalue":{"value":{"entity-type":"item","numeric-id":5415664,"id":"Q5415664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ef5018fa957ee87ddb9333904a5a687a3dc481","datavalue":{"value":{"amount":"+0.8961239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$B71D77E6-2E13-43B5-B030-D97F94C9DA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25afcc95721b7fe2091e3b03a1a2d95794deed7a","datavalue":{"value":{"entity-type":"item","numeric-id":2920121,"id":"Q2920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283b864dcacc4950e558f310347706d07b5411bf","datavalue":{"value":{"amount":"+0.88510835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$1164A59B-14B8-4A44-9298-914D571960BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c4a13ab880a66cb682c3f76cea9a1a9b8dc7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4926927,"id":"Q4926927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70f1be44f56738a7140c102fcf9cc44304f9761","datavalue":{"value":{"amount":"+0.8751317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$5F690A02-1B7F-4A25-B6AA-0D99F41C27E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84acf67a6fc02d8cc75f6fcbde6fa8300636895","datavalue":{"value":{"entity-type":"item","numeric-id":783667,"id":"Q783667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b866daad26ac1ae4cfd1d8b7476fe3095cc66b2","datavalue":{"value":{"amount":"+0.87383395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$3D8B5B8F-701A-47B3-9B59-E312CB99FBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300166476f6cef66aa2a3032dbe1a8b9c308d02e","datavalue":{"value":{"amount":"+0.8671854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$94C35FD3-3320-42CF-B387-30FFBA617BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301ddc2298731a8a016fbbc12e07b891a3c36891","datavalue":{"value":{"entity-type":"item","numeric-id":3628607,"id":"Q3628607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993d40cfac89077a270488ad983edd145220362e","datavalue":{"value":{"amount":"+0.8643174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$C9E06AD5-14E9-4B0A-A45B-FA69362759BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ef0887bfddab39b7255833076b1a29e35857a5","datavalue":{"value":{"amount":"+0.86345696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$845BCE19-BDB8-47E1-9CE4-72CC5A2CF40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db395c12c2ac42365f2e7cffab032a670a398c20","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ef0887bfddab39b7255833076b1a29e35857a5","datavalue":{"value":{"amount":"+0.86345696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4580202$04F6DDC9-CC34-4678-A2CD-89CF77123EBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580202"}}}}}