{"entities":{"Q5741578":{"pageid":7771129,"ns":120,"title":"Item:Q5741578","lastrevid":52582730,"modified":"2026-01-23T01:02:49Z","type":"item","id":"Q5741578","labels":{"en":{"language":"en","value":"Encoding hybridized institutions into first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607293"}},"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":"Q5741578$1F7916F9-0960-4DF8-BB46-FAC84237EC0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49ed3c94c2dbec0542d86dd019f1bf5cb9cbf65c","datavalue":{"value":{"text":"Encoding hybridized institutions into first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741578$E9108BC6-5ED8-4E91-96FE-576203AB15D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11324867374e584f20a6a384e5873fd2f514a281","datavalue":{"value":"1362.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741578$38A1F0D0-4EBD-4482-A254-B4317624ADE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"369feca0c5225616338a9ec7ca099958e09408df","datavalue":{"value":"10.1017/S0960129514000383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741578$95841103-F2C1-4249-ADD7-F2D9BCDB0558","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$9ABB5299-BCE6-4E0E-8E31-08D5529F9C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3463df273e70fb782bb74b15747c9b61c0881319","datavalue":{"value":{"entity-type":"item","numeric-id":724931,"id":"Q724931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$1729A681-6BFB-44A5-A77A-38541343DEFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$5AE93324-E59E-46DA-B89D-1305B778A87C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"983499d539ab43bbb6f5e5531bc62eb931d87235","datavalue":{"value":{"time":"+2016-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741578$EDFC0B8D-1386-4739-9D79-C32D1E2D8508","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741578$14D88AAD-BA68-45C3-8B29-86EED6391187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741578$6E0A32A5-B5F3-4155-ADD1-904FBB238B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741578$9AE30FFB-F446-4D8D-84CB-43857F900A47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e5d0980108b85833a1cc2fb9475ce7f0c13e5cb","datavalue":{"value":"6607293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741578$16A9174E-499B-4CEF-87B6-0B973121BE5C","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":"Q5741578$3DCD3660-C524-48E3-9F46-36CAE0CC9941","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5f5535d1ca735583a73bca94d101c673b2b5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3119165,"id":"Q3119165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$4D5F785C-8A2F-4108-8462-A2065060D62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81197bcd468bcac12d7ca64f6e8d9c1b4a403ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$B199E8AC-E4A7-479B-8823-D2EF2C40ADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$DCE5FBFD-47DF-4218-8A23-EDD17F08CF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a04d2f8c0acdd20834c288cbcb74f1ac8f272c","datavalue":{"value":{"entity-type":"item","numeric-id":4238499,"id":"Q4238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$212C56B5-771C-4334-B7B9-1E3FC235708A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59bc8e04b810d9bbe9d85930429487a772f7797","datavalue":{"value":{"entity-type":"item","numeric-id":3410686,"id":"Q3410686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$FEC836C1-CCD5-4194-BC6F-8CD391575F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$48D8FCF2-D662-4E3F-B1C4-BBFD85FD9AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$02FB2C5D-722D-491B-833C-C6F52AAA0A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$99FAB2C4-E73E-4E4B-B3A8-5CEB6612ABE5","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":"Q5741578$851FC32D-6AE7-45A1-95F8-E99CE9976295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9042e33c189e55b07f3928f2ac2e7f97ea49f4d1","datavalue":{"value":{"entity-type":"item","numeric-id":1931305,"id":"Q1931305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$AF280B96-1B50-419C-A5AB-2731E64D089A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$BA0CF950-E846-4C09-9D18-36ADFF163747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49588fb875bd202f4ffd1fc60637cf119220c8af","datavalue":{"value":{"entity-type":"item","numeric-id":2772879,"id":"Q2772879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$C8E407EC-6A41-464E-89A2-A057933369EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7983470b9a25dab99a86338340cd3b66bf657e5","datavalue":{"value":{"entity-type":"item","numeric-id":2379932,"id":"Q2379932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$B943F43E-2754-46AF-A945-522402175DA8","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":"Q5741578$770E42B0-916D-410E-8DC3-ADD9FC80CA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$231EDCC6-1B29-41D8-BBD0-969948F76360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$9760ABE7-438E-4AB5-8B69-3E8C2E94B43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$FB1FB10B-BB59-4665-9DE9-DB9C6B356999","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":"Q5741578$673FD123-F406-41BA-854C-790AC7B03C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958a040e091661b15eedf53ec690abc9e5b16350","datavalue":{"value":{"entity-type":"item","numeric-id":1314287,"id":"Q1314287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$FB417402-62C0-43BB-AF40-BBE5760DC882","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":"Q5741578$AF9C9A8A-6F96-4003-AF90-FE23A6A35412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc97b269e7b281eb9225549094fcff1bb6bd15f2","datavalue":{"value":{"entity-type":"item","numeric-id":3225735,"id":"Q3225735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$BCAE0A36-8877-4029-BB3E-2C389D076F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3818b4a6bab319f758445977aa7d9ac254366a1","datavalue":{"value":{"entity-type":"item","numeric-id":2893323,"id":"Q2893323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$A892B76C-9C13-4A99-B9CD-5EE32B4B9D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564fcff83e1fa2bfdf07700075c5fabc53502645","datavalue":{"value":{"entity-type":"item","numeric-id":627121,"id":"Q627121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$DC54D664-E0F7-45DD-81B3-52D52BFF2CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd119e87e31dab5d2f27d539dec350b6e600c20","datavalue":{"value":{"entity-type":"item","numeric-id":844886,"id":"Q844886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$8EF16AC3-B64A-43F0-A542-1DF5220C226F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a4f301808028c0206b1a2f00cbf86a24e0633","datavalue":{"value":{"entity-type":"item","numeric-id":990084,"id":"Q990084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$B77229D8-0A93-4565-858F-10B1450A8DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$543F8D62-0B8E-45F3-8012-492BF3FDBC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ea6bceb7438f91c141dbd98a2ad103e44ba224","datavalue":{"value":{"entity-type":"item","numeric-id":1391728,"id":"Q1391728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$9E771D67-61F0-42D1-A3DB-22265C14B29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65052e69ffd5c3594dd70b3fcf84972030e57ce","datavalue":{"value":{"entity-type":"item","numeric-id":2469685,"id":"Q2469685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741578$3E6EB225-8D3A-424B-A3B7-571DDBB2F272","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"628ec9592d9b599a7198d56c7e5a296418e27c88","datavalue":{"value":"https://doi.org/10.1017/s0960129514000383","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741578$0F4CE99D-C082-4461-96C9-C3C3F822233E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f1f1509c6dc44aad67cf88320a24d666212ff17","datavalue":{"value":"W2117159510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741578$00AF3023-83D6-48FD-9614-5B2AA267E583","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":"bbef2ed283d4b043ea5381e455fff7a426da60e0","datavalue":{"value":{"amount":"+0.843736469745636","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":"Q5741578$AC6C55D4-14A8-4A60-B2D2-A58B79CAAE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738b7118edd46f105206222122669c9bd28e102f","datavalue":{"value":{"entity-type":"item","numeric-id":2826029,"id":"Q2826029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87e5d6285d7d95a5b094be4b83d17bd51563649","datavalue":{"value":{"amount":"+0.742941677570343","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":"Q5741578$E354AF16-F5B6-4286-82F3-A2037A4CB448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd18a7a80510cd2cf537bc48047d8f634b69207","datavalue":{"value":{"entity-type":"item","numeric-id":5133981,"id":"Q5133981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c87bfa0f8bafac4ef3422bcb15eec443e5835b5","datavalue":{"value":{"amount":"+0.7370474934577942","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":"Q5741578$58A85F34-2061-4ECE-AC76-F35AEAAFED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016f2e7132a797ec59ff79678ad1db1e19b2ad09","datavalue":{"value":{"entity-type":"item","numeric-id":5172130,"id":"Q5172130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8f41701568521f78f377d90c818c492038a07a","datavalue":{"value":{"amount":"+0.718651533126831","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":"Q5741578$26BC3BF5-D007-4D78-AF5B-67FE534F43FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d2a2320a9044182b64a06707cdc92100ce6b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72f5ea917a659e3a925b423ecb4781e623082ad","datavalue":{"value":{"amount":"+0.7143494486808777","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":"Q5741578$2AFE5EF6-3757-4DE3-BCF6-AADDC073455E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741578"}}}}}