{"entities":{"Q3522920":{"pageid":5552824,"ns":120,"title":"Item:Q3522920","lastrevid":50446043,"modified":"2026-01-14T01:59:42Z","type":"item","id":"Q3522920","labels":{"en":{"language":"en","value":"Predicate Abstraction of Programs with Non-linear Computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321072"}},"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":"Q3522920$0C1975A8-D1C8-4E52-8966-F3B1AF7E64A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62bd97ab66da5cf011afb3309c949f4499641eba","datavalue":{"value":{"text":"Predicate Abstraction of Programs with Non-linear Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522920$9B9F9256-6A25-4CC4-865C-4922E713D0AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36035fabdea4cba43edb4ca8e4b28058174c28d9","datavalue":{"value":"1161.68590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522920$CBD18500-5609-4BFB-9B16-6D266E2AE7C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5aef5ecd36b82b33c89a243ff0ed3dc3d2f7970b","datavalue":{"value":"10.1007/11901914_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522920$49DE37EA-F079-40D7-8042-76F5683834A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b756cfafa5f621d2e6da87c81d01b34f8932154","datavalue":{"value":{"entity-type":"item","numeric-id":1986186,"id":"Q1986186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522920$9D5FF7EB-A506-48C0-A3AE-7453408E8305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64d20e6c332e8ccc6c072bd7f339f4d063dce3b7","datavalue":{"value":{"entity-type":"item","numeric-id":1856142,"id":"Q1856142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522920$49601558-903D-49CE-BF19-B47093D5F3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522920$95A62D60-EC4F-4242-B865-99D93F478187","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522920$1D981A8D-F37D-4D22-AE66-7ABA9D84F966","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522920$7AB07010-719A-4079-85BB-AE0D8A46B3B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522920$9BE40841-A047-40BA-AFBF-DB3C0158A605","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19beb2e44cd92cc27b8c2d132f44849f938cb4eb","datavalue":{"value":"5321072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522920$DB895E8E-1C9A-4B4C-8F14-BEEF56DE6EC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522920$522C9FA0-47DF-40BB-BD86-1657D24B096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522920$7EA8DCF1-D45E-4AFE-B5FB-571FF33AFE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522920$8BAACE23-8EC2-4601-BB22-1BCF777C9C9E","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":"Q3522920$73883D22-BAD4-46E7-BD9B-DF662C404560","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8ccde2522dc2b815e9be9bcca4ab1a3ec53228c","datavalue":{"value":"https://doi.org/10.1007/11901914_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522920$AD6037F7-BCD3-4B0C-9679-C9357C77292D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6902257de49c4b9ad369990dd2a6bc0076ad33a","datavalue":{"value":"W1562867763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522920$1A178E85-262B-4B9A-A2B9-356B41B4C823","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513a17e3667122e10c091ab16e8caeec4cc2fd94","datavalue":{"value":{"amount":"+0.7877025008201599","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":"Q3522920$06508059-BD12-4429-877D-510C2187BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba55ee38a99d46604b9b2feddb9efbde5b9b1bb","datavalue":{"value":{"entity-type":"item","numeric-id":5240105,"id":"Q5240105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf848fe6f41020d037b9627d26a162cbe9341fba","datavalue":{"value":{"amount":"+0.7815951108932495","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":"Q3522920$F7368C5D-08BF-4666-B5A6-9584833A4ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b400ee7dab70c859b6f84076d6aeedebe112d4db","datavalue":{"value":{"entity-type":"item","numeric-id":1888196,"id":"Q1888196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f033029867230437ec8a8a63b6682a6cd48b3f8","datavalue":{"value":{"amount":"+0.7780861258506775","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":"Q3522920$629780B6-99FD-4A7F-97CB-A306FC1F5E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe92b7258e0af482e7fb1d334c65fe05402d844","datavalue":{"value":{"entity-type":"item","numeric-id":968302,"id":"Q968302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66c83bdfd120d7d7b065ef3f46effc1a9ed6dea","datavalue":{"value":{"amount":"+0.7653779983520508","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":"Q3522920$05EF26FC-D31D-4F16-B254-6DF0D2D6B3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814e1bf29690df9d43d5cafd9de771b09b30bb68","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e445469d98021461a8d2b9d12f4796fe282d50","datavalue":{"value":{"amount":"+0.7604538798332214","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":"Q3522920$C450C4D9-9430-4019-9D66-DC507596E1B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522920"}}}}}