{"entities":{"Q2983078":{"pageid":2993803,"ns":120,"title":"Item:Q2983078","lastrevid":45193255,"modified":"2025-12-01T22:24:42Z","type":"item","id":"Q2983078","labels":{"en":{"language":"en","value":"Verification of the Observer Property in Discrete Event Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6717038"}},"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":"Q2983078$BBD0B4D4-9660-49FE-827A-0537816C21B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edce21f9acfcc77e439dcd001dcc540d0c0b282f","datavalue":{"value":{"text":"Verification of the Observer Property in Discrete Event Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2983078$643D5C72-1B88-4FAE-8092-19D1960B32AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"def9516e372fe7dca54cdfc837325421d1c13365","datavalue":{"value":"1360.93130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983078$2D4AD2CA-8DA7-4981-B25F-3F3F61A3AFA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46ddaa20627d1078f796ce15edcdd077a1b23576","datavalue":{"value":"10.1109/TAC.2014.2298985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983078$42420DB2-7DAE-4F0A-91C8-EF6716FDDB7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60ce5018a42056aab9365a99bc9af2b369379ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2128093,"id":"Q2128093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983078$83107395-F3FF-42C6-B32A-6E18E03E0342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f260928af4697373dbdf12fc8062c195d4df32c3","datavalue":{"value":{"entity-type":"item","numeric-id":2776555,"id":"Q2776555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983078$0D8C1645-BC21-4E50-A3A3-079F4527CF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef02944697891d42b682fd243ff6f9a611aa48e","datavalue":{"value":{"entity-type":"item","numeric-id":2511868,"id":"Q2511868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983078$1A7ABA2E-0C34-4BA0-9FAB-53DF21EE5ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983078$7D7BFC7A-7EED-4109-B82E-36F583FE9765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983078$200F0CCD-F0E0-4903-8E4E-2BB5448386F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c4a9f44fefdb881a2ef43409e626f030cce849f","datavalue":{"value":{"entity-type":"item","numeric-id":539489,"id":"Q539489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983078$B3F707A1-BF2B-427F-9C0D-EBA5A90D8C81","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":"Q2983078$A2E0ADA1-D4AD-44B8-84E9-E2347CB0533F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-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":"Q2983078$E5852B3A-94A5-4B40-84B2-026410C61911","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983078$22992F0B-6DCC-418D-A139-4DCD07841BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983078$251E8F3A-9261-4087-ADD1-2D463F0915F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983078$DEDA4BE7-205D-420B-92D2-7A2D9268302E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6779199ddbca8cf271adc4fc9e139a613457d4a3","datavalue":{"value":"6717038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983078$FAC867FC-A4B0-4616-8B4F-3E756F8AA4E2","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":"Q2983078$1871B00B-8A2C-49E8-BD07-7313AB6643FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e05823fb1cd14831a1f4c86b19b985e52c0a38e9","datavalue":{"value":"https://doi.org/10.1109/tac.2014.2298985","type":"string"},"datatype":"url"},"type":"statement","id":"Q2983078$A22BFCFA-BC8A-47F8-A66C-3197DE321AC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3dfe3e36822d49f53409449a51bcb5b3576709c","datavalue":{"value":"W2050191525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983078$920F7C64-B412-4998-87F0-14A89A8FA80B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2983078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2983078"}}}}}