{"entities":{"Q3386301":{"pageid":3397004,"ns":120,"title":"Item:Q3386301","lastrevid":86796956,"modified":"2026-06-04T09:52:42Z","type":"item","id":"Q3386301","labels":{"en":{"language":"en","value":"Bounded model checking liveness on basic parallel processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7295746"}},"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":"Q3386301$FEE3DFF7-E578-44DE-B709-7C58B03E449C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a1c5be5048f53f9eabfcc156b1f060d54f97677","datavalue":{"value":"1463.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386301$8D9949EF-7CE1-4ECF-BD4A-7D3B6CCBEFD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3484575c0f333cb778dc6d171a07634defbf46e6","datavalue":{"value":{"entity-type":"item","numeric-id":3386300,"id":"Q3386300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386301$99640284-1D1E-40D6-92B4-372550431A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"550d64c91d301beef762269976380a557c575062","datavalue":{"value":{"entity-type":"item","numeric-id":986882,"id":"Q986882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386301$857A6A3E-AE9A-4572-AD63-8BCB27B32E0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10187760706e4e5686d36c59dd8b4fca34a0eb1c","datavalue":{"value":{"time":"+2021-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3386301$1A8A29A5-0232-4CB0-B620-8F379F6684DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386301$C7ECC1BC-AE19-46E1-A1E2-1B82AFDE372F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386301$CA12738D-7DA3-4DE4-A7F8-F9352236264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386301$764A8D05-63CB-429C-BDC1-DC3FBCCB556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386301$5124FB97-B88B-4303-8D00-F9602A0B762C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c074a7916da973c4f734f8e9a81b9d4e3e289e","datavalue":{"value":"7295746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386301$167D05AA-19DC-4264-90FD-8C45A9FBE383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aecedc83ffb6a8eaac5828c373fbdae7d8fe6ab","datavalue":{"value":"basic parallel process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386301$47746B55-CA52-467F-8DD4-64A98678BD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386301$993AC237-0FE0-4D62-B804-2D7500C5568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386301$673EF4B9-09A8-4C46-B894-D3E9D9C2FD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f639dd826426a9db2c07ef27a249d982cf6eb1db","datavalue":{"value":"linear integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386301$8CE9C21E-4D5F-4CAA-8172-EBA6AF731454","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":"Q3386301$A3904856-57D5-4D16-906D-55D3695B6007","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e2c95bf50d1630588a917b63ad83cb483134ea0","datavalue":{"value":"10.13328/J.CNKI.JOS.005959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386301$CE192E37-6029-4C06-998F-E28BCA06ED7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1378901bac1a26299a3b43b3c01dbc06c1d34437","datavalue":{"value":{"entity-type":"item","numeric-id":3172909,"id":"Q3172909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18d6e15b099aaaf3bb254166fa23293ba52e3e3","datavalue":{"value":{"amount":"+0.8213805556297302","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":"Q3386301$149275D6-01BC-430B-A4C9-259F7FA41D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d1b2989093f159972e01b083ef0c20ffebd4de","datavalue":{"value":{"entity-type":"item","numeric-id":5410663,"id":"Q5410663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b0ff9bc3cef7a1ecbafa02c09a088d14130e8f","datavalue":{"value":{"amount":"+0.747366726398468","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":"Q3386301$38854784-43DA-40F7-9D08-13DEE69E961B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca25c2842428697523c5a3726fa307d125f47ce","datavalue":{"value":{"amount":"+0.7357197403907776","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":"Q3386301$33BD64D6-EEED-4844-9B83-FEA5958225F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aedb57f5fb97a87506c49dd7bf5955cba817340","datavalue":{"value":{"entity-type":"item","numeric-id":6044127,"id":"Q6044127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f06d8ce920de37954118afa25dd2aebe8f20d79","datavalue":{"value":{"amount":"+0.7269613146781921","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":"Q3386301$FBA8FC94-D582-4B85-9EA7-4FB4EAB7D266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053d63e428e04742ec47cc2f3243d8bba1f15f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5300866,"id":"Q5300866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1fff99f1c49d6e8c7eea153a6ca89191b7371d7","datavalue":{"value":{"amount":"+0.7267932891845703","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":"Q3386301$55A80933-B30D-4732-8027-8C6E3A2848C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded model checking liveness on basic parallel processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_model_checking_liveness_on_basic_parallel_processes"}}}}}