{"entities":{"Q6827799":{"pageid":15106744,"ns":120,"title":"Item:Q6827799","lastrevid":56003815,"modified":"2026-02-24T12:35:17Z","type":"item","id":"Q6827799","labels":{"en":{"language":"en","value":"A logic for non-deterministic parallel abstract state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6582828"}},"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":"Q6827799$4FED062E-D973-45A1-9B5A-E4945C7734F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8dca7c7fae3c73bad088855dd202e020974ad56","datavalue":{"value":{"text":"A logic for non-deterministic parallel abstract state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6827799$B8B0BF43-5B06-4AA0-A455-1A27BF5447C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07ae5b8cb0ee774416b851bccbe5382db0e51d98","datavalue":{"value":"1475.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827799$5F164255-4002-4BE7-ADB4-25BF3F50BC18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348491e4bea849fa5ee2808472f4e6bb7a5536a1","datavalue":{"value":"10.1007/978-3-319-30024-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827799$4D2E13C8-555E-456D-B9E2-1A5E101816D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226ec6a2e0bf98d20b25e1e8bd5791eb63a56d88","datavalue":{"value":{"entity-type":"item","numeric-id":313978,"id":"Q313978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6827799$B3A21B10-92F6-45D6-81B6-5BD60E1CFD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6827799$1A1B5166-7147-4B71-8990-BD1AFA5ED3CD","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":"Q6827799$14F660DF-B0B0-4473-80A2-65F029CDAE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396f931b1c3f6615faccdc95c75a5c1ae3269050","datavalue":{"value":{"entity-type":"item","numeric-id":313980,"id":"Q313980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6827799$147C8250-F140-4322-A4DE-B7FAE9FE0172","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":"Q6827799$33AB178C-5271-4A6A-9871-30AF5C0BFA9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ae89f89045e98f672693a874c284ab9c0abdf4a","datavalue":{"value":{"time":"+2016-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6827799$38A39B43-DF47-4175-A458-00B62C99B658","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827799$B494FF85-4AF1-4A05-B077-CCE074DBAB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827799$7ED17162-C927-4FDE-8CB4-951CB50DBF0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed329e91fea296b8493e1dc71411f5f423838ec0","datavalue":{"value":"6582828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827799$E033A724-8EEC-4824-AE34-39B142ED6BC6","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":"Q6827799$25BDCB0C-C61F-496A-88D9-3387D2D05C9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic for non-deterministic parallel abstract state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_for_non-deterministic_parallel_abstract_state_machines"}}}}}