{"entities":{"Q3643317":{"pageid":5673223,"ns":120,"title":"Item:Q3643317","lastrevid":50812889,"modified":"2026-01-15T06:47:51Z","type":"item","id":"Q3643317","labels":{"en":{"language":"en","value":"Decidability: theorems and admissible rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629349"}},"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":"Q3643317$ED58A188-45EE-49C7-A8FC-0D614E35B9AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"168d55e749ab13704b267ff587aca94c81c037f6","datavalue":{"value":{"text":"Decidability: theorems and admissible rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643317$DFA2AC11-DAC7-4EE6-BB31-EEF1BB348DF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"949a6710784bba4f4a3c38f0d0383146b390477e","datavalue":{"value":"1181.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643317$4DD2C2D2-8226-4F21-8E4C-CDB421F674FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$52CB7BA1-9624-4546-975F-23BDDC7D683C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-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":"Q3643317$3C3496B1-6A30-4BF1-8B85-0750CE476742","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643317$B2CD7724-1D9B-42E6-97C3-7179DF01F897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643317$30D8C3D7-19E7-4B3F-86E6-891A79E094F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643317$D4DE7615-DD15-4D7A-9692-C58B626B40BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6991e2c3c902eea6d7e7ed82f10e2f941013bbd4","datavalue":{"value":"5629349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643317$5639A165-DE52-42D1-8690-71081037478E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643317$6BDC7BA8-B61A-46E1-8B61-C8A78F5D0422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5448aec3a6cd070e7e192935265c701de35c205","datavalue":{"value":"multi-modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643317$B34DE726-3780-4F20-8985-E24D0402C8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643317$135DDFD7-CD46-455E-B76F-5864022302D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ad764b808bcab9b36581fedf448d135ce7d299","datavalue":{"value":"logics with universal modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643317$8700613C-51DE-4313-984E-5E80AA52AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643317$3BE55E42-AE9C-4188-B13A-EEA2A783886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643317$917C63BF-DED7-4DC2-80D6-57A58EAF3102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643317$995540B7-EC2C-4BFA-98D2-49FBF68BB15C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$56B58B2D-4F8B-43CF-9A45-AD3BBCDFE1E2","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":"Q3643317$20D3EF5B-7A51-49B3-9C96-4FD60C1E6C34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb2e1a16d276021decb43259fdfa421bd47c39d1","datavalue":{"value":"https://doi.org/10.3166/jancl.18.293-308","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643317$6BE62261-0C4A-4E56-A176-BD70DCAC1998","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c303d709acfe865ace0074aefda2cdcb69fa2df","datavalue":{"value":"W2050450965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643317$91C46A98-DB9D-4FC7-A7AD-9AA92EE336C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$08042B4C-6755-48BA-B888-065BD702F2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc508e038c37cae9f692c5cb481b7b344573ab7b","datavalue":{"value":{"entity-type":"item","numeric-id":598299,"id":"Q598299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$6DEC8A21-B24F-4FCC-BA8E-F034D9839269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$83602B51-4167-42B2-93E5-02D25D16A98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b3855c763f1bab453e9881e7e67219e28855","datavalue":{"value":{"entity-type":"item","numeric-id":1422628,"id":"Q1422628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$6BA4A0C7-D948-4796-AC33-F5A494D43A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$BD58AFAE-C0F3-43E4-9C62-8AFF07F1CAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18921320e1144e474af45da1a47190c9b9bad05","datavalue":{"value":{"entity-type":"item","numeric-id":598197,"id":"Q598197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$BC798BD4-F397-445B-A935-83BF5594093F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd83c2edaf0d75e016ed7b02b9fc228c8c72b04","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$8497828F-5979-477C-9222-83FA6931D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba236a8376cd4ee56b3c550e2f3343b551e3003","datavalue":{"value":{"entity-type":"item","numeric-id":3374097,"id":"Q3374097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$2D35AE56-65DE-448E-9EA2-486E7B0301FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b2c29da6a19e8e7df88f942078742c98cab3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3434706,"id":"Q3434706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$6107F9B7-3367-4713-B584-D16D6DE3859B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f056d135c98edf9a27b71e24a51d1d589ffa40c","datavalue":{"value":{"entity-type":"item","numeric-id":929294,"id":"Q929294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$33C7D5C9-22B7-499D-86F1-226356568C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a46ead12fdf741b8fede0645c88e84f3e7e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$478E7E40-BC39-4633-A8F9-33812E5B26AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e37aff6d09f77806eaef869ea5522da2b95e51","datavalue":{"value":{"entity-type":"item","numeric-id":702100,"id":"Q702100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$36C7186E-0BF7-459E-9E2B-C753B8A0DCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a368ac3b97caba026d61d63673b66abca6c290","datavalue":{"value":{"entity-type":"item","numeric-id":1837679,"id":"Q1837679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643317$17416347-90AD-4346-BB6F-0754A2200A24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48260d4370601d9e7a452ac4bea4e6f84b2162ef","datavalue":{"value":"10.3166/JANCL.18.293-308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643317$54C7FD18-318B-47C2-9373-CFA6D3C3DC0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2866fa1432cb74df3582247cf73183c74019884","datavalue":{"value":{"entity-type":"item","numeric-id":4966050,"id":"Q4966050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3016c33b60d1a7771d9186e38522e6e08782008","datavalue":{"value":{"amount":"+0.8295626044273376","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":"Q3643317$8D5BA0BD-5082-4FC4-9DDE-DE79F3E7705D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba5470fe92f1ade869a5eab83c290d577d1c342","datavalue":{"value":{"entity-type":"item","numeric-id":3656763,"id":"Q3656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a096dcd6662777fcd44bccedc43ddba3f447dff","datavalue":{"value":{"amount":"+0.8276203870773315","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":"Q3643317$8EF08B75-0750-4229-9CC7-2D8E40DD092C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391921a0366d3a2fb7bcc99ae2abdd2da4be13c","datavalue":{"value":{"entity-type":"item","numeric-id":2213922,"id":"Q2213922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02776a41157bb73ee356445c57c17c197046976","datavalue":{"value":{"amount":"+0.8240498900413513","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":"Q3643317$13A443D1-7148-45A8-9AE7-E2DF7EADD618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a03e0db93fbe38b3179b1de93a98517f567463","datavalue":{"value":{"entity-type":"item","numeric-id":2030777,"id":"Q2030777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927e3a20d33f2704a71d3a2b64100df7604f4968","datavalue":{"value":{"amount":"+0.8001918196678162","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":"Q3643317$DC19241F-7885-493F-A6FA-9BD56628EC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6862f4935e43b77553650db91c3dd0e96ecf72a","datavalue":{"value":{"entity-type":"item","numeric-id":3013073,"id":"Q3013073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a7270b5066ed8052a76ac2bf3698dd4658fdf0","datavalue":{"value":{"amount":"+0.7990583181381226","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":"Q3643317$9DDD1C06-F84A-42AC-BEB8-DB020587EB7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643317"}}}}}