{"entities":{"Q4543303":{"pageid":6572895,"ns":120,"title":"Item:Q4543303","lastrevid":47959234,"modified":"2026-01-03T04:44:29Z","type":"item","id":"Q4543303","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1780061"}},"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":"Q4543303$429D16B3-27CB-4D8C-89CD-706B0DB86942","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f689c2eade39fb9c0c1a54b37cfd3086ef6a7cc9","datavalue":{"value":"1007.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543303$005CA2FA-8CCE-4720-8370-0C96629FF341","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543303$DBA447AE-1E3E-4A01-8417-2763953B9CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543303$7B5A170D-1806-4F6D-8E4F-F344C40490F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c281157af5837e5656cca8245bad4b6412f057fd","datavalue":{"value":{"time":"+2002-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4543303$832E873F-48B1-4065-999D-8F2278D98FA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543303$DE1D1BAB-7089-401D-876F-FB7C914A6302","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7588f1ed2a4f2e4ee3040f4acca0709215c22d37","datavalue":{"value":"1780061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543303$69E1F4D7-1175-4036-A338-575AB8AB240B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefcda338c93e127b659d5a2520dc4d684424509","datavalue":{"value":"symbolic transition graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543303$A2AB4A9A-B340-452A-8AB2-220048508044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba7f1e8e40091c11491d8ab2f7a8b048fa58a2f2","datavalue":{"value":"strong open bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543303$BFBB76F9-5ABD-4B49-9E52-66DD406F6234","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":"Q4543303$E0C89CBD-4D06-4902-B363-95DCFE6E6DC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20ed8a768c7512ab0cd023c49b8ef3277dd7c53","datavalue":{"value":{"entity-type":"item","numeric-id":4219048,"id":"Q4219048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033d3dc63fcf8d814f95136c53b062d0cf8974eb","datavalue":{"value":{"amount":"+0.7889830470085144","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":"Q4543303$459A5F31-4333-4563-AC53-0E1FFA6AF828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e70ca2d3cb3bd1162104d05de51e0554453a0e7","datavalue":{"value":{"entity-type":"item","numeric-id":1962485,"id":"Q1962485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b812ad1cd6baf597ba0325a64e3fb49f3e4cbf46","datavalue":{"value":{"amount":"+0.7680180668830872","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":"Q4543303$74489849-ABF2-426C-A8A6-C8C6201DD597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f615a22c40b13d8e06ab659a2290938bd0868599","datavalue":{"value":{"entity-type":"item","numeric-id":1854406,"id":"Q1854406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fae2a675ffd406f4fadffcf6cf44ddc86ebe47","datavalue":{"value":{"amount":"+0.7678571343421936","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":"Q4543303$ACB157CA-6869-4CA6-80A9-A7CBA26F4D95","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":"0a867d8702ffb25358edb4603b8823f81ef0e2fa","datavalue":{"value":{"amount":"+0.7638590931892395","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":"Q4543303$DD6AB0BD-DC58-4DF8-A90E-C71D092DE74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222e2133091bfe0c0c8aa8de7a6640840cd51bf0","datavalue":{"value":{"entity-type":"item","numeric-id":2852066,"id":"Q2852066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5671e04c9d6e065198220ce005ea5edb915a6290","datavalue":{"value":{"amount":"+0.7627963423728943","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":"Q4543303$F826CC0B-B2D2-412B-AD43-7737A2FC6B6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4543303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4543303"}}}}}