{"entities":{"Q6567759":{"pageid":14178914,"ns":120,"title":"Item:Q6567759","lastrevid":55703926,"modified":"2026-02-17T21:20:18Z","type":"item","id":"Q6567759","labels":{"en":{"language":"en","value":"Weak bisimulation and model checking for basic parallel processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876717"}},"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":"Q6567759$B902B051-4BEB-43FA-9C88-9BCB17796EB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"330a1876686614642409a307f784a23756fca30d","datavalue":{"value":{"text":"Weak bisimulation and model checking for basic parallel processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567759$432ADE12-3E3B-42E5-98FF-C178F301B4D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"699a5547cde6a63eb638e0c968ab774f2dc36e65","datavalue":{"value":"1541.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567759$78D8E9D2-7DD8-49DD-A54E-1E29F2410BC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5d16863f855b297ce4e419d98c47630985cc411","datavalue":{"value":"10.1007/3-540-62034-6_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567759$489215A7-2CB4-4A84-9BA6-1F82C094B518","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567759$31579390-739A-4FE3-B7A9-9D311A4EFC2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567759$4511D052-4A93-43E9-A027-F2F2930A7941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567759$74FA9CED-CB02-4942-A400-6A761E486856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567759$4754D3B4-AB48-4B2F-B1E8-8562561A4C72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"436b599c80e8d30581b3c9b2f31493fa1befa44a","datavalue":{"value":"7876717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567759$395508CA-C692-4A10-A586-6C96A0911D61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a76afa3f9278439ca52ef5c2e29fb4a00797c","datavalue":{"value":"basic parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6567759$8AEE6079-B88D-4140-AC78-2ED068142500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6567759$743E9874-F6C7-423D-82FB-E21534F7796F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6567759$A110E8D5-FEA2-4CE2-AAB3-977E39025C12","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":"Q6567759$556C8CEB-9BE2-43A8-92CA-CC4F48B388C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2d1812529ed916e747fcd27a20d3d3ea78e512","datavalue":{"value":{"entity-type":"item","numeric-id":5055893,"id":"Q5055893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567759$28A11A39-114C-4554-A13D-79AA52402B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0deeef39be58c8f47637dd9909466046884d08b4","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567759$D3FDFF6B-7190-4FA5-A2BA-66D66112D989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567759$05BAA213-A343-4973-9780-B9CA5190EA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567759$2E58C577-E71C-40E8-B982-FDB05334C4D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab54850448f4d4aea413cf1328367a3cd1b51f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9faaee7bd71bf36b6c0a801adbf4a5a09da7efa8","datavalue":{"value":{"amount":"+0.8841490745544434","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":"Q6567759$B3245CA3-4E42-4541-99EF-9E25913FB613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881af164b8055a21072d30f286243476fa951fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83436c397191808ae89fac89ff2e0afd553b1477","datavalue":{"value":{"amount":"+0.8512254357337952","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":"Q6567759$F6AE0D7A-F4E1-4892-9170-C6D1250689ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f547042c3d9ee9223587817387613d59cc1806d","datavalue":{"value":{"entity-type":"item","numeric-id":3502645,"id":"Q3502645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b4a0f3a314ae2ea581c7255b9ca19f0a8e5371","datavalue":{"value":{"amount":"+0.8498081564903259","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":"Q6567759$49CA1197-45F7-49FF-B403-4291F63F83E3","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":"a436db51d1aec8861092d67a1a766a71ccb7ea93","datavalue":{"value":{"amount":"+0.8463037014007568","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":"Q6567759$ABA1B566-FE6B-4A4F-BCDC-A1CD5617C9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257987e34364cf11b26966c06937096e645f0419","datavalue":{"value":{"entity-type":"item","numeric-id":5958326,"id":"Q5958326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98ca6e48a6dbcd0a7cab452bf1014438e43aa15","datavalue":{"value":{"amount":"+0.8426523208618164","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":"Q6567759$AA8252DB-53B5-426A-A9B2-1776806D7F68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567759"}}}}}