{"entities":{"Q2926658":{"pageid":2937378,"ns":120,"title":"Item:Q2926658","lastrevid":52122425,"modified":"2026-01-20T23:51:14Z","type":"item","id":"Q2926658","labels":{"en":{"language":"en","value":"All for the price of few (parameterized verification through view abstraction)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363649"}},"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":"Q2926658$1E2D1DFC-A6CC-4DA8-B971-45210DD0B716","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"311b19c1aa7cdfab047e845b608d1fdfb8fe9a22","datavalue":{"value":{"text":"All for the Price of Few","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926658$AC089D77-C8D7-49BF-8A58-B9A801616FA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"034c5e54adf43ea7eb5f2ef1c838f2ed02e4f7da","datavalue":{"value":"1426.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926658$71271124-D1F4-455A-8A37-5B1AC3343F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02bb3363debe4426196e7b6492fd2003d1c04a61","datavalue":{"value":"10.1007/978-3-642-35873-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926658$D5D0CC40-F3B4-414B-9BCB-B58A74A9364A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c037f0d1306d2af9203e29cd112727d9f4fb9216","datavalue":{"value":{"entity-type":"item","numeric-id":2796062,"id":"Q2796062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926658$A9C55DEB-0B40-4C25-B920-75D781B723FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926658$74A5BE43-C09A-46F1-9CEA-6D80DEB5DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926658$A616449C-BD38-46A5-B4F0-9543A26D24F8","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":"Q2926658$85B30D32-9268-4853-B507-543586BE9541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa83eb5c9d67846bd0433e54bd3c467e1d5cf9","datavalue":{"value":{"time":"+2014-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2926658$0B06DA2B-A279-4CC7-B3DF-2AE9EC5D6094","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926658$209913D8-6148-4DC4-9A9D-0141C7C0A02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926658$9AAFE963-251F-452D-9D55-9D421348356D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cdf66739fe19acefa71e937dc59986d66136142","datavalue":{"value":"6363649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926658$D439B187-E9AF-44B5-AC52-5AABC789FBE5","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":"Q2926658$A18281BD-2A1B-4FB8-8A72-91A22FF3171A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b18a6006741745aecab69e13ae8e41807576f41","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35873-9_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2926658$C689BEE0-4E0D-4AA7-A83B-2FA00327AD62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2eee10969dd13922fff0386bb55002d659c793a0","datavalue":{"value":"W1592314966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926658$34D3DA03-1BD9-45AC-8BE5-D16EFE4E4FD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d37d6eaf30aa6437e90fe533d66b4016224aff","datavalue":{"value":{"entity-type":"item","numeric-id":5240148,"id":"Q5240148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf0385d7b01cab0dda4bbbdabad9ab04343c030","datavalue":{"value":{"amount":"+0.8527851104736328","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":"Q2926658$4DA0EDBE-7BDF-4EA0-B5A5-1DE187372953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85eff1e5f440100ba0dbed221c6cfb5b114e825","datavalue":{"value":{"entity-type":"item","numeric-id":2024368,"id":"Q2024368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3adcde4e846e3421e48ccd2bdac7e15e132838c","datavalue":{"value":{"amount":"+0.8267211318016052","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":"Q2926658$39D52FD1-63E4-4A55-9989-4E340213E921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fd61ae49d534e27f523931e39c89e8b27854f9","datavalue":{"value":{"amount":"+0.8139415383338928","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":"Q2926658$CDB854DA-D30D-4889-8608-F25801250F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec4f5d43f3f35cfeecd374555a85742b841be6a","datavalue":{"value":{"amount":"+0.8128153681755066","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":"Q2926658$A31C09F9-D408-419B-837D-AC4F606DBEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb05a308d940d8e31233094376df54376462e944","datavalue":{"value":{"entity-type":"item","numeric-id":4223070,"id":"Q4223070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec679193a39802e51dd7cc379ec72f235a645c3","datavalue":{"value":{"amount":"+0.8036639094352722","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":"Q2926658$F01F16E6-8E52-4E68-ADCD-C313E496373C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2926658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2926658"}}}}}