{"entities":{"Q6493552":{"pageid":14072325,"ns":120,"title":"Item:Q6493552","lastrevid":38015245,"modified":"2024-12-03T12:09:12Z","type":"item","id":"Q6493552","labels":{"en":{"language":"en","value":"Using partial orders for the efficient verification of deadlock freedom and safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839246"}},"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":"Q6493552$073B80BA-D5FA-4491-93B5-86BA6AEC6B0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a51b34830d4ffcb6fec2d6e07bbc58143c17ede6","datavalue":{"value":{"text":"Using partial orders for the efficient verification of deadlock freedom and safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493552$9BCADBA9-AFA4-4D6D-AD35-815961F39322","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d17692eedbbf1b53bd76ee1879a0a189402323ed","datavalue":{"value":"10.1007/3-540-55179-4_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493552$E7B8F9EB-C8F0-4E15-A27B-9D5D12EC3D4B","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":"Q6493552$CF3791C4-42F7-48C7-8AAD-66139188DBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$442C0D5F-1808-4F91-B2AB-4F022EAD1497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfa9a0f33f50a2c6d2c799c7a2fa7a1f56f2d9e2","datavalue":{"value":{"time":"+2024-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6493552$FCA1E392-2178-4935-A228-D3432983301A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493552$1C5850CE-AF6A-465D-BCB6-3904AB56AE1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac9b3e1f8a7bf4a1e52d52886de027623eaf1fd4","datavalue":{"value":"7839246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493552$0E39FC14-72D0-4855-85B2-318369B8C2C8","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":"Q6493552$545B86C7-B102-4D28-A283-351690839BE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$C6ACFDC6-BA7F-46E5-A43D-5C5218C4C196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$D3660C7D-6AFD-44F7-803F-44D591E137EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$A5A2586F-C52B-4C12-8B56-E5BCC57B7737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$9F9B777E-6972-4B33-A242-1C162939EEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$CD0F2727-7EC6-4B52-A4FF-343761AF939B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$4DB6F90E-932E-4E8E-9994-401BCA604DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$C6C3E94D-9C87-4D88-BDDD-872B427446AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$603EB66C-C60B-4E23-B21D-61A62F7977A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1733693410774cead818d7423d3337d4315e81","datavalue":{"value":{"entity-type":"item","numeric-id":4037379,"id":"Q4037379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$838790CF-7C62-4C75-A335-930D5710136A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$65991049-677B-4718-A942-BC70439F1368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60502daf1ba6abe18c2c96f496fb3463e9b5dec3","datavalue":{"value":{"entity-type":"item","numeric-id":3446820,"id":"Q3446820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$8E79ECE6-D293-4213-9852-C1235A46CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$522BF615-1A73-4140-9214-9556FD124651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83259e578154537ff65896b57deb09fbea84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493552$6B4EC10E-BE23-4469-BB5E-B3A84B940B73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6493552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6493552"}}}}}