{"entities":{"Q2845504":{"pageid":2856224,"ns":120,"title":"Item:Q2845504","lastrevid":51812381,"modified":"2026-01-20T04:21:40Z","type":"item","id":"Q2845504","labels":{"en":{"language":"en","value":"Space-reduction strategies for model checking dynamic software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203484"}},"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":"Q2845504$ACA2A695-7C05-4602-8329-98526181AFA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98bc8e3caade736a46e2eb77d785194691072875","datavalue":{"value":"1271.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845504$CD4A0669-F029-4E1B-BEBE-586EC6FFB759","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbdbcb1784f6169dfb7cf6ecf9f9b9ef79b7ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1888202,"id":"Q1888202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$64F07F43-9E3C-4394-8797-DD888CC2966A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd944228db4d60cbe510a5ef912d4a914118554","datavalue":{"value":{"entity-type":"item","numeric-id":816195,"id":"Q816195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$0C70FC5B-645A-459A-B27D-34312F4E2B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$C107B24F-1F26-43A7-A6A4-E20AB1C05349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$A9BBF509-C005-4456-B228-F52BC4C03EF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845504$37B2F97D-ED3A-49BE-B218-475A1FAFC986","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09157d1487b6ea840d89905443bc784e1b9d64e7","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610580009X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845504$D5890723-77E3-4E91-B0A9-1762EF4AF80E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845504$90150344-70CA-44BC-A5E4-5B7CC859A79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845504$715FD112-4B24-4A92-A611-0A1411E61A9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"466dcb0e1f236684f246cff8f0f0159b15112f7e","datavalue":{"value":"6203484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845504$B376438D-2A6F-4069-B0D1-A881AE003D17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$3C9969DE-079F-4D1C-9340-CED3EA2394AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$BC3BBDC9-4C30-4507-9143-31566912642F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$A1A67EE9-4B6A-4A85-BD68-88E25ED687CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$8E7FF48E-3938-4902-A887-81EFF4FC1652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$77505A46-2988-4BF9-89D7-CB29A6641090","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":"Q2845504$BB875C85-83C1-4E23-825D-FEDB3DD384B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$933DE420-C4DA-449C-9C8A-4A08737F8E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$D55CB7FB-687A-48A1-BC0D-D35055D2A45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$EBFCCE0A-DA7E-42F1-AA8F-97C09A011B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd78d251166de965701d0b707e5b374a2655b2d0","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$9CF50F20-5102-45EB-9136-9A5C15CBBA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$FAAC756B-C4F3-45E9-B9F2-138B76C274DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126faf1dcef344cd1039c8de0b4540b9a9d7f31a","datavalue":{"value":{"entity-type":"item","numeric-id":4738464,"id":"Q4738464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$D966056C-7666-4E42-A29C-DFAA0C059FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85c5f6fb0100cbbb82c4e902a2e6df4683bf8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531753,"id":"Q4531753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845504$F5798060-6B37-4966-9D32-BB7FDFE90458","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01b9ce7bc6722c5760b837471e2abbba4988e519","datavalue":{"value":{"text":"Space-reduction strategies for model checking dynamic software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845504$B093FA9E-C21F-47F4-A438-B314FDEF9430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a780136676f2f4abac533f4c4d0397cc6ec411","datavalue":{"value":{"entity-type":"item","numeric-id":4738464,"id":"Q4738464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a9c33842dff847afe30d575cedfa04c19964a4","datavalue":{"value":{"amount":"+0.8329918384552002","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":"Q2845504$24BC0EC1-E7E3-43A6-A661-146A199DA20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993da427af6bb30349d69eeab01a8b288a2cd85a","datavalue":{"value":{"entity-type":"item","numeric-id":4942017,"id":"Q4942017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a6cea3af4f5609e927917afb72a983f6584771","datavalue":{"value":{"amount":"+0.813389778137207","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":"Q2845504$3048A101-1E63-49BE-9C9B-60909C436A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e8c30128a61262a4aef9a3d3999ce9bf536e07","datavalue":{"value":{"entity-type":"item","numeric-id":4738313,"id":"Q4738313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a6cea3af4f5609e927917afb72a983f6584771","datavalue":{"value":{"amount":"+0.813389778137207","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":"Q2845504$9E41096B-3E8A-43BB-B1B7-60F8A099958A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75f7ad95fb6dfe2e460321f9a9c2e29a08086bb","datavalue":{"value":{"entity-type":"item","numeric-id":1888204,"id":"Q1888204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7199a1dae6bd0afc485553fbc943f42c0d5915d","datavalue":{"value":{"amount":"+0.8023425340652466","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":"Q2845504$A33539C6-2782-411D-955D-E575B6EBAF6A","rank":"normal"},{"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":"98a1424d1b385a06e73dafac9f003ee6ea477c9c","datavalue":{"value":{"amount":"+0.7852392792701721","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":"Q2845504$EC3FDE4A-DF1F-4324-BF18-02BD950711FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845504"}}}}}