{"entities":{"Q1431342":{"pageid":1442082,"ns":120,"title":"Item:Q1431342","lastrevid":68687334,"modified":"2026-04-13T01:26:33Z","type":"item","id":"Q1431342","labels":{"en":{"language":"en","value":"From bisimulation to simulation: Coarsest partition problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2069029"}},"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":"Q1431342$85FA23CE-4C8E-4D44-B462-1C7A796E558F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03cf6d047f39edecbb4fe13e10908647dae41a9f","datavalue":{"value":{"text":"From bisimulation to simulation: Coarsest partition problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1431342$E1396C60-99D2-41A4-9554-1E90A5962DFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c1a81b06e8a1f323ea1ff6ddb0e3c7fd32c7581","datavalue":{"value":"1081.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1431342$BE2B1F7A-D982-48FC-86A5-0D097A026C5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d997801872865c316973d9054ff7205d6dac848f","datavalue":{"value":"10.1023/A:1027328830731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1431342$838A72F1-405F-4B4B-A865-0061EBC2D0AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1431342$AF1B2AAF-B4F6-4649-8A20-C630E38F1028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1431342$20751018-0B5F-4875-828D-D8E9CEA1363F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1431342$A45B9FF7-0BAA-4F0D-9FE4-55ED8D34C186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1431342$A94A5E1E-75F2-4FF3-B1BC-EE9D865A2E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1431342$F7708D06-54ED-495B-9BC8-D9B3ACD31437","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"244b7638cb1d2d09aab9bc8a4f5a198ba8726e4e","datavalue":{"value":"2069029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1431342$FE8BD8C0-BAB7-4E80-BCC3-B1F092805582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1431342$7685C8BA-7796-4B08-811C-7E1C0EA1629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1431342$BDEE7568-F2C3-44CB-9AA3-64DB00E22646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5651a77624c8e01f71d68fd42e39aad01168ea3","datavalue":{"value":"partition refinement problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1431342$7E06D1C3-CAA1-40E0-9538-77869BAE237D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31503e637e24a4112218e0870b5d341cabb000e0","datavalue":{"value":{"entity-type":"item","numeric-id":2446597,"id":"Q2446597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1431342$210F77C9-4FA0-4EE7-BBA8-3D62DF943B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1431342$2B76596C-D696-49D2-905C-E3E8DD7B2C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1431342$8B8002D3-8D98-4C6E-A46D-E0968598F7A7","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":"Q1431342$D99CAB3C-701B-4F36-8ECD-3F579D784B6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71755437f17853ce580f4de06256b5bc3c612a58","datavalue":{"value":"https://doi.org/10.1023/a:1027328830731","type":"string"},"datatype":"url"},"type":"statement","id":"Q1431342$BB8793F2-6AA0-4550-AF01-9E36C3F05528","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ceba9b637049e749326dfac66abd276468f4cc3","datavalue":{"value":"W1543732613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1431342$44FAAA29-65E5-4695-BFDE-5BAA0584C90A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc56ab5cbf5d4b072c749f40225480bcd4b2787","datavalue":{"value":{"entity-type":"item","numeric-id":4472257,"id":"Q4472257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b83f3bce2a05ff584cef6157b57b2fe05600ee","datavalue":{"value":{"amount":"+0.9154326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$C6C22469-6BF2-43A1-9163-9AC8A7A44EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b7b944a70399e648c5ffd39121fb92cfc226d8","datavalue":{"value":{"entity-type":"item","numeric-id":5452714,"id":"Q5452714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c35cd5c638ab7248084b5e8a578e67982af923","datavalue":{"value":{"amount":"+0.88877887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$CEDE5F71-037E-4C8F-9B1E-795286342F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f8ee9a335c46287e68699d879205b0d39ce388","datavalue":{"value":{"entity-type":"item","numeric-id":6135758,"id":"Q6135758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a747588a9dae268c2ec3cef5a7e2fdbaded7d3","datavalue":{"value":{"amount":"+0.88376975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$3E076D73-3F4C-4A2F-B21D-890C8F24A854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f13139c7c1e688699842b67939174ea0db8261d","datavalue":{"value":{"entity-type":"item","numeric-id":4553282,"id":"Q4553282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e210c96c599b6eb676ce3a33a638dc39d508d298","datavalue":{"value":{"amount":"+0.87716156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$BFF169D0-C34B-4B1D-9138-0C06DA1FABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c90ff0dfb68d7391e6d85244c7a78020c07120","datavalue":{"value":{"entity-type":"item","numeric-id":2754155,"id":"Q2754155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c2f680f245ac42fce6a6a095b3bb986a3aca79","datavalue":{"value":{"amount":"+0.87211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$8F81FB19-E69A-4FB5-BBAF-A312E2A1E33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2684368addcf23d710ff784afa2fbcdbdb4d56f8","datavalue":{"value":{"entity-type":"item","numeric-id":5278398,"id":"Q5278398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346e3f89f491b7cb99ac9906646c5dfce1a5eedd","datavalue":{"value":{"amount":"+0.86608744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$5398C8A4-A9C5-417D-B410-CF9DDCACA2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6ee58d0b384b8a04a046bea37b43d2c6970035","datavalue":{"value":{"entity-type":"item","numeric-id":3493241,"id":"Q3493241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b481eb308348f8781023048f6cd5d81f7ae52f","datavalue":{"value":{"amount":"+0.8618276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$0E874685-E1AD-41D8-9B0B-E59AB3192F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cde9f4b027573ff449239da0f9b107f282a9274","datavalue":{"value":{"entity-type":"item","numeric-id":5262977,"id":"Q5262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b8a1e73885e13344461392bff6ad555359484e","datavalue":{"value":{"amount":"+0.8599287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$2E43CB3F-9CCD-4A37-AB71-F4C78F7A22E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8f785ec1ccc034fd80e0369a8ef8faff0cf777","datavalue":{"value":{"entity-type":"item","numeric-id":703845,"id":"Q703845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560e2a0328dcc1b917a24760fd701754581ebe81","datavalue":{"value":{"amount":"+0.8584126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$AECC311D-DBE7-46CF-BFB7-ECB0C4EE0F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7a37eb09577d6cf949244cc6f92d16f1866edc","datavalue":{"value":{"entity-type":"item","numeric-id":6176115,"id":"Q6176115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0caade33c213a7fd46e7c38926316742ed3259eb","datavalue":{"value":{"amount":"+0.85609776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1431342$192DF014-760F-448F-A551-E6A3C25FDC9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From bisimulation to simulation: Coarsest partition problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_bisimulation_to_simulation:_Coarsest_partition_problems"}}}}}