{"entities":{"Q732005":{"pageid":733854,"ns":120,"title":"Item:Q732005","lastrevid":63955152,"modified":"2026-04-11T16:40:14Z","type":"item","id":"Q732005","labels":{"en":{"language":"en","value":"Efficient model checking for LTL with partial order snapshots"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5612511"}},"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":"Q732005$898A49D1-059A-485C-8B3D-3B337D9B361A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7272742624bdaab6435f215d65e8d4bd1d82c026","datavalue":{"value":{"text":"Efficient model checking for LTL with partial order snapshots","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q732005$83E7F26D-459B-4200-9DC5-DF4D581A40E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6106d1079334b3a05bf7f20018c6981236f0ee4f","datavalue":{"value":"1187.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732005$FD0DE3AC-B325-41F9-8A6C-B177B6730A2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0049ff44b47a319fae6a88359fada1008a0d4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":732004,"id":"Q732004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$950AC398-F32E-4870-97A2-E71F20D7E8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$2CA1AD4F-5F51-403A-B47D-7E646E4D4541","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$5B601B56-5439-4AEF-A719-2F4B0E7254B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q732005$3B282961-D67F-49B6-AE83-A164DB32D67C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732005$A33867B0-A0A7-4763-8BDE-E4E8699ECC75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92ee64b3e3ef45990a6581ec55f3c0db112c7a75","datavalue":{"value":"5612511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732005$2E623875-C548-4820-B7A7-CBDE90CBE4DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q732005$81683B7A-DEB9-462A-B173-E3F28D931724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q732005$538D9CBB-1163-4064-96EC-67928B7D2F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16eeb65cc5b00548041adbe9b615e78aec2beed","datavalue":{"value":"Partial order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q732005$BBF67C21-855B-4E89-875E-9F2A4957DC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9ec765cfc6138024471b70b2d5e3c90c708b87","datavalue":{"value":"snapshots","type":"string"},"datatype":"string"},"type":"statement","id":"Q732005$D2A351D6-D4B0-44FD-A362-E93BD774B195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q732005$7F7D372F-43B3-4E05-97C3-E514C946D3E2","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":"Q732005$DF866E18-CDF1-4A97-AD87-7233357EBA8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aafc2e408b5d59afb50f6638ec129ae1fb1b4d85","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q732005$2A55E366-60D1-4EBB-8138-0ACF544DF4EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9958e2de5be89e8026088c02396bc9a7c982a280","datavalue":{"value":"W1518788150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732005$9587E590-BF09-4833-A182-2524F72F816E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afafefd9b1939424861321b85a235f512662bb27","datavalue":{"value":{"entity-type":"item","numeric-id":5137357,"id":"Q5137357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$62E34C3B-AD4E-4F56-A12F-6C41F5AC3094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbae20b1db5cafccc05975c6623fe0f58086f04","datavalue":{"value":{"entity-type":"item","numeric-id":5703782,"id":"Q5703782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$7218113C-58AD-4970-99EA-927B4BD357CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$FB36D70A-400A-4326-BC15-24F3455936FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$4B9B1052-4E1C-44BF-B862-EC6898DB6077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$6A2E214A-84EF-497A-A092-5375AEC37AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$2B06D45C-D876-4301-A890-A5B62F0D3AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9256597e479262f5da622146a6ab57b4f455a5aa","datavalue":{"value":{"entity-type":"item","numeric-id":4219025,"id":"Q4219025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$0F76A3F4-CA4B-401E-8E1A-4576E3156C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732005$02B6AF2E-7BD1-4046-B979-FF9FF4D1BEB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57d94bc9cfee60586d78cc66e22dae442be8367b","datavalue":{"value":"10.1016/J.TCS.2009.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732005$3A452F90-A4CF-466B-908E-C0FF174201EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314c1f67058486b51cf73c1dc724bcfaccab961c","datavalue":{"value":{"entity-type":"item","numeric-id":5899064,"id":"Q5899064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed02f1ce64cd65b44e16c5724dbe96d77bc4f547","datavalue":{"value":{"amount":"+0.9691079258918762","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":"Q732005$ADF031C2-2F8E-43D1-AAC3-32CBE011946E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb3a6edafc070e3ac352eaa8f53304bd4b5285","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9397d8c97f92b280300fce94ea090a39cc9526","datavalue":{"value":{"amount":"+0.8053377866744995","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":"Q732005$86096218-CED0-4044-8340-AFC795F47A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36344bd309b4d9fa226075a0ab7bf1d14008ed74","datavalue":{"value":{"entity-type":"item","numeric-id":2988383,"id":"Q2988383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3ca767db4c60355a39187d9ea9bff7f5265138","datavalue":{"value":{"amount":"+0.8013808727264404","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":"Q732005$53721C17-9E00-4120-9A26-CC412D8FAB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4112b0375ec78760401b7eabf961d3691e170c","datavalue":{"value":{"entity-type":"item","numeric-id":5703782,"id":"Q5703782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d453c8b1a09438aa11faa04398d9131a4caf2cda","datavalue":{"value":{"amount":"+0.7923715114593506","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":"Q732005$63C990B1-AC60-4496-9429-DB48575517EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef505639c25aa14535a6d4144afc8b1686b755","datavalue":{"value":{"entity-type":"item","numeric-id":1774565,"id":"Q1774565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8c73c83524c70dd93ee50c69ba66518afdcd07","datavalue":{"value":{"amount":"+0.7674416303634644","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":"Q732005$1EB341C0-0D9B-40BF-B538-EE8E5FA6E479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient model checking for LTL with partial order snapshots","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_model_checking_for_LTL_with_partial_order_snapshots"}}}}}