{"entities":{"Q4357065":{"pageid":6386664,"ns":120,"title":"Item:Q4357065","lastrevid":46948704,"modified":"2025-12-25T22:08:24Z","type":"item","id":"Q4357065","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1070625"}},"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":"Q4357065$B4578758-A16E-4D06-87C5-90CE4FB4BD16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61d658e7b50e4a93239bd03d78518cbe9201a204","datavalue":{"value":"0876.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357065$E5DF00C4-060F-4C3B-BB5F-6C23261FDD81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7e6847632f0b2a12208efc2b9a141d174bb0afd","datavalue":{"value":{"entity-type":"item","numeric-id":1333284,"id":"Q1333284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357065$4B36FC55-C9C0-4703-9338-02BFD3755FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357065$251C8BDE-A880-46AF-9E17-65ADEBFBE4DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee6dabe770d01c58d9d16642e2d2c925ba77d77","datavalue":{"value":{"time":"+1997-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4357065$75151099-4791-4B09-B8BD-7C183E11336E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357065$04722811-FDD7-4EC2-AC83-6775188AF489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357065$8F156959-9B8A-4624-A175-DDC8F4162610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357065$9011FF11-1BF7-4C15-9E12-81C88346277F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3518b517c84c6487529e36ca8a91d7c125c92123","datavalue":{"value":"1070625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357065$DCE6F336-9751-4CFB-AA4E-3CDC0DEF2567","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$18A9CE0F-8F0E-42A8-AD87-95017FC01EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4325f4f9d1140c796913f5f53564316ab4943c3b","datavalue":{"value":"delays","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$C9AB75A8-2DF0-41D9-8655-35C5A220568C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5452a42fe83340ff31731108479becffe060f3","datavalue":{"value":"time-sensitive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$BCA08A94-C2E2-41D3-BFEB-4847E5BA5107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$83F920EA-5D15-4DF4-B111-1D30C87D3B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$B58B8734-F913-4377-9B96-59AA8BD64FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e28b9c3c979daa938d3d7e157d20c406fb8ee99","datavalue":{"value":"time-dependent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$159F923C-1346-4F9E-A23C-7DBB57CB29CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76f9025efa0f435b557025269b205f5638a27176","datavalue":{"value":"nondeterministic term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$EDF1756F-693E-46DD-ACB7-26E758550A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$22A8E487-0B02-4AE3-B7D6-0D207E9242E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea43337ce8e0e1c45e66d0c991e99a1f614885f","datavalue":{"value":"model class semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$7FB2D764-7258-42BD-BBDF-4D58C7D18520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$39672364-2A9C-4E39-A08D-B3C10F746534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50918efcddbbc76512313b3aba62bcb9370528a8","datavalue":{"value":"timed rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$CAF2C805-AF72-45C8-8171-8EF0C7936207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44d9b99a0aada063c22baaa092abdb9b693fe56","datavalue":{"value":"imprecise real-time constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357065$AEED1C43-090F-4996-A4A5-0D9072A95F81","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":"Q4357065$90E217EF-FD23-4948-87BA-8C92AF86F9D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cf1b9a825f4e02414c5205a5883c96098c8212","datavalue":{"value":{"entity-type":"item","numeric-id":1356938,"id":"Q1356938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032980a1b94fc8e16e2470bd8ac1a3b7cd34e7dc","datavalue":{"value":{"amount":"+0.9064037203788756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357065$3C9049E1-47C2-4746-9E03-4B14D3EF3561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27aaaad23cc2de4f1cc69d725e0d8950c922285","datavalue":{"value":{"entity-type":"item","numeric-id":4222863,"id":"Q4222863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70c014ecf45a735ac432820384744cbc849c947","datavalue":{"value":{"amount":"+0.8251394629478455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357065$CAF48D3F-1B4B-4519-A10C-3DC797CA9CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2f71985f7018dd603e8dea28361c13fc7c7488","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d0d8a55501f1ebb28794cb0a39aea54814687d","datavalue":{"value":{"amount":"+0.8223411440849304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357065$39EFA976-4A24-4F00-B5AE-AA76BC0591F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9407fc609ce3828e74983a64d1e43e9501ed222b","datavalue":{"value":{"entity-type":"item","numeric-id":2841289,"id":"Q2841289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3e778f9e6bb5228e708db57c2fadcb1e013a59","datavalue":{"value":{"amount":"+0.8056592345237732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4357065$0C9AF0D6-358A-4FEE-BFEF-603B5E777D27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4357065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4357065"}}}}}