{"entities":{"Q5875341":{"pageid":7904892,"ns":120,"title":"Item:Q5875341","lastrevid":41718479,"modified":"2025-05-07T12:56:26Z","type":"item","id":"Q5875341","labels":{"en":{"language":"en","value":"Matching \u00b5-logic: Foundation of K framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649884"}},"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":"Q5875341$CA4C3FFE-24C8-4B93-BA3C-9316BD4F273E","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":"Q5875341$2EABC327-9EB0-4B06-9852-F8D2E6375F99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875341$DD90668C-C480-4060-B338-ECBBB013555A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a32e64396d3111e1e3ad34b2494039adea1e417","datavalue":{"value":"7649884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875341$B3356BD5-2CA3-4684-A2D8-FA1CC3FCAD59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b96a4f39c24879e8e0d2591f6a7047d14e91d6","datavalue":{"value":"matching \\(\\mu\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875341$1F592775-7DF2-4763-8579-3076C3B941B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875341$96313010-490F-4268-81D7-C5BB698BAC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"add1fd86ce5259fe50278a4ff0da6103dbf57846","datavalue":{"value":"reachability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875341$4C397D3C-CF51-4EE1-A5CB-01E49F30555A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"408b5aaba7f2ea024c4a5a39c80384dc0e30166d","datavalue":{"value":{"entity-type":"item","numeric-id":30823,"id":"Q30823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875341$05981E22-8212-4F74-8222-D5F81DCA70F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3dc99177236f98a28268bc9de8552588fda1ec","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875341$BC042983-1032-451D-AD9C-08084F3AE785","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":"Q5875341$1D6D18CC-A931-4DA8-B8C3-9D6B67611C7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"121e4b8df1384180cc3fda46e04c731d7989e5c6","datavalue":{"value":"https://experts.illinois.edu/en/publications/matching-\u00b5-logic-foundation-of-k-framework","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875341$8AB1C1AE-1C6B-4F66-875E-7634665D2C4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dac0b0bebc1191a7eef8887ea03be8211ff61c1","datavalue":{"value":"W3015923559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875341$8C34D5D9-2A86-4330-BB9E-1BDABDBBAFFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6063a260c989b4d4931f3f7240aa34e80c153128","datavalue":{"value":{"text":"Matching \u00b5-logic: Foundation of K framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875341$B0D5CEC7-51CD-49FF-BE84-2943AE03BB98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a7a357eb6113b166cb4bb85e076f679569ab25","datavalue":{"value":{"entity-type":"item","numeric-id":2819831,"id":"Q2819831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875341$72092ADA-AC51-4E18-A64C-03347773DB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875341$B28AD626-5C41-4691-95D8-199A94788C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875341$BA214238-D13F-41BE-BF6C-B626AC3A815F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac21557d803c5a4877d0b0335294fac14ee919","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875341$2843D536-ED8F-4430-895A-3D8246E473DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875341$3C2E0191-AAD4-4A7B-93CC-0A71B649C7F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7b687f38482b569addc983f9bd34e12cb472232","datavalue":{"value":"10.4230/LIPICS.CALCO.2019.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875341$D929CF9F-E4C7-4C8C-B6E4-8A90C5607742","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95562d50198b3a44f584238817ac937c2d20377a","datavalue":{"value":{"entity-type":"item","numeric-id":5277868,"id":"Q5277868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b992877ccb60d40bcf40fb40759f698459be299a","datavalue":{"value":{"amount":"+0.8824221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$3806DE56-8BD0-4BC4-BB98-16D908C6999C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5745fd30e2a18125f3de3e0c8f642e84e5889e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3356295,"id":"Q3356295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f19ac5cdd728a1423611ca171446f52e392c716","datavalue":{"value":{"amount":"+0.86050004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$8BBC539F-519D-43FE-B5C3-81EF3CA5E56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40871d42a043bbe964346ef03b3ee22b4368b9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3592131,"id":"Q3592131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc5e8df4f52b5dd452c65f9853b93197f47fd77","datavalue":{"value":{"amount":"+0.8573749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$A031CC81-C875-4138-99AA-24C40A26A71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee61145a395a941ff27584d81e94f3128bd150a9","datavalue":{"value":{"entity-type":"item","numeric-id":2478556,"id":"Q2478556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a85a414f05286801c05c36eaae98706c393c974","datavalue":{"value":{"amount":"+0.85664093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$1840C0E2-4BCA-440C-BBC5-B7CBE5DD7724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25cb109d3389500ae60162a6dd43af345e4c751f","datavalue":{"value":{"entity-type":"item","numeric-id":835129,"id":"Q835129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f2d1638370d7cc25ce15245de18c91918fe94e","datavalue":{"value":{"amount":"+0.85052156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$FA065CD1-2591-41EE-B9C0-E37A1CE596FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740dc471e0b6a212d694c17712f2cfdc4eef21b9","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8efd27a767fce6d987ec462c0801a78876d8fd1c","datavalue":{"value":{"amount":"+0.84672713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$FF76B451-8F48-4D4A-8380-1B3B87DA8CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964bf381b2c6f7157d269254db4888abd37f1cee","datavalue":{"value":{"entity-type":"item","numeric-id":5184889,"id":"Q5184889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b533433a32b90ba5c785804cdc649fb11e9d49","datavalue":{"value":{"amount":"+0.8461679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$6C9CD70B-2690-4381-90F1-4A38C8607598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e70cb3e9d171ba93e78c1ea1cd90dc8500fcb7","datavalue":{"value":{"entity-type":"item","numeric-id":3149168,"id":"Q3149168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f8d2029ff0bc58e91d945d19e46086dbc7a328","datavalue":{"value":{"amount":"+0.8460113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$42DB0543-829A-4451-BB62-91904DD29451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b328fe785c3dfbce1f857c0ed71687f55b91e54","datavalue":{"value":{"entity-type":"item","numeric-id":295921,"id":"Q295921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4690e0840c6c4ba7c5ac0076f25c62d8a5604915","datavalue":{"value":{"amount":"+0.8459872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$D5CFA6F1-639D-4014-B95B-369CB2321611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e55563de58a2685c7f354259f5c1ad3dfc17f4","datavalue":{"value":{"entity-type":"item","numeric-id":2787335,"id":"Q2787335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfa40cb98c05d0731218e483c5cd72007fe9553","datavalue":{"value":{"amount":"+0.84525406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875341$187359BE-7DA8-4FE2-A318-B16C5FDD8664","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875341"}}}}}