{"entities":{"Q3028984":{"pageid":3039700,"ns":120,"title":"Item:Q3028984","lastrevid":49092394,"modified":"2026-01-06T14:17:00Z","type":"item","id":"Q3028984","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016870"}},"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":"Q3028984$CD67B907-FCDB-4A79-9A77-8CDACD241780","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31d8fa0d94ecf0b32957ba1852b8f8d3e4d7e6e9","datavalue":{"value":"0626.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028984$45CFF7F4-069B-4690-9352-323E7DAB9E04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ceb18c0108d8c6a9d9ebd01a688a1f6ba61ba85","datavalue":{"value":{"entity-type":"item","numeric-id":921981,"id":"Q921981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028984$E43994BD-BE44-41C6-B14D-109B966F68C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028984$A500889A-385F-4B82-9FDF-A218B3A0D59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028984$C66DF1ED-172F-44A8-B5DF-D3D940D33031","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3028984$31FFE2A0-BF09-41CA-A875-A783255F5543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028984$941A5673-D099-43E9-9105-079C1E6500E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028984$E6AF6BFE-6673-4700-9676-16B66E3A4317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028984$FA9F974F-79C0-4A85-BC64-0E6DA0256E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028984$0A5B196F-E0CD-46A1-9986-C41A619E7CDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"433fd28ab41277f2cb7089b4ab0dffd7494f12c6","datavalue":{"value":"4016870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028984$775E0FBE-F8BD-4923-8AFE-7366A3A13080","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028984$6F70A381-3A46-42B8-B272-737644A401F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5364919ba242476dfb64cd50f9b543fb6c00246","datavalue":{"value":"finite Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028984$EEDA49B6-43F3-44F6-9FF6-BA9C101252A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028984$A80903D9-2BA4-49EA-A168-210729141704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79729483ad945b03a7f2e5ff793175bc4ae0d96e","datavalue":{"value":"reasoning about concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028984$185382E8-01DE-4A89-B7A8-754F3FFF4C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e715e29912a8b238bd4ab52531310090c0788d","datavalue":{"value":"shuttering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028984$BAED91DA-BC35-4073-B91C-5C82D25704CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc544e482aa599702c82d69a25709014b297742d","datavalue":{"value":"polynomial algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028984$6B11836A-7A34-45FC-BA08-AA475AEDE7FD","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":"Q3028984$E26D9852-6D49-4DA2-ADDC-F77F833BC23A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8fe3397498c4abf94e38fb188e5b3b6550c8818","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1aa0f5e1c94dfa3c99bd3bf0762d15b71eb9a5","datavalue":{"value":{"amount":"+0.8997489213943481","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":"Q3028984$805FAD8C-D4D1-4C36-A910-AC66D3217F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241542c203fc370a7ab0c732e13088b75fb3ff44","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e536099df7e4476e3254fb4522fbddf26005b4a","datavalue":{"value":{"amount":"+0.8450040817260742","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":"Q3028984$B667E92D-72F0-45E1-A864-C962338350DE","rank":"normal"},{"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":"29801dfc70d22523fa66cb00dc7ba148272a01a5","datavalue":{"value":{"amount":"+0.805488109588623","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":"Q3028984$09CA6ED7-B225-4398-ADFD-C7B153A7A72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab4e929957c8ec6d5d28ef408d74c2571690fef2","datavalue":{"value":{"entity-type":"item","numeric-id":4518423,"id":"Q4518423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bea96cdab06b3ddae0c12acf071b4de0ed30c1c","datavalue":{"value":{"amount":"+0.8049881458282471","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":"Q3028984$924F6555-28C2-4FA4-8968-580F1AEC71EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5758b1e0937d501a4b49b3b069df2914a95afdf","datavalue":{"value":{"amount":"+0.8037445545196533","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":"Q3028984$D714DBBD-0CDF-426E-AC45-5E11B3BA72BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028984"}}}}}