{"entities":{"Q1606131":{"pageid":1616871,"ns":120,"title":"Item:Q1606131","lastrevid":68022804,"modified":"2026-04-12T20:55:22Z","type":"item","id":"Q1606131","labels":{"en":{"language":"en","value":"Decidable verification for reducible timed automata specified in a first order logic with time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774104"}},"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":"Q1606131$339DAD6F-809E-4B3E-B195-CB8B0CCF0152","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0882cd9d021831f42122c1fa16ac38ccbe1cf4df","datavalue":{"value":{"text":"Decidable verification for reducible timed automata specified in a first order logic with time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606131$4AB1718E-6376-4971-BB16-C4A20DB3CF5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e369fcc209a296dcdf470cd97ea982b6c146c4d","datavalue":{"value":"1026.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606131$A92092FF-5851-45D1-B808-0AC17F9BD23A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8cfb3ca024f4e0ae31b4a1ff1a358536b328ad7","datavalue":{"value":"10.1016/S0304-3975(01)00186-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606131$A9107D8E-F6F1-46CE-938A-5A4117EA8FD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb8212826bd69dc98444cbd64b58f086206d659","datavalue":{"value":{"entity-type":"item","numeric-id":234698,"id":"Q234698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$4D9DCD49-4D2D-45A8-91C1-8D59FDAAF1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d150572e8b9bb6a5fa32f12fda85c9aad1b71ca","datavalue":{"value":{"entity-type":"item","numeric-id":234699,"id":"Q234699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$7A640AEC-A229-412F-88B6-1DEE639BA22A","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":"Q1606131$495607D2-6769-42CB-A322-FECA5063CFAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606131$F499E2AF-93D8-4BE5-9D59-08A5ADD81E73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606131$F04A7427-07B1-4AEF-BDA7-251C8159AFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606131$DF890D3F-BFC8-458E-8CCE-0B90B2BA0E5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d97a9e29a7c4c3c23ab0e17e8877f3c65dc8e04","datavalue":{"value":"1774104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606131$DC8A13E3-AAF1-45D2-BF50-D7C737200973","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606131$DB9DD4D0-8CB1-46FE-A988-C9B31895F0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606131$771AE706-9ED3-42D7-ACAD-05F56A8CE343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606131$6A3AF3FC-B356-4D21-B77A-F801B64CDB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf4bb08843832182e7bbb29c82343a87a108b51","datavalue":{"value":"decidable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606131$FDA0EF6C-B2E7-493A-B1A1-45960FC71ADB","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":"Q1606131$ECCA31D6-CB8F-485F-B98C-D13186A8A6F8","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":"Q1606131$0C4F5B81-2185-453A-ABB6-D1C2A7EF4440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$83A77D47-935A-4CE8-84C3-CADB7A87E89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9e3c75540cedad9eae3bd62f0018e8ec091d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3839068,"id":"Q3839068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$8BE65B11-857A-42D9-BEE7-35C5859C1D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408defca181e11748239c499302d8cd3c1e9fee2","datavalue":{"value":{"entity-type":"item","numeric-id":4934321,"id":"Q4934321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$5798CAFC-60AA-484B-ABF0-A3EBE0F91AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fd0d69e7d3624644483b2eb4d25ad4d37dc7f1","datavalue":{"value":{"entity-type":"item","numeric-id":5957904,"id":"Q5957904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$3DEFF51A-BD8D-4F17-BB68-2839BD2D4A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$48ED8F25-9F58-446F-ADB8-E86580718B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$6775655A-3176-4F85-A946-723F44D07A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20e74feaba62bd46513e7af48c16a7db530206d","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$C99BC9B7-B66E-47DF-B318-94D6D2417837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4bb6f9cf8d59bb08e30fa860898c4d527ef942","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$972E0366-6971-46D7-95E1-E4F804AF1E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ef86b2ad7fb68ccf2a951e8b468542d85fcab","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$35A5BE17-4F65-4C11-B9AC-0A5F973C6360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e98d04ef191b093ae24c0bbbd536897a2cc77","datavalue":{"value":{"entity-type":"item","numeric-id":3221371,"id":"Q3221371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$9C93F773-44D1-474E-8D93-C4ED33E55C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf71399bd39dd6bb2c5aca17e787cf29ea3bb8d","datavalue":{"value":{"entity-type":"item","numeric-id":4094390,"id":"Q4094390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606131$6B0F29EE-DF51-4EA7-9136-766009901AB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85f0dd40c84bffdc017eac313bb800e0ccaab248","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00186-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1606131$80A03505-3ECC-4E42-AEE4-A6578F789EE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bd30ff4f6a664ad95e88bbe556d17a95f909f0c","datavalue":{"value":"W1975997547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606131$B5E5C881-E8F0-49E8-9445-9BF41816F8C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ade0c5b8140f9a5e37a07d585e49f5ecc65f293","datavalue":{"value":{"entity-type":"item","numeric-id":4934321,"id":"Q4934321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158194fff81487777f52927cac767f2259cb759d","datavalue":{"value":{"amount":"+0.91245747","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":"Q1606131$4DB9E5F0-C83E-48CA-9B05-D89493DBD4C8","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":"62c158e1a81151337250d00e2d0cf74b1df7d10c","datavalue":{"value":{"amount":"+0.9063264","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":"Q1606131$50F5C9CE-4E73-4073-BF85-3CDBD3D5A96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9838a1b027c519bd8da77a9ed67fe9a8e83f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":5957904,"id":"Q5957904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9cca107451d6f6d7c63c0dee3784fd136eb2a8","datavalue":{"value":{"amount":"+0.9042827","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":"Q1606131$A7A07A85-318C-47E7-AA68-4AF395242EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1cf971686a7a945b060610d34e6358f37746f9","datavalue":{"value":{"entity-type":"item","numeric-id":5039522,"id":"Q5039522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98bf1a99d3d6c2d7b079f8ab4aa630cf2070921","datavalue":{"value":{"amount":"+0.8967413","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":"Q1606131$707F5B74-A4DD-4F7E-8B96-740DF2420DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3c20387f0b7a001e9a15fb0c84ea773a149920","datavalue":{"value":{"amount":"+0.8956551","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":"Q1606131$7043D937-16BD-48E5-8627-3B630AFCF954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e031bbc9b440987164d3ffc55f52868b624910","datavalue":{"value":{"entity-type":"item","numeric-id":5464767,"id":"Q5464767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98f9c231d7db37e9aa7af572f81e4394432c485","datavalue":{"value":{"amount":"+0.8928341","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":"Q1606131$105AE0F6-E56E-42AA-B31B-161D707ABF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6aca9a5039fba5f216bd8e6614355e9eea4c82","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d1d237a21f5b9f26051e73b0286aed0d3b80ed","datavalue":{"value":{"amount":"+0.8897136","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":"Q1606131$5AACF38B-987F-497E-822A-82893B37A64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb2190dd7763265bee53adce8a7443fb55ecea7","datavalue":{"value":{"amount":"+0.8894559","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":"Q1606131$E21B3DF2-76E8-45B9-97CD-C5252F4E533E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c2fec342ecb4e94948044b707e10f884767beb","datavalue":{"value":{"entity-type":"item","numeric-id":4508304,"id":"Q4508304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34f139a87541bb2803e6d1bec100379ef4d990c","datavalue":{"value":{"amount":"+0.88650364","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":"Q1606131$43D6E60F-CDFB-4FFA-BDB2-49A57CA97F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e961c505d992056e2e44a3f97aa1a4e8ec6abe64","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843a8b787fbdee9c882d6e284cfdd44a9d207c7f","datavalue":{"value":{"amount":"+0.8855236","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":"Q1606131$F32DE62F-604E-45C4-B76C-0E2293D7415B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable verification for reducible timed automata specified in a first order logic with time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_verification_for_reducible_timed_automata_specified_in_a_first_order_logic_with_time"}}}}}