{"entities":{"Q2917408":{"pageid":2928128,"ns":120,"title":"Item:Q2917408","lastrevid":51564179,"modified":"2026-01-18T19:32:31Z","type":"item","id":"Q2917408","labels":{"en":{"language":"en","value":"Shape analysis of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088085"}},"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":"Q2917408$B3FB82E5-21AF-49DF-AA8F-EEF5A3E46A4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39a957373b2da9f96e0f73038bfa3e3efb0e5b7d","datavalue":{"value":"1247.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917408$6DC73E56-3E31-4C41-B8E6-1B7422584F20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d30a6fed3317e8074a396d3ddb5b6af6bd795278","datavalue":{"value":{"entity-type":"item","numeric-id":777058,"id":"Q777058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917408$931F2F2E-C5FB-49A2-9173-B446876F3E45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b12660c8353469274eab0e82d679e86cc344acf2","datavalue":{"value":{"time":"+2012-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2917408$F03D688B-4D7A-4E5A-A0ED-8893871C72E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917408$4DAA72CA-AEAE-42EA-A98D-F027B1C180F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917408$7C573164-34C3-4730-97FB-999100AF13FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7ba73d5d31ae667d2fcf274ffb2896afc93360e","datavalue":{"value":"6088085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917408$D08650A0-5DB8-4522-BB96-F4FE9FACDC40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917408$35CCB72B-A0B8-4E27-BF9C-A85827BFA61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917408$6408C751-6A63-45B4-BA21-09975491A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917408$32F4153D-1E20-487E-9D6F-FF060C64E571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917408$1A822043-71BB-4585-A1DD-3887387D5020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917408$B9ED63F4-D7AB-47DB-93C7-B10DC63340D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc31c9831dc62afce8966aca1459a398b6f9021","datavalue":{"value":"set implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917408$0DF10C29-AEDE-4BC7-A36F-4C8C9B02171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469432c7e2e4cd59d964f83e69cb11b07596610","datavalue":{"value":"imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917408$E983981F-D183-41A2-B0ED-49E0CFA09A94","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":"Q2917408$FE953D9C-1ACD-481B-90DB-CF33A6F4A285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9426b3f1f41d330562bbc0ae6fa7aa517bf9ae39","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Other.698.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2917408$301E391A-197B-401B-84B6-CDDFBA622A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8657302354faf29cfff01cb9ae0a56be232ed3a0","datavalue":{"value":"W1512920071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917408$2595FEBB-A350-4971-BDF4-A5A0B3584B52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd55869b5ef0153b94ee4b4200561951c9bc7442","datavalue":{"value":"10.4230/OASICS.TRUSTWORTHYSW.2006.698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917408$49B58C53-33AD-47DA-BA71-AC4C6E7F2434","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f9df362b3c8cbd143919a6da35d1d0ea2e8d84f","datavalue":{"value":{"text":"Shape analysis of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2917408$9777F69A-9916-4DAE-A055-C4549811D290","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ec5374018e491f34136d32e51ff5b76834716f","datavalue":{"value":{"amount":"+0.8008448481559753","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":"Q2917408$8FDA28C3-688C-44BC-861D-07A659CF57B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44aa3c2ae7765ba89a0f71abd53c82c3913cb2e7","datavalue":{"value":{"entity-type":"item","numeric-id":3656887,"id":"Q3656887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6714c91e9fc5e6050653648c8534c767f993ebbd","datavalue":{"value":{"amount":"+0.8002707362174988","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":"Q2917408$7C34D512-A8DC-4430-9621-0668474227AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11a34c1631b77cefa63ff6edcd7b5b9edab8a27","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfa04d0d2a1f13ab81e6855627c3e9026d6f009","datavalue":{"value":{"amount":"+0.7845423221588135","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":"Q2917408$AA472E51-C180-40C3-9A8B-F1A193645F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21ae6f77e069f91f72c7be536913eb33031f91","datavalue":{"value":{"entity-type":"item","numeric-id":4414398,"id":"Q4414398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c688f57f0e09233575bbc7d86964fa39ad00c08","datavalue":{"value":{"amount":"+0.7815810441970825","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":"Q2917408$20FDC837-E5BB-498F-8CCB-05F9D3309294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf6e1539f3abbeee51f7619366fb45e1ed51711","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efb2e0360d9e4a9898c1125385a8275bafc3c98","datavalue":{"value":{"amount":"+0.776812732219696","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":"Q2917408$C3A9BE69-15C4-47DF-A536-C59491140450","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2917408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2917408"}}}}}