{"entities":{"Q3321470":{"pageid":3332178,"ns":120,"title":"Item:Q3321470","lastrevid":48696544,"modified":"2026-01-05T15:42:08Z","type":"item","id":"Q3321470","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3852428"}},"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":"Q3321470$975F0AFF-2F2B-4AA4-9A8F-57E981EA50BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55caa4d2e082de4974eaf3619a4249e195f42f2c","datavalue":{"value":"0536.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321470$438C0179-9B98-42F7-A1F6-C6784D496CDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3321470$574CC046-E170-4CC4-BC07-56AF6D50397A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"355040910cd530dba8b668ad97f83f789bbfc22c","datavalue":{"value":{"entity-type":"item","numeric-id":1194339,"id":"Q1194339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3321470$906FDBB9-ED26-4820-BA6E-59A2B340E772","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3321470$951F02FF-DCA6-4EFE-847A-3CAE3FC22288","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321470$4F47E678-004F-4DBA-B02D-31FCC037B43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321470$A52ABB41-EC97-4074-AC06-724891273205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321470$6ECCCA26-1027-46F0-8A77-D93983C6EDF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7c31c8262fdd1421ab2d62dff6430821ea3b97b","datavalue":{"value":"3852428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3321470$A9B36945-6F22-40B2-BBC4-4552F28A8416","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53bb5af09849c863b4c4bf86149efc5e7e0b0ce8","datavalue":{"value":"descriptive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$8189FD49-6695-45CC-951E-1BE3300CCF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4bafe6ad5e2f3cf1072f045d8b2c71e6dde0cd","datavalue":{"value":"programming logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$6DEE5DDB-5346-4E1C-9949-0DD9A7E107B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a23446305d38bf2dd2ad494138dda722e6db3","datavalue":{"value":"elementary equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$6BDF96BE-B4ED-41C0-B12D-828932358F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca020b1436ae75a8fc28c9b71d23bff20c95360","datavalue":{"value":"nondeterministic state transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$54DCDC61-866A-4F14-814E-2649D932B45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$7AEE2D9A-0908-458D-8739-6475591AAA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$406C4767-69F6-4222-88A6-A729A38F694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5172669df084a93a3954de1e21d54d3180dcfc2d","datavalue":{"value":"regular trace logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$8F653D00-E490-4215-BC29-D7ABA5368023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df337ad6d18471fd65690e8267e3837b75444e6","datavalue":{"value":"behavioural specifications for concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$D88F4683-A0DB-45B5-9EFF-81A0AD44089A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$5DBD0C0A-A608-4C7A-876F-9F17143F933E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88667702520deb3be6b091a0ea27685b3542b7cd","datavalue":{"value":"Milnor's observation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$E7085C16-422A-496E-B189-CFAE3D1427C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c02085c9225090667e1a40d036eec69f14295ac","datavalue":{"value":"failure equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$9675DE52-CCAC-48A1-9DD8-CEE4D6A42870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3321470$3C53B81C-3D76-4348-BDF3-B378DF68ACC8","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":"Q3321470$9DA7765A-9C3E-49E7-B207-B260185A6EA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c7f469ecac91974b74baacc9bdd9b0a78cb204","datavalue":{"value":{"amount":"+0.7861305475234985","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":"Q3321470$46C59324-333A-415B-B584-5DCBE6F5FE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c707062daba874da2d8b351bc3dc258e69ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":1119013,"id":"Q1119013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e81ce4c7e914e513a740f783e21d904a1a4832","datavalue":{"value":{"amount":"+0.7768275737762451","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":"Q3321470$25F6B78D-F9BB-44A0-873A-C24501B36EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635d310e4487c0ac9fea4f43b9696a1d3ea5bd69","datavalue":{"value":{"amount":"+0.7750119566917419","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":"Q3321470$D57FAA79-C055-4289-9363-C40F495B1C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f8071604c3051ea9df0471407f09edf9a475ca","datavalue":{"value":{"entity-type":"item","numeric-id":5055959,"id":"Q5055959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bed9ea948cdbfb29229827872c6fc54325e0a6","datavalue":{"value":{"amount":"+0.7622390389442444","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":"Q3321470$5509EB74-DC53-45C3-99F6-350FAC1AAB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b463cbd7ac8ae1ddd4ac9671d236ff348a81224","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28b83bec37ccdaa5b6910d2789c9dbd2b40e240","datavalue":{"value":{"amount":"+0.761996328830719","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":"Q3321470$956F2A65-ABC4-4944-A4D2-D432F32E7D12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3321470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3321470"}}}}}