{"entities":{"Q5458863":{"pageid":7488422,"ns":120,"title":"Item:Q5458863","lastrevid":50342561,"modified":"2026-01-13T20:52:01Z","type":"item","id":"Q5458863","labels":{"en":{"language":"en","value":"Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267252"}},"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":"Q5458863$1E782ECD-A69B-493C-9D48-91A0DCE4AA3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef1a8e819d0758877cea853461abd09a521146f8","datavalue":{"value":{"text":"Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458863$42BC7C2E-A43D-4F91-B410-A6485BF1B681","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4964c7e40dedb5e254c5d2b609aea016d3c8bf71","datavalue":{"value":"1135.68481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458863$20730D82-D4AD-4109-812C-395A83287EB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6390ad680c118aff1f2f4c284dd6d5951cb431e2","datavalue":{"value":"10.1007/978-3-540-77050-3_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458863$31FD140C-F041-4AA6-AACA-DADA22418AA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a3d6230d50649ed1869f38c370666d92898dc22","datavalue":{"value":{"entity-type":"item","numeric-id":3184701,"id":"Q3184701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$EA9B776F-FD79-4D34-AE50-12E8EB15626F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c2cf3997b6b074f0b8a50dac0d7bb587b9c6d64","datavalue":{"value":{"entity-type":"item","numeric-id":667520,"id":"Q667520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$EC8B97C3-9279-4F27-B586-3E6208A00990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d78d6fc001ab88727821b933f1e27433662e232f","datavalue":{"value":{"entity-type":"item","numeric-id":834900,"id":"Q834900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$4E0E3A55-417B-4A8B-9A10-8AD70FE2FF46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$A04A7533-F31F-47E0-BD6D-85CCFEA154CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-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":"Q5458863$7283D49D-C575-40B2-9265-FD71DBD97C9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e273e7e338197ab0ce70c02fc382cd4eb6606ed","datavalue":{"value":"http://hdl.handle.net/20.500.11850/69252","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458863$F8006A86-ADA5-445B-905A-D6D5C3B27475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458863$F6727A28-439F-462F-B6C9-B87EAEC46368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458863$3967F880-83E6-4B19-8FDD-B7CF205FB5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458863$E8AAB91C-47D4-4A83-8CCA-F83F14396E60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7753214e4ac13fa73a5acd8d841f8f67ee069504","datavalue":{"value":"5267252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458863$A2759F68-03D5-4802-9140-1F4FEBDFC313","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":"Q5458863$C37BC3D5-B6E4-41FB-82F5-28A7887C2DA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8b1e43930eb7961786d68e306739c01ea774996","datavalue":{"value":"W1536576409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458863$F354CC22-B500-4355-ACE0-234654352D78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3372a709867842fc7a39287b2f05a9426ad595a3","datavalue":{"value":{"entity-type":"item","numeric-id":3408141,"id":"Q3408141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$C46954F5-611B-4346-93A9-A5AFF680BD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$7167EAAC-DA8B-4DD7-AC16-CF06D41C804D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$37715297-76AE-4892-BD6D-15C91961E502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$CE074FD8-D314-49E6-9D6D-5D57F8F78C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5971984f4441078c0cd16ee4135cd959654815","datavalue":{"value":{"entity-type":"item","numeric-id":5458863,"id":"Q5458863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$5AB312FF-E05B-492C-B002-AEEF4FF2EEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$4EAD3AEF-99F4-446E-AA64-3785B7EF9E0F","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":"Q5458863$9D2B935F-0B74-4B83-ACEE-10E7CC64F6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5214b688b20c085ca517a35ba494bf283ee476","datavalue":{"value":{"entity-type":"item","numeric-id":3698787,"id":"Q3698787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$4AA7B88E-105A-4283-A9A0-CCAEFDE7C6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d454c8f549db37caccafcfaa99bbc9b1ea54df50","datavalue":{"value":{"entity-type":"item","numeric-id":5897501,"id":"Q5897501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$534817B3-76ED-4FC6-B011-6CBAF70FE810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7779bc0c2d2ed823d209a113fe920357647c4e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4736998,"id":"Q4736998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458863$EF2019A6-42A8-44A5-910D-619369F610F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125fe52ce73741ab1ae06610aa9d74b8be9378a","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4bdf9faca17e270efe9866776be2f2fc62e587","datavalue":{"value":{"amount":"+0.8111377358436584","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":"Q5458863$40DB7939-497F-4DFD-A487-C9A61FB9C84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d545ecc2872c5714a513729445612cece268b1a","datavalue":{"value":{"amount":"+0.7969534993171692","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":"Q5458863$351C6BAC-39A9-410F-ACD8-94E35EFFFB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75d9f2f8fc6623b21e43ae0531b291224834501","datavalue":{"value":{"entity-type":"item","numeric-id":2505624,"id":"Q2505624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee28be80d9686573dc3b528af0305fce485e2519","datavalue":{"value":{"amount":"+0.7936180233955383","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":"Q5458863$293E4774-B5FC-4B67-8B3B-216EB06A54F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7516dc49d0fbb5f7fe8de77197bffba5904fb3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2946630,"id":"Q2946630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3db7e0cd16154dcfe30545fb60591c8fe6adb8","datavalue":{"value":{"amount":"+0.78886878490448","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":"Q5458863$173D22D4-C5C4-4E61-A050-75652AF5F84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2ce31d3ef28732691df5041bdf45faa7a47e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3090846,"id":"Q3090846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65b93879094c7ce8cd542ee155e98acd6cdce63","datavalue":{"value":{"amount":"+0.7845548987388611","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":"Q5458863$CC23C400-D316-4CA2-B74F-C32FAB0AF8F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458863"}}}}}