{"entities":{"Q3512441":{"pageid":5542345,"ns":120,"title":"Item:Q3512441","lastrevid":50405663,"modified":"2026-01-13T23:51:02Z","type":"item","id":"Q3512441","labels":{"en":{"language":"en","value":"DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301051"}},"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":"Q3512441$252072DB-1EC7-47E3-AD87-F9208008DF62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85b1c5cf27faf720010eeb40bdd5310963bf954d","datavalue":{"value":{"text":"DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512441$41830B56-1FC9-4D63-A074-B6B3012BEE97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9517c138d3f0f52c51f3628a38fda4ae5f86007","datavalue":{"value":"1142.68431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$8F41045B-B475-42EE-9C9F-F4FF72D9B287","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9b1ff4fef1874dc1c25547dad1a602ae25df146","datavalue":{"value":"10.1007/978-3-540-69850-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$24CA93B1-0008-4CE4-9890-576EE82543C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"956b4a1d122f6c82a284819a7860d6861ed89000","datavalue":{"value":{"entity-type":"item","numeric-id":3512429,"id":"Q3512429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$F1D950F1-17D8-4BC8-AA6C-4A06B98F45C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512441$15E4C9E0-D3C2-48BD-AA4C-D37FBFE9F4DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$FB672749-A692-4F23-9602-3A74E4240404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$8FA1D414-49AC-473F-ACE5-A8837EB6DA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$DEB45152-8DEB-475F-9563-77C84B552DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$F8B05B71-2D84-4EF8-8180-31885868BF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$5E95F8A3-B9E5-4532-860B-98FB13A034F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9d4334dbc3ea7362d9ac633f902e15b88bff055","datavalue":{"value":"5301051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$C7BF6273-F890-4469-A1BA-D3448DDDCA5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512441$66B28A51-5FC1-47DF-836F-00823DEDD800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512441$CDBB0864-70B9-48AD-AE03-8FB9314E3D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512441$511DA57F-5D2C-4CFB-A3AD-9EBFB7718D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6580a0d0417310566b2d2df2b3125149349d9c80","datavalue":{"value":"synchronisation skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512441$15258348-D5F5-4ABB-AD75-C0BA54731571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d27c544b3367145c5d47cf02031644eae336dd","datavalue":{"value":"propositional branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512441$BDBF740F-F0D2-4981-9970-A932B9DE1B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea823ecd9bfb7abfaeb1e5b926cb1e269c54d51","datavalue":{"value":"tableau-based decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512441$DE97E484-53E5-4260-B959-EEF15F36F0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512441$0E9C6BDD-91BF-4E1A-820E-D4B7D3D3AF8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$9B1B1A45-6F9C-4A97-8E06-962FC9EF222A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$1A3CD874-E67D-4F50-9DA3-0F3276BCD9D4","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":"Q3512441$A1537508-A1CD-4EA8-AB2D-FE0343A23ACA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f0390d2a1d2ed70c6b9573d072efe18697d8755","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69850-0_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512441$2460D94E-F0BA-4098-B698-AF1332F546F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"040ac17e61f69d588170c5b85298f8cc34ec4129","datavalue":{"value":"W1501731334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512441$EECBA45B-E68F-4A7D-B69E-5670EC8DBA20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e133cf1ada7f1b0dd17b79e98c981a127a99823","datavalue":{"value":{"entity-type":"item","numeric-id":3917484,"id":"Q3917484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$FC7FAC3F-A690-4C70-BDA0-F25785F3250C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$C8F272F7-5FEC-40CE-A998-E63F3F92CB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$EB206A7E-6CF4-4104-A487-B6F7893CB541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc43b13fbf8e1626a092b7157a8555a9241847","datavalue":{"value":{"entity-type":"item","numeric-id":3914413,"id":"Q3914413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$FC5ED341-72DE-42FF-8D4C-E2EB43DC44EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$0EB66CF5-FE8F-476D-9E9C-7F0927F98339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$3F947A98-27E3-45FE-817E-F69F3FE93702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$5377E2B1-CFD8-48AA-959B-A9C0ED5BDA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$FCC4A91F-0DAE-4FAF-A365-E36851A74C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a358a7e0cfe385397b6ee7256bfda7621794063","datavalue":{"value":{"entity-type":"item","numeric-id":3948585,"id":"Q3948585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512441$DD5419E8-471D-4911-8A3B-94FECDE59D68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff53efe1b639b19ecb6e171fcb7bcb78a3a5414","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e4e5cd59ba9360625fd99ae695336ba2f13988","datavalue":{"value":{"amount":"+0.9350745677947998","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":"Q3512441$BC27D072-235B-46CF-A7AA-7D9990A46356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de074d40e4401f2826565ec8e620c2688c45ae30","datavalue":{"value":{"entity-type":"item","numeric-id":3795200,"id":"Q3795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464de99f4f92c8533aca348cac1cd3aca15bdc6d","datavalue":{"value":{"amount":"+0.7808094024658203","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":"Q3512441$400286EA-81A3-4879-96F7-440923E1A849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383d0d83dfc88582286bdb6b7ba6bdb27b57104b","datavalue":{"value":{"entity-type":"item","numeric-id":1116944,"id":"Q1116944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a0656db5920bfcd719625da73c57863c01ed17","datavalue":{"value":{"amount":"+0.7729664444923401","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":"Q3512441$70001BE2-A633-4B55-BF42-36A2234EDFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f28bcabc0e1df82b5084b8356993b9f7a85c999","datavalue":{"value":{"amount":"+0.7643194198608398","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":"Q3512441$B8D12741-E8F4-4B6D-9E4B-A791E398CB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00d46925730f34ff106c05dba1d02271431f3cb","datavalue":{"value":{"entity-type":"item","numeric-id":5395079,"id":"Q5395079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e7a0008b31d608ed465e884254464e887289fd","datavalue":{"value":{"amount":"+0.7626727819442749","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":"Q3512441$8C2FD9C6-E133-4F60-B1DB-B60F5577578D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512441"}}}}}