{"entities":{"Q5429342":{"pageid":7458916,"ns":120,"title":"Item:Q5429342","lastrevid":50224793,"modified":"2026-01-13T14:01:38Z","type":"item","id":"Q5429342","labels":{"en":{"language":"en","value":"Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216256"}},"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":"Q5429342$4C72634D-FC96-4CEA-8D43-C1D9EFEAA593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"514387fdc718569d4b55d160f7114bfe74d259ff","datavalue":{"value":{"text":"Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429342$89D5FEFF-3484-4C20-8FEF-640DEAE89507","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6106f6f47455c3a0a38aa55cc3f599a6a7aaed5","datavalue":{"value":"1135.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429342$0145AEB8-60CA-40B0-9EF7-978622032384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"737c025f9af85ab5868d0e5a63c7193ecf40331f","datavalue":{"value":"10.1007/978-3-540-73368-3_51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429342$37B7673E-3F3E-45DF-A2C2-5928BED84556","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4125ba106c69323576edaf1300fa9e74bc379cdb","datavalue":{"value":{"entity-type":"item","numeric-id":930432,"id":"Q930432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429342$94832304-6F72-47F3-8966-C02CBEBF1BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2daea92d423b178be08080e8d957e72c48dc8","datavalue":{"value":{"entity-type":"item","numeric-id":5429341,"id":"Q5429341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429342$F76D04A2-3666-4071-A9E9-C1A36EB94F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429342$00ED956A-A8A1-49C4-95E2-349D5D882C48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429342$5C09737F-D6A2-4A10-92E9-1650133C62DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429342$5D66779A-554C-432E-B2E6-AB6C8D7E38BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429342$3028DEC7-DF34-4338-8CE8-F0C36251F0F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94403f14aa5f0e06d4b66632a6b4d3288d229903","datavalue":{"value":"5216256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429342$A23084DF-5B89-485D-A81E-65878D83D365","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70b73d320337875812539d189092baccd8d4ab9a","datavalue":{"value":{"entity-type":"item","numeric-id":13423,"id":"Q13423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429342$F409C3DB-F75C-4FA7-AA31-9D92F1ED66A0","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":"Q5429342$254BB0B2-531D-4C84-8086-E36DE171A8B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3c09ccffbb01d6fde5336bf584eeb6cabbad8cc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_51","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429342$9BB0BDB0-0B28-43E6-976C-57C3175AF3F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04a7f5f36b61ac4848567287b15341d5b77e82a5","datavalue":{"value":"W1591856965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429342$D4758166-F24A-4889-B555-17B0D24EAD1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ddf3328117c594970fdebcfe0a169658535262","datavalue":{"value":{"entity-type":"item","numeric-id":3176374,"id":"Q3176374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95086e99b2827305400a3872f14990a2ed91688c","datavalue":{"value":{"amount":"+0.7630298137664795","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":"Q5429342$430711DA-DE44-4533-8D12-B16DFC65B672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7a610a5a912c01d0d95c64ce3b4ff60fa6a43e","datavalue":{"value":{"entity-type":"item","numeric-id":4804884,"id":"Q4804884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a3fd35595e168131ead3699e1f8ca95036f68f","datavalue":{"value":{"amount":"+0.7447865009307861","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":"Q5429342$2B8A6AA0-A90D-407E-9E9F-442B31B595B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f339c56083b79560c6c059e58985321596684dd","datavalue":{"value":{"amount":"+0.7421449422836304","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":"Q5429342$1791A009-7D5A-4D93-8115-2B2F6B6F7989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f339c56083b79560c6c059e58985321596684dd","datavalue":{"value":{"amount":"+0.7421449422836304","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":"Q5429342$88E2B3BB-766B-4D11-BDE3-CFBA5E068630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a601cfde3006cf82c00d658779dadb2e2a7db9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5387852,"id":"Q5387852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fd1d2a1f8347ce3bb509a498ee958c468ecc90","datavalue":{"value":{"amount":"+0.7352197766304016","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":"Q5429342$FEAD92A4-4E98-44DD-8804-B9E263574E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429342"}}}}}