{"entities":{"Q3172928":{"pageid":3183638,"ns":120,"title":"Item:Q3172928","lastrevid":51341966,"modified":"2026-01-17T20:25:49Z","type":"item","id":"Q3172928","labels":{"en":{"language":"en","value":"Parallel nested depth-first searches for LTL model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954801"}},"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":"Q3172928$C86A3583-C504-48F9-9904-B738E832FCE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73846ff10f4229012b2c45e36c517fb33add3ff6","datavalue":{"value":{"text":"Parallel Nested Depth-First Searches for LTL Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172928$3C22FF00-25AD-41BF-8455-85B2DB8B2E72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb51e4f1528c6a88955f2fcfbfbbdfedd1451c57","datavalue":{"value":"1348.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172928$EEA3A7D7-A3F2-4ADA-9C41-2368F59E61C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf1e2ddb994a1f4a47c897edd3805ac5f0c124e9","datavalue":{"value":"10.1007/978-3-642-24372-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172928$F8408703-0BB6-4CC2-A5FF-C0B952877C3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99313330200dab2f32d5cc8a3d111667b4b80ea0","datavalue":{"value":{"entity-type":"item","numeric-id":2889612,"id":"Q2889612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172928$6CF9383A-B393-4E87-A4AA-59579F147B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172928$3614DA42-B148-49EA-839E-5782C8E21138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05016707200a74b4ebb0c9af171a88667d3ebca3","datavalue":{"value":{"entity-type":"item","numeric-id":3172927,"id":"Q3172927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172928$38988DFC-5B84-4629-B6DB-846BD36DB440","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172928$42F49872-75B9-4424-BF87-24A2DE2B9DF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172928$1790A6FE-38CC-490A-AEAA-7D44AEE2F954","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172928$D0AAE71C-BEA4-4CD6-8829-74BF0D92BFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172928$E4505C31-3F13-421B-B27E-1103D722DBDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69bb5ad2a839478f32c4267e3a39125e0b99572d","datavalue":{"value":"5954801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172928$A4682369-0A32-43F3-A63B-6A2E6E336B0F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172928$54472D02-C4B5-4784-AEC4-A7774292CFE5","rank":"normal"},{"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":"Q3172928$E001B62E-27C6-4E92-A1DA-D51823C68AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172928$8F5F9502-ED75-4E3E-B131-F30B231C86DC","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":"Q3172928$15B824B6-C8C0-4639-A80D-C66275103DFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c34d562431fa8bf53efb5877d337eeaf6cf16da8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172928$E2E53566-DF2E-4CA9-8B93-C45BC52FA1B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da6d192dfc46e3613314b5f058f1f6c3d5baf6d5","datavalue":{"value":"W2287508180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172928$C3D36493-5349-40AF-93A6-899BEFA6699D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1edf5ea934eb06ac904a108075d4b923bde664c","datavalue":{"value":{"entity-type":"item","numeric-id":4649302,"id":"Q4649302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff5d91bf33f6599f12382a3801debaf5f1bdefd","datavalue":{"value":{"amount":"+0.8846680521965027","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":"Q3172928$32AAEAB2-3DBF-4F75-A14B-15FB332A7BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e3caf2810f027439610cc878edf39f6b7d3f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3172923,"id":"Q3172923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3349ca116574b7f503b1add22df145d498369247","datavalue":{"value":{"amount":"+0.8828212022781372","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":"Q3172928$4899849D-B5F1-42C8-AC2C-9B7F37B7C8A9","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":"0c5112d692822d6df97917e0776af4d8d1cd7d17","datavalue":{"value":{"amount":"+0.8198480606079102","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":"Q3172928$D0C57EE1-7A3B-496F-B03F-73693B2FF43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccedc3e28b0a17e72be8bd46d7c43af5d28225b1","datavalue":{"value":{"entity-type":"item","numeric-id":2431772,"id":"Q2431772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0638a8df02ec548f34c5e8a5017edcd3a901d9f","datavalue":{"value":{"amount":"+0.8133061528205872","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":"Q3172928$233DE51A-3E2F-4639-A86E-AB430E585274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5538556a68979d3570821fe28d33209333601338","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26318e30af81c9d47c367866824533eca43f5dd","datavalue":{"value":{"amount":"+0.8060293197631836","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":"Q3172928$95141DC7-D361-411B-BDB7-B314302E0F7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172928"}}}}}