{"entities":{"Q4978997":{"pageid":7008575,"ns":120,"title":"Item:Q4978997","lastrevid":36885019,"modified":"2024-07-30T07:28:22Z","type":"item","id":"Q4978997","labels":{"en":{"language":"en","value":"Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6765071"}},"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":"Q4978997$55470D90-CD97-485D-9ACE-79EC8250977B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed0e490fe9e72f27b5df3f93e11303a5a537776d","datavalue":{"value":{"text":"Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4978997$39486318-77C8-4E80-9FA8-3EE555B10D98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5917c6d024e1e31d49e3c80ea4b3e6a0b9e55740","datavalue":{"value":"1368.93388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978997$A3F33F81-D2C0-4BEC-8AEB-2BFEFDFA4350","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e3043fa981cd9e55b69157cd777e3c89573d233","datavalue":{"value":"10.1109/TAC.2010.2046931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978997$27073C90-1E74-47D8-B428-34E0CC94DBC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc740a195117ac458645e1990babb8ab50209912","datavalue":{"value":{"entity-type":"item","numeric-id":259428,"id":"Q259428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978997$48769FA4-62B3-4BCD-A726-0F8323F92E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc7b4e18466a688e3afd33ebdd99ae4041b25c95","datavalue":{"value":{"entity-type":"item","numeric-id":417569,"id":"Q417569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978997$D33D75A5-77C1-44A5-8757-7CE991D7DA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c0b8eda5df87fed1e881da856836b7c0f8feed","datavalue":{"value":{"entity-type":"item","numeric-id":351742,"id":"Q351742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978997$A9CE7C54-73F7-437A-A57E-54C01EFED3AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978997$F5606085-D9F9-4AED-A61B-526107FFB0C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41e05a1824dbd0ec168313322c6c977f7eecc0cc","datavalue":{"value":{"time":"+2017-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4978997$FD766DCA-CBCB-4885-B0E8-FAF568EED997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978997$098EF870-5B3C-4E23-BEDD-BAA8CD65C65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978997$150C960D-C629-4F7C-9B57-47EA6F7F0F11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a82a351e24402ee73b2fbe2925fdce92df97a1e","datavalue":{"value":"6765071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978997$E49E35B3-6610-4575-A2E1-35361C295EA2","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":"Q4978997$6434164B-36E9-431C-8EBA-19F63C6F496A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"816ab907ea999972435b3d95ad29ef7ff9f806bf","datavalue":{"value":"https://doi.org/10.1109/tac.2010.2046931","type":"string"},"datatype":"url"},"type":"statement","id":"Q4978997$34F2F0FA-C548-479C-871A-D7432979BA53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd63d1df076116fb5b13391782a940e768036279","datavalue":{"value":"W2171773362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978997$2754E517-8DD0-440C-BB96-815BC84F2153","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4978997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4978997"}}}}}