{"entities":{"Q5458835":{"pageid":7488394,"ns":120,"title":"Item:Q5458835","lastrevid":50342594,"modified":"2026-01-13T20:52:02Z","type":"item","id":"Q5458835","labels":{"en":{"language":"en","value":"An Incremental Bisimulation Algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267225"}},"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":"Q5458835$49C71280-BC3D-4F7F-B546-A3DDD5BCCD4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67a303ee72e638858e5faf40544d10a3d1e16899","datavalue":{"value":{"text":"An Incremental Bisimulation Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458835$4F102884-CCD9-4B73-B84F-FB0419A75418","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1013c795fd68b11d6faea9595d8c1d7beaee229","datavalue":{"value":"1135.68500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458835$B52AF7E8-F327-4C14-AC5D-6B8C0214FBDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4196e87a118dce0a1c0f42dd3c6fad54a7fbe7e4","datavalue":{"value":"10.1007/978-3-540-77050-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458835$67892BED-A2A8-45F7-B78B-C7D0AF731BF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4821f0b7dc70f274a6fe29333a2c7eb8bb25ce9","datavalue":{"value":{"entity-type":"item","numeric-id":5191492,"id":"Q5191492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$4866183C-D409-49E1-B720-44757B1A8973","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$0ABFD4BA-D786-489D-B0DA-99FF1677CD0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458835$5EFA535F-8CA1-43EF-8A69-F07EBE22107D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458835$B4DE04D1-546A-4DD2-881C-379B81E049D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458835$F97453BA-8095-408D-A53F-12BBEC18939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458835$0315C951-5620-4C83-8940-F3B4572094F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e0b98a472a8f8702632d007a1a0215831068024","datavalue":{"value":"5267225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458835$EB3DAC17-68E0-4470-BC6C-86638952EF82","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":"Q5458835$C15126A2-1A7D-4D13-A196-14B2931F3F1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c17e0d8ace9f341a8577614e6b850f37a2d3a6e1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458835$3E3A7F32-DBA5-4250-B95F-8AED43E110EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68abe04908e773da69f50a1e9dfb1ea897f7896e","datavalue":{"value":"W1854661526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458835$E1C81350-5994-424B-A415-C4C877362EFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8485aa619ad83ac0b35f140bec0a0e0e54e813e9","datavalue":{"value":{"entity-type":"item","numeric-id":5178910,"id":"Q5178910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$45237962-F39F-4E32-8DAA-3C05B69F9830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac27fb0063390fbc78279fad23076645207b4d93","datavalue":{"value":{"entity-type":"item","numeric-id":4736511,"id":"Q4736511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$F5ADD7A2-BEA9-45FD-B00E-974F88BA21F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfee5788a40d6a31d12e0d933b8fcdb3b198b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$4E96A0A9-2D97-4CA2-8988-1916833F6CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90549770af885994f6274f2616728935eb95e930","datavalue":{"value":{"entity-type":"item","numeric-id":4551136,"id":"Q4551136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$52E38964-EA3E-4B7E-878C-F74FAAE422AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$EDF25453-1128-4511-9822-6EC36A6712EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$2A47A2B6-166F-4BD2-B2EE-796402F66EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$591F51FE-7A79-44EF-88C2-24B6BA36B836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$899E35EB-CFA7-4FAC-A2FC-8C8C1698C2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$564FDC14-BC8D-4056-A1F7-F61303BEC3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160bb02f90deba1357b0546b9ef3f897898e1176","datavalue":{"value":{"entity-type":"item","numeric-id":1063420,"id":"Q1063420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$1BF2C069-4C1C-455B-8F03-19510D55E3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c928fe9d9af4bf0d007127dba9cc5f825f88b32","datavalue":{"value":{"entity-type":"item","numeric-id":5191493,"id":"Q5191493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$2086C220-302B-4F84-A28B-3711E4181C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a41d4943ba80bd3df02431ab37b85bc8cbbc00","datavalue":{"value":{"entity-type":"item","numeric-id":5449592,"id":"Q5449592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$7859EBC7-C1C0-42CF-9618-89802FE87D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd710567ea32101f4f565557411a471e90460b23","datavalue":{"value":{"entity-type":"item","numeric-id":1144380,"id":"Q1144380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458835$07EA9048-A3C3-46EE-92C2-54EB1C5ED019","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da587da28efd802280a3486f4a2cf279801073c5","datavalue":{"value":{"entity-type":"item","numeric-id":4551136,"id":"Q4551136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1872a1da1f4295ed1866822da091d7fd8cfa870","datavalue":{"value":{"amount":"+0.7922871708869934","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":"Q5458835$B0011445-BAFB-4BFB-A41F-D21B9ECEC64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d7ba9f650116150bdb49c0ee5a75740262920c","datavalue":{"value":{"amount":"+0.7850329875946045","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":"Q5458835$FE1A31FD-A5F7-447C-860E-81107330C7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522982767c75e8d14e52b4f37fe47155ca25f3a9","datavalue":{"value":{"entity-type":"item","numeric-id":1431342,"id":"Q1431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00cd0df57e53a88041dbb30a0ebb883da047c64","datavalue":{"value":{"amount":"+0.7846189737319946","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":"Q5458835$84B33684-0FBE-4508-ADC1-22114E2C7F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ea2926a9767f18af0b239e31a96cdb2fa2e5b5","datavalue":{"value":{"entity-type":"item","numeric-id":4605201,"id":"Q4605201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e537aa4bceee04d31eae0f26f2cffd1d6bcf92","datavalue":{"value":{"amount":"+0.7566665410995483","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":"Q5458835$32234205-64AD-4983-9566-6CEE1D2EDCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c4731c2b3b50bbdca43b79f09b4fdf876062051","datavalue":{"value":{"entity-type":"item","numeric-id":4637906,"id":"Q4637906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6409580a2c8fa61a3a210324d9233005e90a2bee","datavalue":{"value":{"amount":"+0.7535002827644348","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":"Q5458835$F3C8933F-23EA-4B8D-94EB-A9782AB57EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458835"}}}}}