{"entities":{"Q5875358":{"pageid":7904909,"ns":120,"title":"Item:Q5875358","lastrevid":97508297,"modified":"2026-06-05T14:55:10Z","type":"item","id":"Q5875358","labels":{"en":{"language":"en","value":"Hybridisation of Institutions in HETS (Tool Paper)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649900"}},"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":"Q5875358$A21891DF-5B19-490B-B357-FF72D1B9625E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"615809cfd2759bd3cccdf2e2434073b70fb30a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1001373,"id":"Q1001373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$72DB8A2A-02BD-4DD6-AC9C-646832D5D3C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875358$70465617-AD3C-4C6B-A2B8-FCFCF0B472D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875358$921CDEEC-9B0C-447E-86E2-BA8856B54827","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008328a1893cd83c087212c41f0f46f1d0fb88e9","datavalue":{"value":"7649900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875358$A6687614-FBC6-4DC1-B242-97D287F2FF2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5318dffc1cef98dc92fc8de2f97812530f75471","datavalue":{"value":"hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875358$ED697D26-F8BF-4EF3-AD99-CFADABAB336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875358$903905CB-98A3-4966-9E1A-F92CF729F988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875358$B3E3A86F-0405-47C9-91EA-1A2D5207B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07272d8463fb244abe28e1323215ffc91fac13d5","datavalue":{"value":"reconfigurable systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875358$74387713-E8CF-4AC0-8920-A03DABF399D9","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":"Q5875358$3F26095D-B02D-4EB0-B117-4DF5F839C23E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9709ca341f6f819e3a855ac0989afcdbcb1a599b","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CALCO.2019.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875358$5DD63415-8361-4C10-B07D-93FCAD63637D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b2093dfb995053611920ce709e6f3f48bc153c9","datavalue":{"value":"W2990402245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875358$F8F858CD-0B8C-4676-80FD-5DFDBFD4EBCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ded51c6c98633723e2ebee829586b2c5a1b083a7","datavalue":{"value":{"text":"Hybridisation of Institutions in HETS (Tool Paper).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875358$066597B3-EB2A-4EF8-AC28-6C6C85E87BEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a9d7dc7543b117a2744607ae691d2eaa55a513","datavalue":{"value":{"entity-type":"item","numeric-id":1682285,"id":"Q1682285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$B3BBDCA7-1E08-40A1-BDDD-F91E0DD26DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a38b2702de5653f6f842316a8e74e7ad3cf7585","datavalue":{"value":{"entity-type":"item","numeric-id":698051,"id":"Q698051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$0B4EF00E-5023-4D02-B162-274A6342EA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae473e25053878a5e94e8f9dca5b6e385374db32","datavalue":{"value":{"entity-type":"item","numeric-id":2826029,"id":"Q2826029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$04E5FF2E-BFA1-4AE3-8856-6089752B1D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af037f9dccadaed76e12006e3f6dc4edb90df42","datavalue":{"value":{"entity-type":"item","numeric-id":5741578,"id":"Q5741578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$455DA216-D76F-40D6-819E-6DAA014550AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec55a989376a018c1d71aa3edab39121de2fe37","datavalue":{"value":{"entity-type":"item","numeric-id":2373712,"id":"Q2373712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$D7AEDD57-06AE-40EB-95D9-642529D81E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$B7E4DEA1-F782-47D7-96E0-5BF66E325265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb6eae708d05b75381068eb7d811f3c3e4e924e","datavalue":{"value":{"entity-type":"item","numeric-id":3090875,"id":"Q3090875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$B6FBF02C-D74F-4CB1-99C8-4960CC73364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$F5EEA321-5C6B-4840-B0FD-66C256E53A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d0cc15437fcc490c066da07f56a2e787b336ac","datavalue":{"value":{"entity-type":"item","numeric-id":4708606,"id":"Q4708606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$6F67BE72-DF3C-45B3-ABF2-49236A303EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef5b2f549cd0adec034da83b070b0031a0a7c80","datavalue":{"value":{"entity-type":"item","numeric-id":2848960,"id":"Q2848960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875358$CC410561-F2E4-47E9-AA8A-932125A8AAD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1cabec3034c0dd6710e59f5a65349aeb7697acb","datavalue":{"value":"10.4230/LIPICS.CALCO.2019.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875358$F96C49DB-D23C-4B8E-A7DE-CC014C239B2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f2239c8c300b90c265840d37d8ce1c382d9e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3090875,"id":"Q3090875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa785f51e0b81e43ee19795683ac1a3aba204ac","datavalue":{"value":{"amount":"+0.7924221158027649","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":"Q5875358$5BD1ABE9-202D-4065-B528-AD0E7AA8DC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8316ca9a6ec336550037e70961f9ce39be9709a4","datavalue":{"value":{"entity-type":"item","numeric-id":2355385,"id":"Q2355385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ff442d83a06bbb2cb3f37b916923134a07a605","datavalue":{"value":{"amount":"+0.7717134356498718","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":"Q5875358$8F1FA5C8-18D2-401B-A1D8-EE279110B297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f187d00a0ef0e02de5c18f792cc785a235332a6","datavalue":{"value":{"entity-type":"item","numeric-id":2722027,"id":"Q2722027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd29416867b0d43f5d3c0dce1f7b76a500238ae6","datavalue":{"value":{"amount":"+0.7706327438354492","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":"Q5875358$6E91AA38-B9FB-450E-A48F-EB2D4CDA0F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0eeadef1fe5aa99dceacd546e4a0fb585684d50","datavalue":{"value":{"entity-type":"item","numeric-id":2797868,"id":"Q2797868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfff828356f28008639d068da6d4ad733f5ed12c","datavalue":{"value":{"amount":"+0.7391915321350098","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":"Q5875358$4C72BB2C-DDB4-49E4-87C7-D721E952EC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75be98de6deddba4d82e0a8f086e0fd0afc26cea","datavalue":{"value":{"entity-type":"item","numeric-id":5741578,"id":"Q5741578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a17bc0c686df6c6f166f06a9982ccda597950c","datavalue":{"value":{"amount":"+0.7314249277114868","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":"Q5875358$ECC307DF-A33B-4B8B-9BDA-064E9E934932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybridisation of Institutions in HETS (Tool Paper).","badges":[]}}}}}