{"entities":{"Q3055742":{"pageid":3066458,"ns":120,"title":"Item:Q3055742","lastrevid":79889723,"modified":"2026-05-06T14:56:37Z","type":"item","id":"Q3055742","labels":{"en":{"language":"en","value":"Saoith\u00edn: a theorem prover for UTP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5814096"}},"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":"Q3055742$29629B31-67F5-4ACB-A757-802DFBCC0C8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b977fdca8e3564ac645e75bcc2ae0284bc219a8","datavalue":{"value":{"text":"Saoith\u00edn: A Theorem Prover for UTP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3055742$C77312F5-2660-4B36-A782-2DAC4D3A4AEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fae11599776d13918d240eb6ea9f6a721dce6fa","datavalue":{"value":"1309.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055742$C9A777FE-140F-4703-BB8B-0AB29A8D47F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6db3e5b80b616a786bf9aac216f1379f12a5414d","datavalue":{"value":"10.1007/978-3-642-16690-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055742$1670D158-2474-4D36-9659-642FB73B553D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bcc2517d7f29a0c99d871175f905014f619cab8","datavalue":{"value":{"entity-type":"item","numeric-id":539164,"id":"Q539164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3055742$2A36A3D5-88E5-45F9-B142-FB41528A6CED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3055742$E67284C0-854E-45E9-A589-094E992A66B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb643977987b416fd9b27db151f69ce02967bfa","datavalue":{"value":{"time":"+2010-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3055742$17DF5B6E-53B5-4009-B10A-0E42B9306F60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41e5d84d9bc2d8d99b452ea2d70e07348dccdee4","datavalue":{"value":"http://hdl.handle.net/2262/91345","type":"string"},"datatype":"url"},"type":"statement","id":"Q3055742$B48F758B-EDB3-49E3-A86C-DA781873D3B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055742$D163876F-2D97-4073-902D-2595AE51E683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055742$90631587-6D3D-41B1-BC39-DFB86FD10763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03e4e2994249703bce3460d6f3d64eba8aadf8eb","datavalue":{"value":"5814096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055742$7B4D9BF2-2086-4959-A746-F0E7DC5D0F46","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3055742$4427B6B2-9314-43FA-B231-4FAF3091A7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68079a1ac599a7a055005dfd946e1e3838308e61","datavalue":{"value":{"entity-type":"item","numeric-id":17921,"id":"Q17921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3055742$5EF2A29D-AFE1-447D-9F6D-7659B59B547E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3055742$5A263101-AE37-4FD7-A869-195BC01D80C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3055742$F9BFBA93-5C61-448E-8EA2-A512597BE399","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":"Q3055742$76C0A43C-1E55-457C-8A3D-345DA2883249","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":"Q3055742$E5D0D2DD-ED33-4905-A3F1-0B8E478E76EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40724cb4acb872cc3f127222b7a1f51c4ca1902d","datavalue":{"value":"W1897172885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3055742$64839683-32B4-4046-BCCA-8BEF5E7E81C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca406afc48f9348880062035d8eacecd7122e01","datavalue":{"value":{"entity-type":"item","numeric-id":3455647,"id":"Q3455647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71387bf646778c4ebf41fbe1e12f2b5c2bf02cf0","datavalue":{"value":{"amount":"+0.8471686840057373","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":"Q3055742$3EF3D86F-333A-480A-923D-9CC48CF421FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a882b9f94d2d662fc1bfb61a704bef560732636","datavalue":{"value":{"entity-type":"item","numeric-id":436368,"id":"Q436368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c82b57612fede244ae262fdc5e4becda707f51","datavalue":{"value":{"amount":"+0.7943760752677917","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":"Q3055742$E8AD5626-2B8E-4996-806C-73F5D74CE276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94caf25cecc09fb129235f3cfd9243f959a4e0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2971182,"id":"Q2971182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45acc81b7db9c5be9972532c273ecec82ee5d0bb","datavalue":{"value":{"amount":"+0.7711265683174133","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":"Q3055742$456E0D64-4C83-4627-B755-2FC807CA070F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34160df6711a57363183228c6a05d61860201eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5179366,"id":"Q5179366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6036981817db18c69f76996c867322d1008e49a0","datavalue":{"value":{"amount":"+0.7584591507911682","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":"Q3055742$3210BBE5-B4E0-4952-A31F-8AE053C1CEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6db23d2ad35e7f6579e9dc67d88087dcc91726b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd3f7487105c7d4f9f8ca680f64c13aaa09c615","datavalue":{"value":{"amount":"+0.7356759309768677","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":"Q3055742$23B1D655-6B30-44E1-9D18-0227A3D281D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Saoith\u00edn: a theorem prover for UTP","badges":[]}}}}}