{"entities":{"Q3696491":{"pageid":5726397,"ns":120,"title":"Item:Q3696491","lastrevid":50346407,"modified":"2026-01-13T21:02:14Z","type":"item","id":"Q3696491","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3921952"}},"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":"Q3696491$360FB2F5-F384-4D67-9B99-52AFC53F008D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b5032f86b2882b73b9e679bcc3d7ab745788912","datavalue":{"value":"0576.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696491$964986E3-B6A3-4943-8CA4-F92C4A521ED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3696491$DE693CF8-D2AD-4007-A260-D90025E57567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696491$90AF03DB-D504-4546-9D18-3DA849FCDAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696491$81EE23FC-750F-43E1-A6B4-29016978EBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696491$2F346CE1-BD1D-4996-8CD3-75C96D86DBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696491$2FEE9766-A6AC-4BE9-8232-15813175FA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696491$ADCF7FE6-E8C2-4F25-8A95-607A78401873","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24365ddee18b02c42b9804f24bed557e5a0eefda","datavalue":{"value":"3921952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3696491$BF5E0311-DBA0-4A61-BC9F-BA089CD1D945","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aab0e01cc9bebd3e9424fa8aba46e511433654","datavalue":{"value":"temporal logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696491$960D6E09-77C5-474F-9C42-1262CCD0C03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696491$036D527D-139C-414B-A871-1194A178E32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3856f0f5f3d8506ff2d5fea6957010c25b70b7","datavalue":{"value":"parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696491$54AC8C0C-BBF5-4C42-AE32-D0E30EF06936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270d70b1961d59bf4c63507e4ffa4764074cc40a","datavalue":{"value":"low level language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696491$B8568082-A12F-4006-8253-9A87F33D8AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d627de24eeca356d17c691332f080480f7f0fdc","datavalue":{"value":"generalization of regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696491$B9218FB5-F8A5-4092-ABEB-4138D8F1D5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e903c24074f03072b30eb1e05bb13a9d8ee49d88","datavalue":{"value":"temporal execution of events","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696491$703D1EE8-5606-4F7C-B36D-1F9943FF09AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696491$8FB4AD25-0DE3-48B1-AC5F-2B60DD40DA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20c1bcc5bdce1713d010971ae1609012e4deee7","datavalue":{"value":"graph-oriented model theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3696491$7A016F28-F409-4530-81AB-479FB50BF06E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3696491$8243990B-785D-419A-9DE9-9CBC416186E8","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":"Q3696491$852B0D02-EC37-445F-95DA-C9715FA55AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65581c4ead0306499d08ebabf16c50d78f9f4327","datavalue":{"value":{"amount":"+0.8114543557167053","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":"Q3696491$0EA5C0E7-C869-46F4-82AB-22A1075E12F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9597ca3ebaff1425bd68d2cfde836c003af3f353","datavalue":{"value":{"amount":"+0.8071730732917786","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":"Q3696491$872A82ED-F3A9-42B0-84F2-C95078233C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8b08f8a7dbc1034a991d6b0cab4fabd69c0008","datavalue":{"value":{"amount":"+0.8054155707359314","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":"Q3696491$52930E37-458D-47D8-8390-5016ACD3587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53146a465d981b9c1c61c95a1e2818cfc0ebbfed","datavalue":{"value":{"amount":"+0.7997184991836548","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":"Q3696491$638DADE5-4F45-4F7D-ABD5-C026510AADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e3026b100c6ebe7f5391a3ce519de802324d9e","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdd3709039daa19026b9bf1ae4bfbd63f5b86f8","datavalue":{"value":{"amount":"+0.7968931198120117","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":"Q3696491$2FCB20E3-A789-4412-98FD-D2108949668C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3696491","badges":[]}}}}}