{"entities":{"Q2296290":{"pageid":2307033,"ns":120,"title":"Item:Q2296290","lastrevid":55372357,"modified":"2026-02-17T14:43:29Z","type":"item","id":"Q2296290","labels":{"en":{"language":"en","value":"Hybrid relations in Isabelle/UTP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168637"}},"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":"Q2296290$52B3A727-5046-4577-885C-C4D528703AF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bd36c9300ff432f30a6345cb2942d120d5cc760","datavalue":{"value":{"text":"Hybrid relations in Isabelle/UTP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2296290$A0F899CA-3ACA-4654-B927-C6E8CFBED725","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"669c127d7356ea9f079355d11c8df6589ea52033","datavalue":{"value":"10.1007/978-3-030-31038-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296290$92ED43D4-8241-45AB-9A93-5540514CEB96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296290$B0B313EF-2D43-4B0F-81ED-9CAAF54E2A5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c57a87dbc53c05445a3141681500035fc1e9f8","datavalue":{"value":{"time":"+2020-02-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":"Q2296290$D4ED7C06-662A-41F2-827B-6A74D212E613","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab313bba71012922e80ae0c7e11d60ba7e7cbb51","datavalue":{"value":"https://eprints.whiterose.ac.uk/148557/1/UTP2019.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2296290$EDA3BEAE-A3B1-46F4-9E76-345F900FD27D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296290$54CA8820-FFBD-4842-B894-7CE692A46E25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1933bdd30f1842ab57b7524be10b27c81d75a20","datavalue":{"value":"7168637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296290$6953D937-DE57-498A-B65E-949F4123DD9C","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":"Q2296290$2D6BB40F-4FC5-41E3-AB89-0D7181361EA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80d7c6017428e5233410ede4a2e4b01904145158","datavalue":{"value":"W2974598836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296290$F875323F-9472-4159-82F6-44C436CA5986","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1533a2872c2af784b963ee4ff0eb59acef768326","datavalue":{"value":{"entity-type":"item","numeric-id":2971175,"id":"Q2971175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab91173ab1d29bb24cb7e29b4dd17ae2b052fa6","datavalue":{"value":{"amount":"+0.8041676878929138","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":"Q2296290$DE0C372E-5999-45B7-8068-52201975C43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276f4acaf0f47807bdb09bf5316ca0efe8726bc5","datavalue":{"value":{"entity-type":"item","numeric-id":5098720,"id":"Q5098720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e547715b02bacbe332f23e1ec5809b2c5481ae01","datavalue":{"value":{"amount":"+0.7764959335327148","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":"Q2296290$1C9EC6AE-509E-42C7-9152-0798FEBCC6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ac85bd022b060d7065458581496d049a21c00b4","datavalue":{"value":{"entity-type":"item","numeric-id":832721,"id":"Q832721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2a3346ce05858a6c99d679ae6097697ad12889","datavalue":{"value":{"amount":"+0.7623082399368286","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":"Q2296290$4E824109-A51B-487A-AE8D-4A33799B4290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916f06100b463e92c67a400ec913503d255e1185","datavalue":{"value":{"entity-type":"item","numeric-id":1708708,"id":"Q1708708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f3b473dfe813b286b6948e1a3e656ab6a7e471","datavalue":{"value":{"amount":"+0.7601993083953857","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":"Q2296290$8FFA121A-441E-4816-867A-9C8F71B7C007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa1f4841de960501ed36ce114855cf0bd00d78f","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c243ce2e35e1e906f827b4d81ed176b524877d","datavalue":{"value":{"amount":"+0.7455189824104309","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":"Q2296290$6BF0545B-C321-44A9-99D6-107F4AEDD6D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2296290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2296290"}}}}}