{"entities":{"Q1910794":{"pageid":1921536,"ns":120,"title":"Item:Q1910794","lastrevid":46420881,"modified":"2025-12-24T18:21:30Z","type":"item","id":"Q1910794","labels":{"en":{"language":"en","value":"Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 858696"}},"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":"Q1910794$092C9551-0B35-4310-89AD-84C36967F4C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5597979ab9761554903bd20fc6b5e5df13f597a3","datavalue":{"value":{"text":"Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1910794$E74F4675-58F5-44BD-947E-B0FE23935EEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fa29074d33959a461b089cf6a582e80063ce3d0","datavalue":{"value":"1293.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910794$C8E4A275-5E97-40E9-9085-6CA945AB2134","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77882a676aecde391a86c0b969d3f20152b6f139","datavalue":{"value":"10.1007/3-540-60761-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910794$5AF17081-8CE6-4137-B28A-72BFDF87D663","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027a8d6ba912dce3a5dee63eade531c0ba4f4a36","datavalue":{"value":{"entity-type":"item","numeric-id":1327382,"id":"Q1327382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910794$6D573971-1E34-4E46-A327-B0809404D092","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910794$E57B05AC-A228-42E3-A1AC-C78AACC5EB7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86c9576d9abfd06995fa5ecd97c196cdeba81d91","datavalue":{"value":{"time":"+1996-03-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":"Q1910794$8280660A-1CB0-48B4-90BC-AD14854F93CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910794$86F016D3-4095-44A4-B7F2-1BE74CC4BE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910794$F4035DAA-4E4F-41E1-95AE-ECE7FFA3CB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910794$8D9801D1-50C1-42EC-BCBC-D9FF838DD780","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20ef30c6cf71994bd401888f2e87e0a79d7b439d","datavalue":{"value":"858696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910794$CE18B087-85A9-4D8F-9F06-DAE47CD3C952","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e3412754c819518b74467d9f82816d9209eaba","datavalue":{"value":"partial-order methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910794$AA0683BD-F84C-4502-8E25-3198CCAC0113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910794$68E41EC1-504C-4CC3-888C-0B82EA7A3E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23bd0ef93f7e91effe275f4fafd0d3daea9fa451","datavalue":{"value":"state-explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910794$AAE56092-E24F-4B4A-81AC-EBEF3504EA5F","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":"Q1910794$C89566CE-C0AF-40A0-9FBB-423D33CA58E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eb9f916793097048b095f1ff7561b4d4a88e482","datavalue":{"value":"https://doi.org/10.1007/3-540-60761-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1910794$B0F05423-9682-4881-9D62-4F1AA6DDCAF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92854c27cd7058342c963c4d90760a04d255d7bd","datavalue":{"value":"W2093709900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910794$9FE606B1-E475-41C9-BB95-E142FF898DEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b0d5db590ea969e7aa01848f74c705bbeb162d","datavalue":{"value":{"entity-type":"item","numeric-id":4353640,"id":"Q4353640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46af6b2510dad97e44705edebdb4b74181a6344f","datavalue":{"value":{"amount":"+0.8787400722503662","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":"Q1910794$B4EE5600-3871-41E1-938E-664BF153B862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d41f89afb4ef85cf38e5a0f13236881b477136d","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc41891d08194d70d3edf34f22cfb29c27c3ed9","datavalue":{"value":{"amount":"+0.8354843854904175","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":"Q1910794$2C5F6711-3343-40F1-ACF2-EE4676DCB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aee0f87c37757ebf208a511a6c817e3e0be7699","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca7d9f0ee674a279b578c5ef668c21bfb7f8171","datavalue":{"value":{"amount":"+0.8339402079582214","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":"Q1910794$DBEB5164-4B07-4578-8324-25175E05AAEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1910794","badges":[]}}}}}