{"entities":{"Q5195258":{"pageid":7224830,"ns":120,"title":"Item:Q5195258","lastrevid":92113295,"modified":"2026-06-05T00:54:05Z","type":"item","id":"Q5195258","labels":{"en":{"language":"en","value":"Abella: a system for reasoning about relational specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106494"}},"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":"Q5195258$BF73503E-F1FD-48B3-8C3A-6B940B8B12D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63afdef57b61133c97e82114d685226c21798b51","datavalue":{"value":"1451.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195258$ECB33092-7B9E-40AC-8742-06F7776CF0F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439fedb2abb0db23850e986c02a9c62295b684a6","datavalue":{"value":{"entity-type":"item","numeric-id":2167735,"id":"Q2167735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195258$92D5C667-20E1-4060-A9C7-4E0CB7F2AD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195258$189D606A-8ACC-4ACA-A998-12CAF8926B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bef8972131bb2d404ab73f1778b26b1f419d104","datavalue":{"value":{"entity-type":"item","numeric-id":617713,"id":"Q617713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195258$B33F0B19-F13E-4DB4-8E01-A9365DB9D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195258$03219BDC-B3A9-4E97-AF6C-763A907FEC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195258$A38C43A8-7DD7-4BAD-918A-0B1B71F77409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"347217a6cde399dc020409cdb0aa80ce3f4b1ab3","datavalue":{"value":{"entity-type":"item","numeric-id":660963,"id":"Q660963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195258$C3343072-54E2-4B39-9876-A8EA35A88222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195258$9D5CE7AC-2EA8-430A-BDCE-0FD0611E0C10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195258$40A7AD26-F3EB-4761-BA37-A1DB23059D21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195258$2B52A438-23C7-4573-A167-AB87052A4733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195258$819A63BD-8765-41D1-8BE1-71D9FC8B798B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195258$CE8952D5-F85E-459F-88E1-113593D29661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f226cceada9d4191fd27b13b9b1e11f6024a9cfa","datavalue":{"value":"7106494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195258$E2E69B81-1481-4495-953F-1CBAC0FC8340","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":"Q5195258$42915682-4B10-45C1-AB30-152D13E09959","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe144893c7ad51787f9bdc2c9cd33a1bd0a50252","datavalue":{"value":"https://hal.inria.fr/hal-01102709","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195258$2D503F65-2419-4F17-8F59-C1A2BA082808","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a482aa2583a6201b3506bda4c2e86a03de605150","datavalue":{"value":"W1961757151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195258$21358BBF-3229-4514-A049-2A5224BF4320","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a699b0f84916030abee3219e2b5048a8a286345","datavalue":{"value":{"text":"Abella: A System for Reasoning about Relational Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195258$A2D9EB66-A14D-4B6A-B56D-96A056E23CC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ed5f04881b72198bd576fd11776866b0477f094","datavalue":{"value":"10.6092/ISSN.1972-5787/4650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195258$EAB8A82D-BF96-4D65-86BC-2DD355EDC4FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23915a8e6887120cb73d57870fe2262b5f12ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2914731,"id":"Q2914731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3ac20f10784ff1f7573abef4137e68399bd768","datavalue":{"value":{"amount":"+0.9039567708969116","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":"Q5195258$30A52F8D-20B0-4CCA-B334-E26F221B6AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33503c969af746f93c29b2fc917a0814236eee25","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bbf214266fef157735a6958ba1b375a6f5c024","datavalue":{"value":{"amount":"+0.9008652567863464","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":"Q5195258$73AFBAAC-EC5F-412D-98A1-7F6C201D6D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12959d454dae1aeee12bf8799252bd1124320f9","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07334dfe3c68dec29c5d3e76dc6f89d9492e2ed1","datavalue":{"value":{"amount":"+0.8111977577209473","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":"Q5195258$96A44E35-7DDA-43AC-8226-253315431912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d5e8cc4b47d6f2e7e5337a234b0035a9212bd3","datavalue":{"value":{"entity-type":"item","numeric-id":2804943,"id":"Q2804943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7facbe1c5c52909fd693b5cb7927f10f6a8392","datavalue":{"value":{"amount":"+0.7795580625534058","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":"Q5195258$ECAAC29E-7122-4870-955F-C7AB7A8566F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9d546752157f9e756c98b4a253aee9c63c89ab","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20daa998665ce96db90b34b6d9011e7003c206bd","datavalue":{"value":{"amount":"+0.7547093629837036","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":"Q5195258$23B34B9F-169F-4CD4-A6AC-FA452E86C431","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195258$415E7E0A-C6F2-4860-B155-7682548B9CDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abella: a system for reasoning about relational specifications","badges":[]}}}}}