{"entities":{"Q4692773":{"pageid":6722350,"ns":120,"title":"Item:Q4692773","lastrevid":47165563,"modified":"2025-12-31T21:33:42Z","type":"item","id":"Q4692773","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194783"}},"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":"Q4692773$43AFDBCA-48ED-4061-8292-104DFAFC48AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b247ab3e3892beb824235bf7a9e6bb0a9df0c1c","datavalue":{"value":"0701.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692773$7ED17C87-9E0F-4A75-B11D-D09B1E75F046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4692773$A0BEB874-0BEE-4820-8AFD-C9BF2B2F26B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692773$5A234284-2B8E-4D94-A6CA-F1DE87576E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692773$483900F6-51F7-4FCC-B9AD-F8336F54C38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692773$AFEEB563-C96C-48FC-B4B3-3B1A1C72889D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692773$C8E8C2AB-D409-4AD3-8D38-49F67BD00BFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5c038ecda5f01d7b5f9a46b7c03992792b7de7a","datavalue":{"value":"194783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692773$53149EA2-1804-4A48-A0AD-E5EB4316E4C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a99db9c063a61f86ab646cfbf7806045555261dc","datavalue":{"value":"Constructive methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$C1332DE5-C20A-485D-9FEE-EA8511B698F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b07b7346a83a966cf9a748e3df88a1a5dafbba","datavalue":{"value":"Computing science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$E7218C4A-CAA7-49C9-ABAB-8D42F78B3999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$90F81DF0-BB19-4BA2-A702-178A76758DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442f4022a84b45dda221dab85cfed3d23bacd2ec","datavalue":{"value":"specification techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$CA6702B6-2B19-4507-9412-4CB8B93BF5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$84D28776-4850-43BA-99D3-49CC696EE3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5033014c2dff35e7bee2c74f1978bd2a7b7aa4e","datavalue":{"value":"algebraic approaches to semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$831EB105-00CF-4D8A-8689-30E099CC0B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe963f414af7fafb704cb6340e3a62a7441774f","datavalue":{"value":"parallelism. Computational Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$4AAF062C-7366-4E31-A60B-6C0C5A66D09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$C98E87A6-F4CD-41DC-8BCD-DB3EF6C54E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$F4CBC035-94F2-4617-900C-87D1608A233C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692773$684FEA03-D7B6-4F5B-9045-DE236123B8ED","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":"Q4692773$E4723428-A95C-4151-B0EA-BF0F3E906AFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ce1360b4e17a0de5c4f99b408798d0e6f1e746","datavalue":{"value":{"entity-type":"item","numeric-id":4002242,"id":"Q4002242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e300376e764010c341edd085dcbdd1314a1500d4","datavalue":{"value":{"amount":"+0.7773695588111877","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":"Q4692773$E1E25C3A-C035-462A-A0C3-1340CC95E395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b523f826344bb735d11fee3be20151ffebf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1187672,"id":"Q1187672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08215b3a673e43b5f4e8549d24535af1cbb4f738","datavalue":{"value":{"amount":"+0.775235116481781","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":"Q4692773$F436D259-8A04-4595-A878-2CF131426097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010222e3b8eccf1b546ba0c56331ff9b719422e4","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64966b2bf4bf4077f5a330fd25b5396b670c2893","datavalue":{"value":{"amount":"+0.7736254930496216","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":"Q4692773$7D8F7C2A-3169-427B-8851-6A6BDCE046A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f5e6c2ffa5a2ba95848085e6708f2b0de4f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8859e2381ab279f473caa3f3e729e3589f6a86e1","datavalue":{"value":{"amount":"+0.762309193611145","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":"Q4692773$E13A0B61-88C0-47B3-AECA-1BE5E0C96F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34a11e72edbe257c8957a4a11de3dd28df609ba","datavalue":{"value":{"entity-type":"item","numeric-id":5287565,"id":"Q5287565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7273b306c6db2ff3a7be10b4925cc5a6bc32a1","datavalue":{"value":{"amount":"+0.7600530385971069","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":"Q4692773$D951B29B-4097-4D9A-A6C3-991D93A3F2E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4692773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4692773"}}}}}