{"entities":{"Q1996019":{"pageid":2006761,"ns":120,"title":"Item:Q1996019","lastrevid":43469421,"modified":"2025-07-28T09:35:39Z","type":"item","id":"Q1996019","labels":{"en":{"language":"en","value":"Computing maximally-permissive strategies in acyclic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317093"}},"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":"Q1996019$F8545B8F-0DFB-46EA-AF5C-1B6E49028409","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc667b1005f7a4d35ab2d901ea4d868f1984b633","datavalue":{"value":{"text":"Computing maximally-permissive strategies in acyclic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996019$5A7859B0-8E2E-48A5-BB7D-3BD353A6D8F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc4701dcb84b6812bb7d153a45a7ed1957064488","datavalue":{"value":"10.1007/978-3-030-57628-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996019$FFE735AC-6278-4B44-A599-849502400805","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b91990d39175a4a22ecfe5abb133e0f2bd5c149","datavalue":{"value":{"entity-type":"item","numeric-id":1996017,"id":"Q1996017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$594D8A5C-8982-4D82-BBBB-B591D8582E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$F0DE77D6-5087-4D33-A06D-EAEEA7095FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$16423407-2BAD-4BDA-AC20-DCD024AA8BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f582bd45183147d7121867dfeaee8eb0fff2596d","datavalue":{"value":{"entity-type":"item","numeric-id":1996018,"id":"Q1996018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$40BE02B7-7891-4D9B-8A21-9AF026E2D168","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da52b2635d2cd12aed90d9fb08209aaf7209a581","datavalue":{"value":{"time":"+2021-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996019$01638052-F4CB-4B05-ACC4-FBF7D8C2C431","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6dbb71fc0bb001af9795977f632cdf69f320044","datavalue":{"value":"https://arxiv.org/abs/2007.01815","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996019$8DBFBBA7-A059-4829-BD69-EBC292E1F39B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996019$A519316A-858A-4C19-B1A6-F8D08F0AB006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"701e83eec26a649c58a07d75d985236853bf39b8","datavalue":{"value":"7317093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996019$62D82A37-109E-488A-863E-25A114736B73","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":"Q1996019$68A2E1E0-3B64-4601-B911-5A29CF9757A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8afd7e80d3cf6fc3b101aa12dd71c80ac749144b","datavalue":{"value":"W3082306462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996019$B297607D-DDCA-4DC5-BECD-324E7D3AB3F5","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":"Q1996019$F8B41313-C2C8-44A7-A966-7248B814038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f727fb115742fe9fd980a7b7ddc31aa4b1449f7","datavalue":{"value":{"entity-type":"item","numeric-id":6194594,"id":"Q6194594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$CFA22123-25EB-4207-9816-AFF222FE0932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79388856df52bbd4b1bc0c3fab09a89e8c282d3","datavalue":{"value":{"entity-type":"item","numeric-id":481098,"id":"Q481098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$91E0AEAF-0CD5-4A00-8A7A-467B4A70718F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2516d8597c639fd6404ebed6e3a0e1dd0ada02a","datavalue":{"value":{"entity-type":"item","numeric-id":1996019,"id":"Q1996019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$2C832243-3F18-4B9B-8FA1-805222F5C867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82edb3171051bb39cf814fac27925fca707357d","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$4F932D76-B12F-41E3-8D0A-CE8E6F63A309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f309ceda465abd1c7ff47918fafc1312a3f4da16","datavalue":{"value":{"entity-type":"item","numeric-id":1975199,"id":"Q1975199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$E8186900-8724-4933-93EA-8CD39EB63B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c94427f4d9710d5d43db26a7fbb657ebb48252","datavalue":{"value":{"entity-type":"item","numeric-id":2842132,"id":"Q2842132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996019$87B42A4E-6852-4A51-9C5B-9C731C95EC46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996019"}}}}}