{"entities":{"Q5900675":{"pageid":8006808,"ns":120,"title":"Item:Q5900675","lastrevid":50958458,"modified":"2026-01-15T22:40:39Z","type":"item","id":"Q5900675","labels":{"en":{"language":"en","value":"A symbolic approach to predicate abstraction."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695359"}},"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":"Q5900675$CC6C54C7-7145-4281-A625-E8F849A9AA86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900675$1A6D33A7-196C-4D2C-B876-FFE6FB77026F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f87a15a187a8573baaba43ae3e2ef801df0f18d","datavalue":{"value":"1278.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900675$AA04EEAE-54E8-4EC4-A91C-A093607059A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900675$69DCFF4D-E713-412A-BAFA-112E64B09FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900675$EB6BE640-5BA6-408D-A4ED-AC91107C1EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900675$A81C0B80-7D64-4DCC-ABAD-21FFD89FA1A7","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":"Q5900675$FB75E21B-DB5B-4D00-A15B-56E3E7628E34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900675$DFBAB503-5D80-42A3-80A1-9B730923DEF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900675$0A2DF4C1-55F3-4D1F-927D-7DCE392D266C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2fc097d417bdb997d547680d3720e345341b8fd","datavalue":{"value":"5695359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900675$7C1CDF4E-67AC-4F9D-A3B6-FD2E36C0A64E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900675$83CC80AE-DDD2-450B-9C5F-515E5F01E231","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":"Q5900675$DCE941E6-3DC0-45FF-962D-523768A94298","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900675$B469E04C-E9AA-463E-A3A2-C476EBEF8246","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900675$617CE05B-3F6F-4249-A448-86EC10A4DE8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900675$66E4DB72-372F-4368-AB38-71CB3A16022C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac78345bf4b123188e46cf39b9cc0686336332c","datavalue":{"value":{"entity-type":"item","numeric-id":5310686,"id":"Q5310686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a141a9a818e4c3b3a9e3d28900c48194285937","datavalue":{"value":{"amount":"+0.9136906862258912","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":"Q5900675$BB239306-2A25-447E-9F13-9B5F33C2D1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b91559bd30f3b8b0605475a027817190720da81","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c8a3590d0fd32063b481a8146fa9a7ace68a37","datavalue":{"value":{"amount":"+0.901094377040863","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":"Q5900675$018E93BA-F41E-4E51-AF5B-B544E9EAF30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32bcb08b914105f35b32b1fd55111f84a27b081","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a6569bb4548e703583ceb8a8899cc50c45aa64","datavalue":{"value":{"amount":"+0.8297479152679443","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":"Q5900675$F279BC7F-1CF0-4661-AE44-8A18FEEF38F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf15a86ab27de24c71c6278f501043afe2c895","datavalue":{"value":{"entity-type":"item","numeric-id":5277793,"id":"Q5277793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125dba22464db20e3adf06ef98325b3da60021a9","datavalue":{"value":{"amount":"+0.829239010810852","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":"Q5900675$0A0D8940-83C8-4844-957E-ABC5C93A4E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef1008b80011faf6c45c5de6770c7a7142f4b24","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70b2380654bb21ddd41a13fa5afba3fb262b517","datavalue":{"value":{"amount":"+0.823837161064148","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":"Q5900675$7D07B4D3-6CED-47CE-8180-0823C9E89214","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900675"}}}}}