{"entities":{"Q4986504":{"pageid":7016081,"ns":120,"title":"Item:Q4986504","lastrevid":53985683,"modified":"2026-01-26T01:05:34Z","type":"item","id":"Q4986504","labels":{"en":{"language":"en","value":"Model-checking process equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7340138"}},"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":"Q4986504$401CA06D-8005-4A56-A0FC-A17A9C1D3231","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e61a8d2219456418fa848845318299caae0107c6","datavalue":{"value":"1459.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986504$21F5A1E1-6DD9-4389-95C7-EE5C1B3011CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986504$8AFEF152-176C-4972-B1C1-911748FEC5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986504$7B4C1390-BB4B-4090-80A0-8560C9D79762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9f5994a2d2a03e23ba50f3a2f7daf5928f6ec07","datavalue":{"value":{"entity-type":"item","numeric-id":477207,"id":"Q477207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986504$45DA8A91-0734-4F0D-A77D-356F353A462E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-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":"Q4986504$97CE8EE0-0626-4331-8A7E-05B267EBA8ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3911e18e8a37095a4a21ed119d93caff5b8ea004","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986504$D59EF3C8-2F70-4F2D-AD48-E916B9B123D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986504$A4DC63E8-4CB1-489D-AB86-81E03B8F25E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986504$6E59FF52-C2D2-421A-AE17-1A0976CDBADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986504$9D02EC87-A6C3-4589-B5C8-FCCD77DFB208","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91f260292d89f599a2cbecdaa090ce63e930685a","datavalue":{"value":"7340138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986504$A39AA990-D9D5-4CC2-868B-5DB77E96FE78","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":"Q4986504$AE2EBC1E-C848-41CF-B747-7602BB9B87F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f21df977989ec3a0d6c9ba1231f1606ff4cc683","datavalue":{"value":{"entity-type":"item","numeric-id":477208,"id":"Q477208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1728cc8c06fdc0f6b9b56e7f39dacbdd068e5c3","datavalue":{"value":{"amount":"+0.9874951243400574","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":"Q4986504$CB69A7B2-E64C-40B7-B8F7-5A2775AFDA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ff7f27c217304396ac268c4f3f646f59170b52","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9cfedc1d39bd63af42a7511c07ca31da9290c9","datavalue":{"value":{"amount":"+0.780982494354248","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":"Q4986504$CDB9E5C5-D589-4188-B8ED-CE02649F55D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d71e59c6c5bd8398351effc7ce9b85d8d9e4dca","datavalue":{"value":{"entity-type":"item","numeric-id":2409577,"id":"Q2409577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1540dca0591fce9599adc6c35fc714b55dc47ebf","datavalue":{"value":{"amount":"+0.7714874148368835","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":"Q4986504$4EB62015-2B73-4BD6-8B66-8868C78B2772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57833c07d14ebbbb8657494dc142f18b5825a257","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71431b71b670d8f85857a30e689b213916b7dde1","datavalue":{"value":{"amount":"+0.7691478729248047","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":"Q4986504$C0EED6F9-2E68-4228-82CC-62D44197F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532da0e7d0f996a9c558e3a78df28a96b8510f4e","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2481d4d5062d38736a24006e0bf9f0420e9b597","datavalue":{"value":{"amount":"+0.7603697776794434","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":"Q4986504$8562D3AA-6BDA-43BC-B439-4950AFE94A14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4986504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4986504"}}}}}