{"entities":{"Q3605478":{"pageid":5635384,"ns":120,"title":"Item:Q3605478","lastrevid":50576735,"modified":"2026-01-14T11:09:51Z","type":"item","id":"Q3605478","labels":{"en":{"language":"en","value":"Dynamic Path Reduction for Software Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510242"}},"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":"Q3605478$9E56CA06-3313-4744-B441-53A8F14ABAB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd0078b578567e3cba1f8425411afc2374a06933","datavalue":{"value":{"text":"Dynamic Path Reduction for Software Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605478$ED6335E3-B5EF-4B83-9FDB-8556A84C366F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a874b8fa38044b9ed3dc4685a2c90ab2f27a501","datavalue":{"value":"1211.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605478$25D09BD3-7240-4418-9A24-FC39AFF4B303","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bbd7d2ce511e52d82234fb98e5d1e06362e4b9d","datavalue":{"value":"10.1007/978-3-642-00255-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605478$6A855B12-ED65-4A10-A1BD-104D3E2C5515","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d28c0a406f6ee99cd8f5e212965690a891ace79f","datavalue":{"value":{"entity-type":"item","numeric-id":193842,"id":"Q193842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$BC5BA87C-5E13-4256-94AA-2E59AB101C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fea1d0a190b214b96dd803807fec55c4e8f531","datavalue":{"value":{"entity-type":"item","numeric-id":3605477,"id":"Q3605477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$2000410A-6F9A-4BCA-98DC-E09FA294F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$91606415-0185-4D9E-860C-B871296A90FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e2391ec999385ea335ba69324ddb71ad54251e","datavalue":{"value":{"entity-type":"item","numeric-id":2441729,"id":"Q2441729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$BF50E8A6-BB35-48B1-BE08-C51A847F4DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$016D53B7-CED0-4D90-90EC-89B4748C2C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c4b2592830aee8d55a50291764703736f3c07d","datavalue":{"value":{"entity-type":"item","numeric-id":216264,"id":"Q216264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$B86DF953-DF51-4533-835B-F4D723649672","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$629430BD-5E7C-42F7-900E-24FBD172DB23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-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":"Q3605478$5A832B0C-17E7-4A69-ADE9-E2090D4D2028","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605478$223CBA67-BBDB-4806-AD0F-B709B97F1403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605478$4496F498-CC72-476C-B3C3-22FC3A09ACE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adc8e4ac8813b88cacda37f2b8aa80c737a4ec13","datavalue":{"value":"5510242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605478$1AD697F5-E5F6-4F79-85F8-CC981B8519F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$D5BB3C1D-C03A-4B12-885E-064E7E7BB852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$C1F693CC-574D-4C26-850D-02A6871D584F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$0D98C056-1D25-47A8-BCF5-908445ED6A88","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":"Q3605478$0C8591D2-9F05-47C8-A54F-F6B409D394B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24079c8b54a261cd0e07c8d59e928bc753a80442","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00255-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605478$D858EFE0-8CF3-41E1-8121-2F930834D5DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c43d85877b0b4c865f66a63b32184eaca2958bd","datavalue":{"value":"W1570017391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605478$66513DA9-47BA-48C6-BF70-291102333E0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$8D427934-8DF7-40D1-AF35-25D0F6D9AA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$A37E3BEC-E98F-4D41-AAF9-4742A24C2717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e776f7e9d18209402bda0edf2047c2143eae014","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$A1C17062-BDA6-42F9-BD56-2A5407E81CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$F395E3A4-9FF0-4B66-945B-78349E45C4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8526e6b5767f45613bc7a09fccc8db32915d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3522901,"id":"Q3522901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605478$70D07752-B8E7-4AEF-9962-2FC300670FA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053c83158ff52c82be086916b19ed1c1da73d629","datavalue":{"value":{"entity-type":"item","numeric-id":2961569,"id":"Q2961569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370bc816ea9b61a6c345d3237df2774be0b004c9","datavalue":{"value":{"amount":"+0.7784303426742554","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":"Q3605478$792F807E-6A08-4337-9650-027B1DF68C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df0223338dd0d709a03cdc308e45d67fa6f2258","datavalue":{"value":{"amount":"+0.757043182849884","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":"Q3605478$82895F43-753E-4386-ACA5-6DF1DCE340F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b2e629dbf403ec7df3d1367365338e45791beb","datavalue":{"value":{"entity-type":"item","numeric-id":1878929,"id":"Q1878929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aad4e1a1c2dad422a5336a591756b7a2d7a9669","datavalue":{"value":{"amount":"+0.7388752698898315","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":"Q3605478$5BA7DE4A-6C04-4E9C-BF99-532299B00543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3568527f8a2276bd6707602dc03e2bb47e0715","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c656da691b1f79799d18621d05fd6aedaff5c8aa","datavalue":{"value":{"amount":"+0.7205333709716797","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":"Q3605478$248232AF-B3CB-4DF7-9923-5B56EEF02D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685766bea79b7e8b7e61bb82a568974190e264d","datavalue":{"value":{"entity-type":"item","numeric-id":4531753,"id":"Q4531753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfff0072cbee9f2bcee33532c0a09c6e46ceb39","datavalue":{"value":{"amount":"+0.7187548279762268","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":"Q3605478$785464E6-D2BE-40B9-B7C5-A56276EBA1EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3605478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3605478"}}}}}