{"entities":{"Q3455773":{"pageid":5235173,"ns":120,"title":"Item:Q3455773","lastrevid":80691296,"modified":"2026-05-06T16:46:54Z","type":"item","id":"Q3455773","labels":{"en":{"language":"en","value":"Realization theorems for justification logics: full modularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519945"}},"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":"Q3455773$131DA59C-A641-437F-AF42-4340C0D49508","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d3208c30a947f72a62ef442fbc29cecfe1d464c","datavalue":{"value":{"text":"Realization Theorems for Justification Logics: Full Modularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455773$183631CA-D8D2-4BF9-A5EE-C6789BA5DBDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b936fafb3c0f7c87692873be10bcea29238404e","datavalue":{"value":"1471.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455773$DA42557C-2A4C-4C03-99A3-F101F422C1A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e08c7117f9489f556e6dccc0819b9a4eddcd5afe","datavalue":{"value":"10.1007/978-3-319-24312-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455773$A6B69108-EE0D-416E-B5A9-235C14B64FCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e2776cfc887201f29c53f54fa92c07fd22b8483","datavalue":{"value":{"entity-type":"item","numeric-id":1679776,"id":"Q1679776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$267F3AE3-9BE9-4B15-9112-906B35D9AFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$6452B13E-4413-49C6-AB46-EC0ADB7397FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$F570DDF5-7F5F-4FC9-8642-7F555FDCA117","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455773$6770234E-C842-4CA2-AE97-37B15D994B92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455773$8ADC72CB-F8F3-44C2-BD41-A63FCE63834F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455773$6778CC2B-C319-4299-A87E-D561B10D91CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4ae4bf4721ec208548cc5e5e1294632b06e52b2","datavalue":{"value":"6519945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455773$B3A89E2D-090D-4B79-8D6F-C8552A8F1070","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":"Q3455773$E7E0162C-4F2D-4574-A8A7-16FBD41D9F7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05a2afaf110fa7ab1f8ea758007ad3ea9de3c212","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24312-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455773$3377EE9F-D72E-491C-8E58-824062F0C96D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fd7b0c0007e9aa0a2bc639852d122435e356c91","datavalue":{"value":"W2247407447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455773$21C003AC-8DB0-4CBE-B8AA-BC41EA24C78C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a88a851a9bafb5a87194b06345f61c65943de5","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$8540D986-11B3-4486-BCEE-99678E9731D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$23B4478A-2BD2-4C8E-83DA-E2D29153108E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd4bc953f527eefb1cc8a55dc47f07985f7ef44","datavalue":{"value":{"entity-type":"item","numeric-id":2500480,"id":"Q2500480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$31CF79F7-DF14-413F-87D9-3DCABA4AB007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$52A809CF-E281-4FDE-A70B-7D6EA495D05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5415f5e6ad4c442227cdc8e92e9c56f89ab351f3","datavalue":{"value":{"entity-type":"item","numeric-id":2453578,"id":"Q2453578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$0E8B62D3-5BDD-409E-A449-C0D73322BDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$AC28A1D1-753B-49B5-A9A6-9E9C3CC4226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7c19b9441ba399a39ff250e40b5d29fd1c3d5c","datavalue":{"value":{"entity-type":"item","numeric-id":636276,"id":"Q636276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$3FCF7188-2037-41B2-834E-F2310B8E2905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28abe87ad127f57504b7413593a90658cd7e5ce","datavalue":{"value":{"entity-type":"item","numeric-id":2804327,"id":"Q2804327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$98FBFE39-82FC-4DB5-B710-9C0C51DD831B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50ba61db66a00c67216430e624de9dd1ef188a6","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$3A3AC2C0-D974-4524-BF5E-12ABCBD955DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cfa94eea956d33ac288ccb0c350492b183e589","datavalue":{"value":{"entity-type":"item","numeric-id":487689,"id":"Q487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$254B2295-2442-4AAB-BBF8-B5246C281323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$F1290501-09BE-4AFE-8D8B-5963BEB77EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb918ec41763146dcf435966b2e1f08f3f5225c8","datavalue":{"value":{"entity-type":"item","numeric-id":435202,"id":"Q435202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$65DE098F-889A-423A-A5E7-B0832F70EDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$A4B86496-DA93-474B-BF10-7F47CA270372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c89eda5434976b3e0758b018c264cd9d344921b","datavalue":{"value":{"entity-type":"item","numeric-id":987374,"id":"Q987374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$916A1E17-13F9-47A0-9E4C-9A30E27C5131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f6bff68c8ebf66dfda0b239fbc2871c6c95c89","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$5D537CE5-8592-4C03-8123-66846902350F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f0e2e9eb91d166a87e1c8dd441dd9c7d531d73","datavalue":{"value":{"entity-type":"item","numeric-id":3431968,"id":"Q3431968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$3F068637-B441-462B-8F8F-71DA1B304633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5861cb5aebaa788c5507ae12c6f29da39e5a7f","datavalue":{"value":{"entity-type":"item","numeric-id":392298,"id":"Q392298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455773$1E2EB25E-2427-4310-A986-34F1B16D2CF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2531406e3155dff98348c617f86a83978b1d3e","datavalue":{"value":{"entity-type":"item","numeric-id":435202,"id":"Q435202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8926a3427c8211ba713f74a74acb689a918180b6","datavalue":{"value":{"amount":"+0.9040286540985109","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":"Q3455773$01B46791-628D-47F5-8DED-D3DA7781CFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5646299774de4ddc4302c0fd8a64fd9710fe67d","datavalue":{"value":{"entity-type":"item","numeric-id":286591,"id":"Q286591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39230da8b8702e981ca0ac0929a6e6520e7c39ae","datavalue":{"value":{"amount":"+0.8800039291381836","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":"Q3455773$3A2311BD-B00C-480B-A78B-1D6A5350A038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f92a32375fc167fae3d9c10aee21ad6951317b","datavalue":{"value":{"entity-type":"item","numeric-id":2904046,"id":"Q2904046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afa627b166164082f5decf074939da7e7e96857","datavalue":{"value":{"amount":"+0.874374270439148","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":"Q3455773$B1E090AE-0B5C-4FEF-B488-A6AF44B5E283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78571396feeebfe846884369ea8a5cd30bf4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5377318,"id":"Q5377318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed540d2d98f68875b20476bd153f30b0328254d","datavalue":{"value":{"amount":"+0.866911768913269","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":"Q3455773$801A6307-64A9-4EA3-9FD6-F204CF1707F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ff6608b7da2e212e876bf74689dbe24421c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2284501,"id":"Q2284501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b40a6563ceeea350c5184e7620b06e3434a12b0","datavalue":{"value":{"amount":"+0.8475302457809448","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":"Q3455773$672DDA29-6374-42F2-AE9F-21C35F374C86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realization theorems for justification logics: full modularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realization_theorems_for_justification_logics:_full_modularity"}}}}}