{"entities":{"Q1679950":{"pageid":1690691,"ns":120,"title":"Item:Q1679950","lastrevid":72492576,"modified":"2026-04-14T05:17:48Z","type":"item","id":"Q1679950","labels":{"en":{"language":"en","value":"Automata and program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810939"}},"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":"Q1679950$AB0E71F4-3A0E-4320-A845-3D517BA4EB65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c5f0248f51c0c263e06b9db6c78e246fa8f1df7","datavalue":{"value":{"text":"Automata and program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1679950$B8987DC9-0073-4A70-BE47-DE75585A7359","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e9bf1e97ba251fed6049aa03f6ae556c4b78ec","datavalue":{"value":"1495.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679950$B9AAB75F-930C-4120-8E02-614810459870","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f623e3fe1bec84c4282e0f5efb4577d1e8abe88d","datavalue":{"value":"10.1007/978-3-662-55751-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679950$FCE719D6-AB5A-4863-A91E-844A8E3C9B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d5c4492b308512708deea353b9e0181d35ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":290902,"id":"Q290902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679950$5693B884-E13A-4CA3-87E2-FDEB9EFDB14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66d8415bbb318b7cdfb5b0ff416f446e7514756b","datavalue":{"value":{"entity-type":"item","numeric-id":290903,"id":"Q290903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679950$8A14E577-2323-44B0-96A7-FFD360DDD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679950$A0E38820-21C4-4F24-B25F-3848A67210C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1679950$83A85D21-1A87-466C-955F-4DA5707265A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679950$A9FBDBB2-2481-457D-876E-DB8DD7DA8769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679950$1154024A-CB5E-4B71-9DCD-2FC2B1472D32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"551fbe1f63efc214aaf4fc6f3648f80a8bfc16df","datavalue":{"value":"6810939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679950$E9F43852-C565-4CF7-AC61-7B5A38DF487C","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":"Q1679950$A4873D1F-D91A-4EF2-A69A-A0B92FEE579C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3f8984d055b247342e4fad76b0fb78516dfb048","datavalue":{"value":"https://doi.org/10.1007/978-3-662-55751-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1679950$2CBA8C2C-A23C-42F1-B41A-EAFA3B1E7560","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e51b3cd2033cb152d44d334bf9e5c3093399999a","datavalue":{"value":"W2746242885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679950$480C57FA-7D8C-486C-A9A0-866D423E7179","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea014f54513a84638b4d51392fb9efd0b5f062fc","datavalue":{"value":{"entity-type":"item","numeric-id":2922015,"id":"Q2922015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566bd76a8e2fedd8bca34c47eecbe0a2c2ae8e05","datavalue":{"value":{"amount":"+0.7820214629173279","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":"Q1679950$BF0A61C9-7B28-4121-90C3-4E5D07D91BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567b774f74dddd3685ae57b72b112a352a7f0eab","datavalue":{"value":{"entity-type":"item","numeric-id":4610086,"id":"Q4610086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a82b2c9d37bbf36addabe8abebe3fc9ba4e120","datavalue":{"value":{"amount":"+0.751274824142456","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":"Q1679950$2D621012-AC4D-4016-B457-11A98A10BE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0d70d8495821b4684202cf593e725fecab94e4","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c10808ffd197a89b38aeec3c63bce775c5d8874","datavalue":{"value":{"amount":"+0.7476206421852112","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":"Q1679950$776030A3-E00C-44F3-951A-7B1AE6F6D5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33cd9197fd8fc846b298f6392794269c44c63ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4035346,"id":"Q4035346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64c304db1f5b5fa6d9bc9c4072c1f2d2e92bd9e","datavalue":{"value":{"amount":"+0.7424172163009644","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":"Q1679950$5805F4E3-4F9E-4C37-AEE0-8C7C738B0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1b6a1c9029c3ad5ca754749e0fc55f78ae6b52","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64c304db1f5b5fa6d9bc9c4072c1f2d2e92bd9e","datavalue":{"value":{"amount":"+0.7424172163009644","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":"Q1679950$1D8D3B4A-9F32-4E85-856B-DD29B470A43A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata and program analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata_and_program_analysis"}}}}}