{"entities":{"Q4518901":{"pageid":6548494,"ns":120,"title":"Item:Q4518901","lastrevid":47540845,"modified":"2026-01-02T00:51:39Z","type":"item","id":"Q4518901","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538045"}},"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":"Q4518901$05575C88-0D50-45CB-856D-DDC324C620DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"127b441831a072653435d507ed31ee54d5480a72","datavalue":{"value":"0960.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518901$E73ECC16-14CC-45AA-BA66-1382B4360874","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1aa702799bba8332feed35d198b58d4c2e376e02","datavalue":{"value":{"time":"+2001-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518901$D3BBDAA0-3E77-4449-8F74-A598CF19D913","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518901$26406EC4-820A-47FF-AD68-712735D7A85B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4e1efd1d9f728ffacd51f03e69f93d97d3afd1b","datavalue":{"value":"1538045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518901$FF5BAC1B-6E85-43DC-BF2D-14F714D11273","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518901$E83044E7-A4B4-4B07-9547-047B6927FBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518901$D717A8EA-E8C1-46DB-B671-9F0D97ED4B4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518901$F542CC94-71C2-4585-A313-FAB2953E53A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1680139912b893dbf24793a201b57f8a0fbf4194","datavalue":{"value":{"entity-type":"item","numeric-id":765512,"id":"Q765512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518901$52B5239D-62AF-4452-B0A5-AAC3BE01294E","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":"Q4518901$4866FA5B-108C-4F80-ADAB-92BD87B12857","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c800844fc00826c7a6abd0620b6b0f23b291a37","datavalue":{"value":{"entity-type":"item","numeric-id":1854506,"id":"Q1854506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46a9b028ab33798a45f47798068908a4a23aa4b","datavalue":{"value":{"amount":"+0.8732184171676636","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":"Q4518901$6019733F-3B45-499A-B0B2-E05AF41AAEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b928182a3d424beb1efaaf3a49e61bf437100f","datavalue":{"value":{"entity-type":"item","numeric-id":6044123,"id":"Q6044123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad525244fdc8d63c8d281ad9e68e59572c43976","datavalue":{"value":{"amount":"+0.8681541681289673","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":"Q4518901$31F474D5-BF92-4D33-B197-FA26C78D257A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bf33f3bc524fdb176070ddd05fe398bd6833bf","datavalue":{"value":{"entity-type":"item","numeric-id":4472441,"id":"Q4472441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c36aea34b8f5dbb86b184db83e4a6ec67610a08","datavalue":{"value":{"amount":"+0.8053392767906189","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":"Q4518901$AD5C66FF-3FD3-4900-88E7-FD16C06DEA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848a80c7a30bea49cb20a833662fb450f4de0350","datavalue":{"value":{"entity-type":"item","numeric-id":5305663,"id":"Q5305663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd3d92632aef3f6268502b9097f217ae89c97cb","datavalue":{"value":{"amount":"+0.8053389191627502","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":"Q4518901$6B5FBF86-3A6B-4821-A276-2193291BC3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0caf9741c2c86786ee7114a044a574165fb84beb","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7388be23fe1176405b333067761301c158588d0a","datavalue":{"value":{"amount":"+0.780134379863739","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":"Q4518901$9B11E680-2DF0-41F0-891A-C7E1355A251D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518901"}}}}}