{"entities":{"Q5213663":{"pageid":7243233,"ns":120,"title":"Item:Q5213663","lastrevid":41176364,"modified":"2025-04-18T17:37:08Z","type":"item","id":"Q5213663","labels":{"en":{"language":"en","value":"The Minimal System of Justification Logic with Names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162561"}},"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":"Q5213663$FFAD1A95-156A-4D58-9B6A-6AB7D07928D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e16fb1edd6553cafe9caf47f7bf145186e7a5ba","datavalue":{"value":{"text":"The Minimal System of Justification Logic with Names","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213663$BF86068E-51E9-4C99-BE1B-98B3460048E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef4d29cd26414eed7e863808ba4b7647e563d2bc","datavalue":{"value":"1429.03123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213663$7971EB2B-3987-4E24-AC9B-D81AAA9C0FD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df0c79ed2fade1132051631fed2b105ca631eca2","datavalue":{"value":"10.1007/978-3-662-47197-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213663$F5D56391-9601-422C-9A2F-4C688DCEE89A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c417f707fafcc1de141dc994b739b1089b96b094","datavalue":{"value":{"entity-type":"item","numeric-id":220552,"id":"Q220552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$F0515353-3853-4DF4-B7BA-BDF8A13EDC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bf3bca7ec5adf8a9be13cb8b3806fd9a00957b0","datavalue":{"value":{"entity-type":"item","numeric-id":2671617,"id":"Q2671617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$72CA903F-C282-437F-9F86-684482314F15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99c1f085817a576a9d15f9072ae9e81f9d8326df","datavalue":{"value":{"entity-type":"item","numeric-id":5213650,"id":"Q5213650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$A8A12E14-C133-40CC-B30B-231E5B6BF4E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213663$68C732A4-85A9-41A4-AA8A-0D9F332FB874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213663$F33AB2E0-C7CA-4308-9670-4D0735F99F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213663$6F33EC9F-0772-414E-8E8D-86C51F1B1A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213663$E92D430D-F398-4E02-99F7-F37C15449CB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"058a50b0d5dad08a2ecea16df0920936c8b4cc85","datavalue":{"value":"7162561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213663$E04C2A8A-0264-4FC7-845B-20BEC0C17137","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213663$4B659008-1E3D-4804-877A-86E98CAC6788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213663$3C4B456B-0D81-44C0-AB36-C304E5D00925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4249b6c9e5e788f8a8dc75aa9740c3a2d360b078","datavalue":{"value":"constant specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213663$BE02B5D2-3417-4898-9290-529CBA501E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213663$A7DEC3A1-2F2D-4A6F-988B-AAA1058A86F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce5188f425deee14f69c8020abea96d0ca3336e","datavalue":{"value":"propositional letter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213663$2B72971B-7DA9-4BE1-82FE-F75C989C5881","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":"Q5213663$38523E98-71DA-45A3-AFEB-C14719119190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"938591872d87c1662492ffd3a4ecd9fa2ff56032","datavalue":{"value":"https://doi.org/10.1007/978-3-662-47197-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213663$8A3238A8-6535-42A2-96F2-F72AF20FEE82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b46ebf31aab2dc2c4de4eefbd560461523112b58","datavalue":{"value":"W2228148591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213663$FAF27A84-D079-4B8F-8C30-9A871DB1BE09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$53BEE202-76EC-49CE-A0C7-405F3E097A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$D84012EB-7102-4D5A-A440-44E53116230E","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":"Q5213663$986B94A0-4151-4D0F-B3F3-5EE79C35E7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$C05E1CF3-F8F9-488C-A7C7-B0E9B8CAA2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$3ED3D5ED-F1B9-474C-A261-C0CCF8E63698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$8EFB86E7-F788-4174-809F-1AC6ADD34BB1","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":"Q5213663$0BF00B37-802F-4EF8-BA7F-BE7C14F27528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58e7489ba66b2a9b4b8426a0c5c2034219ba985","datavalue":{"value":{"entity-type":"item","numeric-id":1028642,"id":"Q1028642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$43EA2EF2-CCA8-4E3E-AE8D-C824B786985A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04b694d0d5d5a972bbca1c455f8adf72cd5469a","datavalue":{"value":{"entity-type":"item","numeric-id":631081,"id":"Q631081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$AF6D9705-B9C4-4E1C-9097-CCB33035D412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0025c5170541468307891ff3f9d6ad65434d77","datavalue":{"value":{"entity-type":"item","numeric-id":4754492,"id":"Q4754492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$73312F51-0A19-4718-8ADF-34EBD0315851","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":"Q5213663$5E9A9713-02BE-4F3B-A5ED-45BBED68833D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$328DEDFB-2414-4F50-84F7-5ADEC5083AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568e0b625bf9e7e2f1c37f98764cb60ef3c45153","datavalue":{"value":{"entity-type":"item","numeric-id":3113787,"id":"Q3113787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213663$D532C698-D5B5-47EC-A867-E9CCFA1C19DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3ab3e475b5a15da18b3313bbcceef5ebe26cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133f7feca985c863697ac5d471345245e2a2a59a","datavalue":{"value":{"amount":"+0.8612876","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":"Q5213663$6588F009-3E5B-4183-9707-170A33B7AA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4ba774217a055da3183b64d18628f6abb810f8","datavalue":{"value":{"entity-type":"item","numeric-id":1756600,"id":"Q1756600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f1b52494426365d85b27e61520dde9da9f6a7a","datavalue":{"value":{"amount":"+0.8518513","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":"Q5213663$302DC45D-D7AF-4C55-AF79-547F4C89D3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651269b00fc0970c16638c361dc742919c1e9029","datavalue":{"value":{"entity-type":"item","numeric-id":5499603,"id":"Q5499603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2374a049895aa7386f76e85bfaf8f7cd3915593","datavalue":{"value":{"amount":"+0.8502454","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":"Q5213663$A516ACDD-242D-438D-87AF-E0DEC6A9B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f28e2d02ab087a15eeab9d44d3fc525bc0116d3","datavalue":{"value":{"entity-type":"item","numeric-id":4333475,"id":"Q4333475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98ef369d8e6d5cce4d6eb47be7ade94b4ed90b0","datavalue":{"value":{"amount":"+0.8379421","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":"Q5213663$433A13AB-4757-45B2-AA14-39D74358C5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf64481df7495045fe2559470e597cfe00883ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4994684,"id":"Q4994684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c7f3c07c246a44b0cd405b351ceba595e448de","datavalue":{"value":{"amount":"+0.8309189","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":"Q5213663$FD2762C2-6714-45CB-991A-967145F427D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a6fc673db31fc3c5d3f04559a73e41597c492e","datavalue":{"value":{"entity-type":"item","numeric-id":3033741,"id":"Q3033741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c51fc3a3d833b863d4849252c6b6a8de3e6148c","datavalue":{"value":{"amount":"+0.83078456","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":"Q5213663$DDC2B809-5455-43F3-92F3-E61799183C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c4cf90f1109ffbd89ed81c0549b2aa2917178b","datavalue":{"value":{"entity-type":"item","numeric-id":606053,"id":"Q606053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035a9396095b4dfd054e430266dc33d22582eebc","datavalue":{"value":{"amount":"+0.82916397","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":"Q5213663$21292FF2-663D-4489-AAFF-BF08891D332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a43c60f97f1852f2810fef1b34e98a0fbf293b0","datavalue":{"value":{"entity-type":"item","numeric-id":5411493,"id":"Q5411493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a28383f0ab7094710abcad35e0ba1c83f8ebe74","datavalue":{"value":{"amount":"+0.8282329","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":"Q5213663$7C018A10-9EB0-4DFB-8F8C-23BE536144EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4d1aa87dbe96db98ca7d8ca9933b5c2d17eee8","datavalue":{"value":{"entity-type":"item","numeric-id":1903587,"id":"Q1903587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9209ce68bafc5b457c9b6d258b272d3ff1ce3ed4","datavalue":{"value":{"amount":"+0.8268101","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":"Q5213663$29773998-840F-46A1-8044-DCD30CFF325F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97069f0d663b6e96faef729226fd9327ab499099","datavalue":{"value":{"entity-type":"item","numeric-id":4781214,"id":"Q4781214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6adb67b0c4e1e698511be26f0e01aa6571dae27b","datavalue":{"value":{"amount":"+0.8235799","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":"Q5213663$94CAE93B-43D3-48E1-93A4-7E0C70E17220","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213663"}}}}}