{"entities":{"Q5504599":{"pageid":7534159,"ns":120,"title":"Item:Q5504599","lastrevid":50547239,"modified":"2026-01-14T08:54:46Z","type":"item","id":"Q5504599","labels":{"en":{"language":"en","value":"A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496633"}},"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":"Q5504599$6D5A1C67-5172-4EBC-9C9F-7F831A85A34A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cadfe6b304dc539172bcc94ca43cab13c88fd321","datavalue":{"value":{"text":"A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504599$11F99433-0C1C-46A1-A781-DB9EC663267C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9643aab83fb3530145a910148554494f0d0ccc5","datavalue":{"value":"1179.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504599$F5333B51-5B12-4DB5-9CD2-25065061876F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef1cd0bb9cfecf6b1ee6d208c8b11912eaf11e58","datavalue":{"value":"10.1007/978-3-540-78769-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504599$7FE21BDA-6CFF-4E1A-AB67-D1D0E8AA657B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3294377cb1d7bc6b814bfab10b4dab1c2675df33","datavalue":{"value":{"entity-type":"item","numeric-id":5452715,"id":"Q5452715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$6DC53814-FB7D-4442-95D6-F8B2BBA0B89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9aa5bf3e043aca79ceea7f9b6e24e591eea899","datavalue":{"value":{"entity-type":"item","numeric-id":264988,"id":"Q264988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$0C9EF6DD-A766-47E4-873E-BB4E8A5BC655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$B6FDD72D-DB51-4815-AD37-8A42F742014C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$0342FA78-6578-425D-B2EE-B2870B06B6A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504599$2253086A-BDB2-478C-80B4-40EB9D5A0CF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66ee236b6fc26cb52c84d0539779c4115492a82f","datavalue":{"value":"http://oa.upm.es/14319/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504599$2980D20A-27E8-4910-B263-DD7CBCC99AB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504599$B05FFC3A-042D-4F03-994D-298A669C0DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05e05767d3c8cda9be322d122925ad89abe3bad3","datavalue":{"value":"5496633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504599$750F8CCE-228B-46CD-A763-E5191E13F0F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b58d422c985e94ce92f56d29d0bb67fee37f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":38550,"id":"Q38550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$045BB8A8-E613-465F-8368-94E35E5B6E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$04D1CCFE-034C-4DB2-8380-E718B288CD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$A9F4B23C-CF5B-4EB1-BE97-BD056F1575AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00823d4b535dd755fc9f8b52f7bd368e7eeefe9d","datavalue":{"value":{"entity-type":"item","numeric-id":18503,"id":"Q18503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$C6DD56D1-1CDE-4C46-8D57-7D41CFED480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5574904c136aaf97f29ecb5dc2d363b9407b57b0","datavalue":{"value":{"entity-type":"item","numeric-id":21798,"id":"Q21798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$00C34D5F-ABBB-486B-9B3D-7679A7284CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$45D5E7DE-A0D4-4442-8CC7-89DB3D3DB8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93403021c48a812d9127910dbcaae98db02c160e","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$35AA0F92-7FA2-4D05-B173-295746F1E6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$D2356939-4010-4A17-A2B0-27A16F4A1CFD","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":"Q5504599$8C91D118-E423-40AB-BC63-ED16B6AF00B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d701726dfcbf1b9640f52ec8b8c99a7980d8092","datavalue":{"value":"W1596917824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504599$5AE6020C-471E-4F64-9B2C-42135F4C85FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccb3c5400245c95f52ccbdc01d37348d2ee730","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$761B98C1-5AF1-4495-9B16-A773DD0B9DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b311763f66db187692c242b6954d5589ac66","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$858F6C4B-EE1C-48A0-B35D-4A40845C9A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88d9b44c4bf92991a82e37499500ba9b0167dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5711500,"id":"Q5711500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$AB0FADA7-CAB4-4D04-BC0C-1721B00528F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$F6E21476-CAD3-4F17-8656-91D628B324DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8122ab63c946a49c08b425b17a0587a9cf7577","datavalue":{"value":{"entity-type":"item","numeric-id":4813396,"id":"Q4813396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$2194E5D4-8682-426E-890B-DCF89CC3BB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$CD6B2916-BE0B-4922-B428-6D144CE42CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacfb30a2974955786a9bff56d0c03b19b34c30","datavalue":{"value":{"entity-type":"item","numeric-id":4553258,"id":"Q4553258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$6708FE95-DBBD-4C12-AE83-6939FB037607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ac1875f2bd79fe60fd4a60c4b76074c2e13d8","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$F1CA08E5-44F4-4D80-AB39-2134CC132F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f270a48df484c0b9b71c3232adf5ed7dee09dc","datavalue":{"value":{"entity-type":"item","numeric-id":5452615,"id":"Q5452615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$3A6D3D76-67B9-4472-8E31-D68E3EF6D4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e078bc054dd2f0127f472b04229eee817bcda4","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$93F8D40F-EF3B-4756-B33E-5580D3BDEEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0154e0e7a8c353cd494b970aa089d960567542","datavalue":{"value":{"entity-type":"item","numeric-id":5897440,"id":"Q5897440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504599$55279031-FAB9-439C-990F-5B27B9EA09E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f595f1f3162ee239095e0c417d87d9af99cb19","datavalue":{"value":{"entity-type":"item","numeric-id":2769434,"id":"Q2769434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9142c79c334a2cbd59fab2b08d6aa825e532fe20","datavalue":{"value":{"amount":"+0.7825843691825867","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":"Q5504599$622A5C29-EB98-4DF0-A783-8D6ADC03170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0967ea56a255f75afa3560b5cdf75cdd64e46209","datavalue":{"value":{"entity-type":"item","numeric-id":4592995,"id":"Q4592995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3e5a2c4f4ee7ef48a52d6d3dc08024213c1c01","datavalue":{"value":{"amount":"+0.758647620677948","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":"Q5504599$4A19FDBA-5054-4425-9598-D8F978CEDADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ea147eba7c36e043546748e643657633e22bb5","datavalue":{"value":{"amount":"+0.7243480086326599","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":"Q5504599$7BEBBC07-B98A-43F1-9111-DBF4A357F3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ea2c340811aea1ec33084f0dde5896fd0c5cf1","datavalue":{"value":{"entity-type":"item","numeric-id":5312991,"id":"Q5312991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab11a0a58ae8373d78834e77da5430c93246a5a3","datavalue":{"value":{"amount":"+0.7184038162231445","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":"Q5504599$C602AF13-AF0B-452E-B275-A7841A7064C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c205f18045456d27f59ed4a5c7c17aeb8d0108","datavalue":{"value":{"entity-type":"item","numeric-id":1426046,"id":"Q1426046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13389c81b80cad9cf630314644ca6df254c6039","datavalue":{"value":{"amount":"+0.7175271511077881","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":"Q5504599$6C62AD34-8017-47FE-80DF-57D61CE9B787","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504599"}}}}}