{"entities":{"Q6043885":{"pageid":13178041,"ns":120,"title":"Item:Q6043885","lastrevid":39668157,"modified":"2024-12-30T16:57:23Z","type":"item","id":"Q6043885","labels":{"en":{"language":"en","value":"Explicit basis for admissible rules in \\(K\\)-saturated tabular logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7688763"}},"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":"Q6043885$FCAAC1C2-0A67-4A99-8342-5F7B626D42E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30958f7709bc71e76f3f95edc560634673a612c4","datavalue":{"value":{"text":"Explicit basis for admissible rules in \\(K\\)-saturated tabular logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6043885$2E4B2BD1-1EE8-4ABD-988B-E356FD599C7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de6b3cf97c223289899e3fcdc109dfb20b293049","datavalue":{"value":{"entity-type":"item","numeric-id":823962,"id":"Q823962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$FA0633EF-2BB3-4C0E-BA22-04E20EF4FB10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$EB071F30-97F7-4AAD-A362-8C88FA75F7EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d19351ee0a72bac1348989cc848026a8c1001041","datavalue":{"value":{"time":"+2023-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6043885$41AAB07D-0ECA-46B9-91AE-4303F4B81E41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043885$D3C0ECF4-4311-44CE-9B1C-908FCABAE39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043885$35DDAE6E-6108-4CC8-B895-C1E1C0D48020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043885$A022B4A6-4F79-4AE5-8362-5BA9FC5944CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1a400ce8bd0b5ab0d341eb8794929d230c9eb06","datavalue":{"value":"7688763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043885$FC20375E-B5CC-4FA2-8DEB-C2101061BF36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01ff769037f0e3796bfdbb96fcd2a0b30afbb458","datavalue":{"value":"Kripke frame (model)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6043885$44B81F2B-8262-4C49-9614-5262F2B4A63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf532abd57dc8f8a321cfaf4e769da8decc72c9","datavalue":{"value":"admissible inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6043885$4B642D98-C563-4C9B-9826-8B0C7C227F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa5d7fb32d9daeef87e72efd2b2e7476dcf8cc","datavalue":{"value":"basis admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6043885$8EF30CE8-7A14-48CE-8E80-9AE1D8EF7342","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":"Q6043885$C6C7A799-9873-41F0-AFC6-E702E8B9FA69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2aab3507a384da26959f420561e7b982ee038c6b","datavalue":{"value":"https://doi.org/10.1515/dma-2023-0011","type":"string"},"datatype":"url"},"type":"statement","id":"Q6043885$2AC2846F-803C-4B68-9E76-00D75D0A4C3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"111fd471a613ba05ac7b268ea6890c264b9998f0","datavalue":{"value":"W4363673393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043885$B9BDDE5E-6760-4F14-A59B-00F7DD79C8EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$6B5D53A4-A465-4528-8073-239CC351D9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$E0CB6587-714D-46E4-9709-9D06B48F6C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$239BD304-C770-4DF6-A6BB-DF4582470E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$6DBA82AF-1F93-47EC-A4A2-FD0D30807F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335e81d28f33bd9edecdb7dbc39fa0d0a99b14fb","datavalue":{"value":{"entity-type":"item","numeric-id":2709317,"id":"Q2709317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$DA11B43C-E64C-40B7-B7F7-E07BCF080B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52351aea47e5183940659ab0793c7beae5ea5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":431663,"id":"Q431663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$13F72DE3-CB03-4121-834A-8756C2154848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fcc715dc4bf2b6ae0e2ca3a8eefbcfd1026221","datavalue":{"value":{"entity-type":"item","numeric-id":4936643,"id":"Q4936643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$78F9E820-2FB5-4DD3-839E-172A236CA3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c19b4ff099f9d09133ae256fc2655f882fe9f62","datavalue":{"value":{"entity-type":"item","numeric-id":890977,"id":"Q890977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$C0E7B95D-166F-4706-8672-301A2B9C44D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537f4ab2db49bf4e0322f98aa67e1484b80a8d87","datavalue":{"value":{"entity-type":"item","numeric-id":4487248,"id":"Q4487248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$7BE3CA78-5309-4D1C-9F2F-56D98705C27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$6854EF0E-AA68-4FF7-9971-EFAF93F36B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1efaad4e5b894c7dcab221b7b76136560b6eec0","datavalue":{"value":{"entity-type":"item","numeric-id":2765566,"id":"Q2765566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$7E90D0F8-D650-4A0C-8F68-934531603938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b81f791d77531b46e51876c1062ac7aeae1773f","datavalue":{"value":{"entity-type":"item","numeric-id":4966006,"id":"Q4966006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$215742E2-EE3B-4132-A7D2-61AE27ED2239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6a661c2080233a2ef54e07a10037e82f3f7250","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6043885$62578D8B-0AB5-427F-98AF-FBDB99F3861B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc01f4a85a06dcf3ec4005255e5e0b0e03fe2253","datavalue":{"value":"10.1515/DMA-2023-0011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6043885$8434E292-5F5A-47ED-A3CD-BDF50955115C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6043885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6043885"}}}}}