{"entities":{"Q2894289":{"pageid":2905014,"ns":120,"title":"Item:Q2894289","lastrevid":51501131,"modified":"2026-01-18T13:01:09Z","type":"item","id":"Q2894289","labels":{"en":{"language":"en","value":"A proof assistant for Alloy specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051101"}},"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":"Q2894289$E4C5555E-79FD-48EA-89F0-6DC862CD4474","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c55a8c80e4c9ed24bc79790e17e1d09b7f547983","datavalue":{"value":{"text":"A Proof Assistant for Alloy Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894289$5F532C62-A47B-40B0-83E0-F3135E269DB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e668fde622fc06ab4acaaa0d0e6e5130de53c919","datavalue":{"value":"1352.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894289$7E259299-D259-41CC-BCE6-B66382DF7BC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"800b178a3dcbe0ec45116d0406ae30348500643d","datavalue":{"value":"10.1007/978-3-642-28756-5_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894289$91060AB7-99B3-4CE6-ABF0-4293E8FE9F94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54b40af6acb3456c1b6977fa01e79eec0014485a","datavalue":{"value":{"entity-type":"item","numeric-id":1630024,"id":"Q1630024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$02963E81-BE39-405D-8445-1D367A58E504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b8f8801895abd5d6e988805fdab79b15720e39a","datavalue":{"value":{"entity-type":"item","numeric-id":2894286,"id":"Q2894286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$81AAD616-62F9-4B23-B49F-2714CD7D2442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26626c37f72b5eb3367da001715871801077b43d","datavalue":{"value":{"entity-type":"item","numeric-id":2894287,"id":"Q2894287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$95F83727-F70B-4980-A4C5-EA91147DDEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"613fa59e6679db40d5020b506d2cab554236ed62","datavalue":{"value":{"entity-type":"item","numeric-id":2894288,"id":"Q2894288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$80E75BB6-5337-477E-B392-E248EE48D88A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$669706AB-929E-4E9A-A4AD-C41C4E5B01AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894289$97F7B40A-7108-434D-981A-FA232536FBA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894289$839F8B00-A00E-49DC-8E88-3E4167F2E0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894289$D177ADBA-CA35-430B-BBA9-C3EFEA0B7FFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed9f626406a2b1adbeaf9cdc040bbbb62944d420","datavalue":{"value":"6051101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894289$46A8785F-0A13-407D-A08B-BBA86DF84E4F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322474c315dc49310ac70dcba3ad80c782f903d4","datavalue":{"value":{"entity-type":"item","numeric-id":13987,"id":"Q13987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$1E0C3320-8F50-41B9-9E21-97EF78992F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17c73703aedc6a469aac3bb78d1e4cdba83a22d4","datavalue":{"value":{"entity-type":"item","numeric-id":21943,"id":"Q21943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$D6559287-4B81-409D-B17D-950AC269B013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50b1770d789a5eb5d38eee8418235e77f17bf631","datavalue":{"value":{"entity-type":"item","numeric-id":21942,"id":"Q21942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$F825DA4F-DC88-4BE5-BCDC-8040E9BEB425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$FFC0047B-776C-4615-985D-1D74DA0F94A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0abd76723da9bc6b7525227a30180cfcfaf7cf59","datavalue":{"value":{"entity-type":"item","numeric-id":21944,"id":"Q21944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$76FB1570-7E8C-4A7B-9B0A-736AA27F39B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894289$BEFACADF-3025-4F57-9B29-6484B2816148","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":"Q2894289$73F962EE-F273-4CBD-9AEB-F15CC3E3EFA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a1da0c0c76b396859ef7cd6e87e3e2dca3264ca","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894289$A408E55D-41CC-4257-AB9A-F24064350F27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"300ec7af89af06cc7a3601ec2914d790ef9bf7b2","datavalue":{"value":"W1581575676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894289$D89E98A1-EA40-478D-8435-377C6ACD4B2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d96d11b6713b46ae9b8b498facd35353a9917d","datavalue":{"value":{"entity-type":"item","numeric-id":5758135,"id":"Q5758135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d01f3193d2be9c12034949a784f1cc8ab50ff45","datavalue":{"value":{"amount":"+0.8132060766220093","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":"Q2894289$0C7FD8E5-B43C-4218-AA94-00154C6E7F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fee325c3ee8683351d6f8f9da6fb181525c18ba","datavalue":{"value":{"entity-type":"item","numeric-id":5458813,"id":"Q5458813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47b6ff89c5793b3d31bf43d8641aa1e21c84404","datavalue":{"value":{"amount":"+0.7781537175178528","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":"Q2894289$B8A2DEFD-D2D8-4422-A110-0B26AD7D2B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850383e455eb9e186f38e3931bb64ab4bfa98283","datavalue":{"value":{"entity-type":"item","numeric-id":4436952,"id":"Q4436952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad36a977c84abc5536c7986818cd184e1849d72b","datavalue":{"value":{"amount":"+0.7442641854286194","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":"Q2894289$15AA4135-D6B9-4552-8AB6-9B1356E0D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f9964fd8900314ea6c823c5eadf5f579ebe428","datavalue":{"value":{"entity-type":"item","numeric-id":4422092,"id":"Q4422092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad36a977c84abc5536c7986818cd184e1849d72b","datavalue":{"value":{"amount":"+0.7442641854286194","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":"Q2894289$699B336E-A6D6-4802-BBE9-BF077FBF3CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947212ab07c75a2185a9227d9dd02c3c0b97a870","datavalue":{"value":{"entity-type":"item","numeric-id":2863830,"id":"Q2863830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1359ca15aa4636627d497e3c78f71108211a77d1","datavalue":{"value":{"amount":"+0.7409385442733765","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":"Q2894289$6A7CAFDC-7F2E-4BCE-B2F1-8DC66AF415D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894289"}}}}}