{"entities":{"Q2842668":{"pageid":2853388,"ns":120,"title":"Item:Q2842668","lastrevid":83727803,"modified":"2026-05-07T10:15:26Z","type":"item","id":"Q2842668","labels":{"en":{"language":"en","value":"Incremental Language Inclusion Checking for Networks of Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198982"}},"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":"Q2842668$1F8860FA-7FD6-4656-9449-EAC529D86D38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01ae11a1a94c0236956dda947165bcf1b83048c0","datavalue":{"value":{"text":"Incremental Language Inclusion Checking for Networks of Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842668$61228890-1A3B-4A26-9796-9E0B8FA097D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"282b4046314d44d9d590f41c54932778225cf84d","datavalue":{"value":"1390.68432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842668$4EFE95CA-5C13-4246-8237-7321A88B80E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54f1eec8072fb3725d0ba0d607d9bf2cf8871692","datavalue":{"value":"10.1007/978-3-642-40229-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842668$E8522791-F2F6-4F75-BBD0-0AD3B30C8BC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39f61389ce149ffe0bf06a4e6ae9ecb7bca63585","datavalue":{"value":{"entity-type":"item","numeric-id":2842667,"id":"Q2842667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842668$E27F676E-496D-4736-AF56-77BA3807B245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be9bad6f26c208a2f156ea79bb5762b69ca2ba4","datavalue":{"value":{"entity-type":"item","numeric-id":243970,"id":"Q243970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842668$9CDBDA90-B1BB-4CEF-8BB0-DB0E91622A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef45ca402cddc8564f93d85757f108c3144fb2c","datavalue":{"value":{"entity-type":"item","numeric-id":313979,"id":"Q313979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842668$C3BE61F3-E756-44DB-9801-FBB44808AE7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842668$C7AB8C61-8525-472F-9859-2ADF94877976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842668$BA744048-29E5-42BF-A1AD-8D32A481C675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842668$074FFE60-0BBD-4DF0-8891-2B992CDA8ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842668$66264218-2EEF-4C28-A18F-2A19BAFCF29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842668$F900A7A8-9DDF-47ED-909A-B39878D68BD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b16f5d30c024f2f3c5fa4b1e002d1b1b94a95f","datavalue":{"value":"6198982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842668$55FB1F67-70B1-4C2B-AB3A-ABF83C81F2D0","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":"Q2842668$4894B81F-764C-4D45-A08D-60652925EC8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4dfb0042de67a20e3a187aea2eecec4a3c3ef23","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40229-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842668$105A23BF-5E8F-4662-9A42-C3F9CACF5E31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30f254da6f1dea7343c5082293662f9325c4978a","datavalue":{"value":"W46459026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842668$D23A6035-6EE7-4314-BD6F-09FA3948FCC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a173b633875b97bebfff0bff309c01ec897579","datavalue":{"value":{"entity-type":"item","numeric-id":5859682,"id":"Q5859682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba6992a2f20c6dc7112f1d57153717eaee3c837","datavalue":{"value":{"amount":"+0.87290794","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":"Q2842668$89B5475C-666F-46F2-A6A3-D3403916E1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c46a8bc0d533f035526284c4667ae89252fa519","datavalue":{"value":{"entity-type":"item","numeric-id":3400924,"id":"Q3400924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385d8358336ee12538cb4310ba790317a65d4100","datavalue":{"value":{"amount":"+0.86737096","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":"Q2842668$7DC35E11-7FA7-42C4-9088-FD5D54BD19DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9033bdd1a5ea859d2bb41dbfebd9827da109a706","datavalue":{"value":{"entity-type":"item","numeric-id":3543291,"id":"Q3543291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77552b02af74335b0a6373d2a88907794fc35876","datavalue":{"value":{"amount":"+0.864812","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":"Q2842668$5B923F94-71C1-484F-9909-508B1F421286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3370ee061c867ab9b9039bf0459808cbdcd287fe","datavalue":{"value":{"amount":"+0.8594196","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":"Q2842668$8C688AB0-2099-4EAC-9C3A-5EF27F0BFE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718489a289676537198ae32405d8f635f14df783","datavalue":{"value":{"entity-type":"item","numeric-id":4418006,"id":"Q4418006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15da66bb33d6e391d4bb31690470c0b0bd58e6d9","datavalue":{"value":{"amount":"+0.85613084","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":"Q2842668$810C723B-2681-47E8-ABBA-ED8BCC4FEBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2a2d0063648adb0e33aa5af4b8912dc1d9bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":5875377,"id":"Q5875377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb6c5605c3f6c0bb173da84825d6a4af2075bec","datavalue":{"value":{"amount":"+0.8510861","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":"Q2842668$463D46C5-526F-42BA-BB10-A36C1243227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0283187076b980ad97ad4146d2207f743618aba","datavalue":{"value":{"amount":"+0.850838","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":"Q2842668$0FAA1686-23D8-46E0-AF36-6369101C44AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f6506b5cba90ba8a4797108162420ca2ce966d","datavalue":{"value":{"entity-type":"item","numeric-id":3172851,"id":"Q3172851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f81568d3353393089744d95cb7200b99d949f7d","datavalue":{"value":{"amount":"+0.8490646","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":"Q2842668$8C5CB076-0AB8-42EF-869D-00C855A6B144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d597a7dfd64e1269010e4d7e699cddb575cb1cc","datavalue":{"value":{"entity-type":"item","numeric-id":510894,"id":"Q510894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4beec8e5e118808534b9f176ee1a02fbc208e298","datavalue":{"value":{"amount":"+0.8437881","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":"Q2842668$154BE41A-C7BF-4EB0-96DB-88F043A4CBC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental Language Inclusion Checking for Networks of Timed Automata","badges":[]}}}}}