{"entities":{"Q5240148":{"pageid":7269716,"ns":120,"title":"Item:Q5240148","lastrevid":53576078,"modified":"2026-01-25T08:59:24Z","type":"item","id":"Q5240148","labels":{"en":{"language":"en","value":"View abstraction -- a tutorial (invited paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121861"}},"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":"Q5240148$63C19DFA-FB66-40AF-AD2F-4A0770E3A472","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feb61cf26d28a4f1585b20424dd5ff2ea831885e","datavalue":{"value":"1429.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240148$F41C77F0-6875-4DC5-8B20-9186D62F7A02","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":"Q5240148$5B9B196D-B365-4EA2-926D-14CF30DEA807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9361cb8ad88f06568bef755ace5e6a0196608135","datavalue":{"value":{"entity-type":"item","numeric-id":5240147,"id":"Q5240147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$8F79F290-9C0D-4266-A911-9800B306946B","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":"Q5240148$3BC64ACC-DB5A-40B6-91C5-3416EE4B85E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240148$E424122E-2E6B-4032-8514-E1509B7A2B5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240148$B7686325-DA43-4D9D-B329-5BC6BDC35EC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40397d77213b23ee0fc204d893b9d104eebcfd40","datavalue":{"value":"7121861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240148$A910A689-B70A-46C1-9F49-9C4422C3248D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240148$E5178371-DC2F-446D-9FE9-034F95B7444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240148$D628865A-202E-43B5-B2DF-5FEB72E2E2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5a9a46cb56e0d008cd5f36093b01f2579c6e36","datavalue":{"value":"parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240148$63581BED-3EBC-4339-90A4-F6C4C16AE55C","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":"Q5240148$52AEBA85-E4BF-4746-9439-1DD96A00E1DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dcfed7fb48a3ec727abe02058a43d7a70fbfa6","datavalue":{"value":{"entity-type":"item","numeric-id":2894272,"id":"Q2894272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$2074FAA0-E7D0-43CA-96F2-A91D3CEB5B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c97e5888297a4406f33da3aa7dfa43d6b270062","datavalue":{"value":{"entity-type":"item","numeric-id":2851070,"id":"Q2851070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$CDC17387-DC7E-4FB2-A548-04B25DAC1D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9685be4042ed67a73d0b08e5d765a9ad207daad","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$15C85E46-D2F6-44F5-A33F-C9EC40F9E39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b6f831c6fe41c198019ca0c6e002e7ab0496b2","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$67B756D7-363A-4546-AF01-2D13B7149953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a98dd6d97d70129a78995b432cf7ecbb251275","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$88A9E376-F1F6-488F-A318-941E8BE1B543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55eea6aa154720544f17d8dfaf45eef03a98a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5452704,"id":"Q5452704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$A34BDD03-4D30-4FB6-A04F-C924704679C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$75985F04-8F8B-48E2-93C6-652279CFD383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d5922062763869f84d6a8e242281b086251c30","datavalue":{"value":{"entity-type":"item","numeric-id":5703778,"id":"Q5703778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$725EC452-8076-4149-B822-D91FA4875EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff983d5d474e50f5bb47f576a27b613ca840f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4535172,"id":"Q4535172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$AB6A43BC-0365-41AF-92EC-EEA6C89947B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$FD54C0A8-0EA9-4E94-9500-BCA0254957C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4ebf12cf2eb62c6833574ce09cdeadc67088b9","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$C28A303D-C09C-46E5-A0E7-B7D2B8C6F55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97c71a218bbd7486ac5ef037a57f93071d21a80","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$84C57867-AFD9-4EC4-8D82-012C2BCA0B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$A263AE31-4227-4C52-B87E-BAACC44DBB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1e9f406ce8aac5f3f053d9c470f08e640fe141","datavalue":{"value":{"entity-type":"item","numeric-id":4551159,"id":"Q4551159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$80BEFBAB-D9D8-4424-8CAD-DDECFB3B2A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82889a8aaead4f7b83d3113f27cd04ae3da7df58","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$591C4D88-D67D-4F4A-931C-D48160AC0C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$081494F6-8B40-4396-867F-08D2E958C700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079edbb478e94c4ee8deecc54d86df5097c74af4","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$5EE22850-9594-4813-BB57-E0BD08EC5D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2746e9c4da87b38a9ca976e5ed46d4d5651d8d2f","datavalue":{"value":{"entity-type":"item","numeric-id":5716580,"id":"Q5716580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$7063526C-CD23-494A-A02F-33019B8B0B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a06cc82621fb5a480563de61a6ce44ffbe8888b","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$99014E90-CC18-48A2-80EE-47DD05A6FB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$0DFB247A-8392-4262-B0F3-98FA6E2540B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$21769888-2F9A-4D6C-A1A9-06B3AC304192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$E78CC140-9385-432B-A0EC-EA284752533C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff97ecf0898a4a7a0193ba7b942ac810914cc27","datavalue":{"value":{"entity-type":"item","numeric-id":5452616,"id":"Q5452616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$F7519267-7B37-4E72-A978-679C20F95917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$094E6572-0DEF-475A-A825-F655C8CC693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1dafc3f01ccb5786720a2526b847cd3aefa2af","datavalue":{"value":{"entity-type":"item","numeric-id":4804890,"id":"Q4804890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$4CB3340B-B9D4-4451-B7A0-B6AC96DDFC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1dc1c2dae98a465e7350a6b9e72254be8ec580","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240148$22F5C4ED-FDD2-4890-BEAE-221A417B1E32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"378686efde814970a0014c40abf442ec22d6b0fa","datavalue":{"value":"10.4230/OASICS.SYNCOP.2015.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240148$BCC4ABFF-EF20-4F90-9572-9B2CCE6EC9DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3153dc0c5d9d705ab477259c5095a8bcaf5c50e3","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"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":"Q5240148$887CEBEF-A43F-4CA5-96C9-A976CE73BD64","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":"90c234a929b303daf50888585a7816d6fe9ce872","datavalue":{"value":{"amount":"+0.8157434463500977","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":"Q5240148$09007FDF-5B70-4E61-A7EB-85FBB8D6248B","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":"b44f36a6675590af745662c37e7785a61a12788d","datavalue":{"value":{"amount":"+0.8151440620422363","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":"Q5240148$8CEE2359-A55D-47D6-A0D2-9E734197C9BC","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":"6d9fd46201d989b2f2c3726542fd076834c71238","datavalue":{"value":{"amount":"+0.8118103742599487","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":"Q5240148$B811D580-6195-4F9C-AC7C-844962638402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f882e8c8c3f3b35fb5d6d6ebc7b6d3533c1972","datavalue":{"value":{"entity-type":"item","numeric-id":5505593,"id":"Q5505593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f547f5507c81a38873e5b48ce604a51cc23a6f6","datavalue":{"value":{"amount":"+0.8108031153678894","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":"Q5240148$7C9C3337-7F93-4C0B-923A-460C2C549C4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5240148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5240148"}}}}}