{"entities":{"Q4779583":{"pageid":6809163,"ns":120,"title":"Item:Q4779583","lastrevid":74479113,"modified":"2026-04-14T22:48:13Z","type":"item","id":"Q4779583","labels":{"en":{"language":"en","value":"Description of Modal Logics Inheriting Admissible Rules for K4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836032"}},"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":"Q4779583$FE10C9FC-50ED-407E-B1F3-57B65ECBDBF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"005b39e6ea082bb37bf337ab4d429bec7f4ae145","datavalue":{"value":{"text":"Description of Modal Logics Inheriting Admissible Rules for K4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779583$CFBB5C07-9D3D-4382-BA36-B8EC878B3EDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3815500b4277c3cd422f10b3a8d7afb3fe165512","datavalue":{"value":"1008.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779583$B69091D5-BEB5-47E0-ACE2-DFB90A9517C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf7abcc912caa8b9054fccd0320e564c2a8225","datavalue":{"value":{"entity-type":"item","numeric-id":831217,"id":"Q831217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779583$E6B887D9-DB2C-4D20-AB35-33003F8146B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41f50e6d48cb83c0777ccfeab26a53b6ee6f8dc2","datavalue":{"value":{"time":"+2002-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779583$A94ABAA2-1A85-4FC1-AEC1-2581CB55F36D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779583$F4BF7D68-AAE3-4FFD-BDA5-2895A94B3F44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ce89204913ea4a1c604c0f180138cb9fec79941","datavalue":{"value":"1836032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779583$AD484F07-355D-44E6-96C2-779DD259E208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779583$C82A657B-1D55-4608-A2F1-AA99002DEF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779583$CF770906-A411-4610-9669-CD94FA735785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779583$776AF6CC-4215-4E6E-811D-CAB47FF5F254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6594d44baf4786e89227cc86f28e5ec07efcd4d1","datavalue":{"value":"admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779583$B5338DFF-3006-4CD6-A730-501C00B8C361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05599839002fbf75e8d2d738747ba012b8b0d2d8","datavalue":{"value":"co-cover property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779583$AC347643-9D2E-4707-9C7F-38AD21A5D9F3","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":"Q4779583$BEB02983-C860-41AF-A0F0-3EEDFC0DB9F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"321840214fc2b98b7d8cb623eddf33f44860ed28","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.4.401","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779583$1AF62DC8-FFDD-43F3-84C1-35688F68E45E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fb1601fa73402d32804548b43b839883627a416","datavalue":{"value":"W2006135801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779583$6B55B611-FA13-4973-9895-CC2C2052D71F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3f8b8d963e6b2b758dbea973a231f3bb9a8c409a","datavalue":{"value":"Q125968577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779583$CBB3B57A-733F-4CAB-B71A-5093E14746C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"437cff3821bd7801b5d7a068a1e1fc7ff5335ff1","datavalue":{"value":"10.1093/JIGPAL/10.4.401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779583$DDA81C01-9479-456D-865A-2715A8AB8217","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779583$46FFFEF4-B10B-4E24-9329-D7F4A4AF07E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe202942da2f3e0a3b9235dbd2db5ed8da9a148","datavalue":{"value":{"entity-type":"item","numeric-id":4934059,"id":"Q4934059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce7ec03c3c1a3e1ff22e60778486277137476be","datavalue":{"value":{"amount":"+0.9032352566719056","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":"Q4779583$B85B0BE9-58AA-40C4-B748-BBEBB433EDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226cea8229a862e4620c9b751780d637e34a618b","datavalue":{"value":{"entity-type":"item","numeric-id":4795519,"id":"Q4795519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bb0ac6ed952dd211de978afcab5f2a10b06068","datavalue":{"value":{"amount":"+0.8712559938430786","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":"Q4779583$6AD01EF5-3C90-47D6-A06B-3FA1FEA9CA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9a9d4f6f051b75a3f95fe24151476f23170119","datavalue":{"value":{"entity-type":"item","numeric-id":4501160,"id":"Q4501160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414f20bef0b95e51b33c8a2eec938d9e4646f7ac","datavalue":{"value":{"amount":"+0.8455783724784851","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":"Q4779583$76A8B8F1-11AC-4D25-B0BD-98CA3850560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf69cf4fb39601fe241cf1006639573bc0b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":4474863,"id":"Q4474863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03d021d4bf256a81a9e226bcc6f8bb7ba9faacc","datavalue":{"value":{"amount":"+0.8401699066162109","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":"Q4779583$37A8151F-5474-4307-93A7-37248DE8DDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff3fa5c8579d43439885398677ff29d3dac4653","datavalue":{"value":{"entity-type":"item","numeric-id":823963,"id":"Q823963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7324c2d57fd3380ea8c2b27cde9b5970ddc675a","datavalue":{"value":{"amount":"+0.8394596576690674","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":"Q4779583$E7B556FB-BF4F-4428-89D8-F49D817E0E49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Description of Modal Logics Inheriting Admissible Rules for K4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Description_of_Modal_Logics_Inheriting_Admissible_Rules_for_K4"}}}}}