{"entities":{"Q4219048":{"pageid":6248649,"ns":120,"title":"Item:Q4219048","lastrevid":40900870,"modified":"2025-04-13T22:34:02Z","type":"item","id":"Q4219048","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223732"}},"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":"Q4219048$224A403E-0573-4991-A5C9-9FA4B4BAEB76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67ee40ee438d8e555281c3af254f952a80e64d82","datavalue":{"value":"0913.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219048$7F2D77D7-65EB-4E8B-A80D-FD013C8EB04C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c58569846d61b472550f2efc872275f83e776b","datavalue":{"value":{"entity-type":"item","numeric-id":533184,"id":"Q533184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4219048$173B5984-BC0C-4DEE-9A56-2FF69C2EB10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25d081311eae44eddf4c22ed84a12cfa39e6923f","datavalue":{"value":{"entity-type":"item","numeric-id":1129837,"id":"Q1129837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4219048$5C0E868A-6DBE-4160-9FD6-60AF7CB95129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"434673b5be884fc3474ad3e71a8cb592da1960eb","datavalue":{"value":{"time":"+1999-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4219048$BFE7CDCC-5069-4406-85AF-E0339BB3D4FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219048$A75D4081-63D2-4E85-98B0-C0DF8C18947A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219048$46072234-B56E-40C2-A8A2-8606E2C7D260","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6e0bf90dddda513d442dbb8c5901f93e8ae2576","datavalue":{"value":"1223732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219048$45C12F93-B637-4BE7-9823-63B351D481D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219048$3412C4D3-4AF9-44CE-BF7C-645D83383E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"357560e3f15189d6be16c1291671d2712101c396","datavalue":{"value":"strong/weak bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219048$73947F4C-9BE2-4F70-9271-EA5E4795E329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ef519bfc9d2b2e2ee27ec4404e1fd2aef4710a","datavalue":{"value":"observation congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219048$3F652144-CCCD-4833-A3BE-C0200FC9CFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefcda338c93e127b659d5a2520dc4d684424509","datavalue":{"value":"symbolic transition graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219048$985100FF-CCEA-4A96-B1F0-A2E70791D24A","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":"Q4219048$5AC8B201-8075-41D2-8C98-C62FF7E91754","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c314b3a0a9d619a61fe66f501a73b29f8ee0eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd34d3f6ed8a6480bb98338b71b982ead5a42ad1","datavalue":{"value":{"amount":"+0.9177409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$096A0ED5-6D0A-4BC4-B068-2254C7A9BAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07490e1bce39583a5e0e8b2142a40bbd51002c14","datavalue":{"value":{"entity-type":"item","numeric-id":5096731,"id":"Q5096731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a855b1ba54fc7fa11b68c2057895652b98131755","datavalue":{"value":{"amount":"+0.91767067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$44C81402-B1F3-4B26-9B7C-B8684C52EDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19caaf7033b99cbcc05b1cabf952d9e3a2e5c1b","datavalue":{"value":{"entity-type":"item","numeric-id":4543303,"id":"Q4543303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28ada283187a2cb745ac04bce3efe30080f9b4c","datavalue":{"value":{"amount":"+0.91664815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$D917D71B-7D38-434A-82CE-629505424C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb1503e48ac14637472ba81ace601aac359ebcf","datavalue":{"value":{"amount":"+0.9157568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$80D39086-D4F8-4767-8245-1D2ADEFACF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51443693fae9fcd517bfd04a049ceb5eeaaad094","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734748b4e77775c041d98a26b84ca1eec627cddb","datavalue":{"value":{"amount":"+0.89726055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$03B7E12C-6DC1-4DAF-8507-9899685E5EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a025efa84a18592663102e949dbcff0b082431ca","datavalue":{"value":{"entity-type":"item","numeric-id":2871830,"id":"Q2871830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7cbee73e88b42350bf4242395895da763476136","datavalue":{"value":{"amount":"+0.8957578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$6167FF3D-F783-40F8-8900-5B4822A12BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11d83fd81c2826e7a81b84f66d209780cfeb124","datavalue":{"value":{"entity-type":"item","numeric-id":444457,"id":"Q444457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df236a2cd2d2d7e62c3d95c50094961e9daf04ce","datavalue":{"value":{"amount":"+0.8908726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$0F824C5E-763E-4757-8E24-5A1B4C594235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5df1f15b90772e418e2ce733dbd263ec8d68bce","datavalue":{"value":{"amount":"+0.8894539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$F5303E3A-3010-4C6B-8B4E-8814090AF128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674e844a8d35aa6055616c89d0c4ddfb5b818fa","datavalue":{"value":{"entity-type":"item","numeric-id":5897764,"id":"Q5897764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f51d26df34ca8e9b66c0118f06306afb5b592e","datavalue":{"value":{"amount":"+0.88809776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$4B523248-5AD7-4E14-9328-E9491B7FA99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30686e4b96dbdea5912a334eab698ec8c93f1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c623bbee9b2fc50a3f423fde5d627bf08e17db1d","datavalue":{"value":{"amount":"+0.88588893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219048$F455AC96-C364-44F8-A25A-927593200120","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4219048","badges":[]}}}}}