{"entities":{"Q2431771":{"pageid":2442514,"ns":120,"title":"Item:Q2431771","lastrevid":49950301,"modified":"2026-01-12T06:19:26Z","type":"item","id":"Q2431771","labels":{"en":{"language":"en","value":"CTL model checking on a shared-memory architecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066427"}},"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":"Q2431771$7CD07E26-4DDB-44A4-B927-CE95D61CAD36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3280c5eb477edf6a8ca52408b5c9585ce84ba91","datavalue":{"value":{"text":"CTL model checking on a shared-memory architecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2431771$6C0995D2-3FB3-47D1-BC21-C2573A6DD959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35842c2155e172572330ce5659d6c427499f167a","datavalue":{"value":"1102.68504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431771$28507D88-75D3-4148-B659-E36CA624BBAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1df2fb8a051f960515ec1f78c40d219592cf088c","datavalue":{"value":{"entity-type":"item","numeric-id":2431770,"id":"Q2431770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$58EC61CA-BBB1-4FD0-B62A-81E5DAA7ADDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$92B6952A-BE9F-437D-B099-C995EB1435E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$093791AD-2AFE-469D-A19C-242016D9EE83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af241f723e3ca74304d263c8a2b02a411a00985e","datavalue":{"value":{"time":"+2006-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2431771$297790C4-CAE0-40BC-A324-1A02D4E51BD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431771$DF5FD5B9-2993-4988-A4B5-6A8EC9D3C2F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28a7091c25490a6040bbe845b0e75502c390b3a1","datavalue":{"value":"5066427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431771$55F25AAE-3B08-4237-9C53-45A5B707A306","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431771$6FE03711-538E-409B-9323-07135410C583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"980fd5d00bfadaf8631c11f6e2ac237b7aea8945","datavalue":{"value":"Parallel processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431771$3929A7EA-3D63-4EA7-82E8-8A59A3E1DCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd63290dedda65b83f6ba6fcd9926bf00c148b75","datavalue":{"value":"Shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431771$0648419B-D647-48EE-A7CD-EDEF901833BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ba66c4517a0e5b315f4f6d5600de38d2716884","datavalue":{"value":"Multiprocessors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431771$EAF23CBE-DB9E-41A0-9900-9007A24C4788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff7125545fcdacaefe3808a1a5f0e0a281b403","datavalue":{"value":"Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431771$AD4AA7B3-358D-4471-8FCE-05504ADF33A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$73D14C90-1DA6-484A-BF6E-75827FF680F3","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":"Q2431771$5241901D-E2BA-46F1-BFB8-0D08EF40E440","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdb6e782b3e66f7a87a36ea3dc5fb11964741a1d","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0008-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2431771$9653EABA-AA25-4B77-B6F1-6DC36C5DEB5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ea8285c1599bac1eaba76d2a4bd26c7f846d1dd","datavalue":{"value":"W1977090137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431771$C203CD5A-3C43-4FA7-938A-59B0C65E5D4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2691f3f6f3ea227bdf6971c92cac05f5fed9d1e9","datavalue":{"value":{"entity-type":"item","numeric-id":4813021,"id":"Q4813021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$F555D129-1890-4B80-98D4-B265EDA3E028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda05fa7733652b718babfbd348283b731bf9018","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$8039F447-B4B7-4E67-B1A2-57BAA7582644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d207321f5a8923ffcf4638f1bd25d4d55b8df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$F1856418-FD7C-40F5-9388-C0DA52488393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4e233ff1837911f4fbfdd3f3738318d8dce822","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$5C1086E2-D005-40D3-99D4-86F1B1D16E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d904793aa3741aadee45d010385007a6b38b6bd4","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$03A40E56-6601-47EE-A08E-7796AA980D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1987acc3443ae4f58398fff0276fcf125e178f6","datavalue":{"value":{"entity-type":"item","numeric-id":2842859,"id":"Q2842859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$5F9D615D-BB90-45C8-A2EC-8C2C0AFC581F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a66796857a75b6a665bcf640117f06bc8329182","datavalue":{"value":{"entity-type":"item","numeric-id":2845490,"id":"Q2845490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$03CD610E-669B-4A7B-8601-DB976823B6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f1790bd633b004205ffed2a2f674ef41d8831d","datavalue":{"value":{"entity-type":"item","numeric-id":4426370,"id":"Q4426370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$063AB379-C745-48A6-AA05-E3E3BDD02B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9540c6c28af8a9c548ad06dcaa0234138db6a390","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$956E9DFA-EB99-4D9A-8AB5-7AAF45BC8F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02de7a975b6fdce63bf6570ce52880875b849b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4553260,"id":"Q4553260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$58192854-1868-4A78-A3FF-12D6215714F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa890fea715a471e973f4b4eff0608c972c0511","datavalue":{"value":{"entity-type":"item","numeric-id":2754071,"id":"Q2754071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$33E01902-0E90-4A52-84CE-39AD1C9CBE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d14508d48190cd466370f131c296ec5ef6ba2d1","datavalue":{"value":{"entity-type":"item","numeric-id":2845491,"id":"Q2845491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$3F8519CF-2357-4F1A-8968-17DD68F0892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f30d092bd9392a273a20f47ef06ab4dc28e2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1856161,"id":"Q1856161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431771$9B3FD96D-271A-47DE-B8EA-29A38F66B599","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8e31253354dfc93a635c2d468fb1aacb73a379b","datavalue":{"value":"10.1007/S10703-006-0008-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431771$4FFEF415-517C-4713-BED0-C70499EFA467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca522f2f833db3826493b39383074bf163777bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2848152,"id":"Q2848152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca06fedec920b7f39413769429ba510ec55b362","datavalue":{"value":{"amount":"+0.9336265325546264","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":"Q2431771$A9910CD0-9763-475B-A203-6C95576402E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ff332ca4e4ad7ec376f063f96d1787eecaca8","datavalue":{"value":{"entity-type":"item","numeric-id":2842857,"id":"Q2842857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fb731d34b1429c0c67ad2b680e7157eb18abc9","datavalue":{"value":{"amount":"+0.8828016519546509","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":"Q2431771$D1D4DB21-9D8E-4A5D-90B9-3D5B417F4B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c86ca2e78cd7acad5e47625e664f6700c9aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":4649304,"id":"Q4649304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd4421c9768adf003b7638d22caeb8e3885ed58","datavalue":{"value":{"amount":"+0.865375816822052","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":"Q2431771$ED6FC2B8-5B61-4C60-A3C5-872E202F0C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3864231278fe2268cdd0cb089029cce53ab69f","datavalue":{"value":{"entity-type":"item","numeric-id":5461616,"id":"Q5461616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c36f13fb498e6d724ee4848a62cbf354b8167f","datavalue":{"value":{"amount":"+0.7982269525527954","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":"Q2431771$98009B3E-26B6-4409-B3C4-A54346769276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1df651a26642865f2f63d15886ca9292d8f63","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3f345946d9959c9da8f9e56a76ec4695cae10b","datavalue":{"value":{"amount":"+0.7958409786224365","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":"Q2431771$74C2989C-F7D5-4A49-868C-B6D6E72CC08B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2431771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2431771"}}}}}