{"entities":{"Q6876456":{"pageid":20755309,"ns":120,"title":"Item:Q6876456","lastrevid":84222371,"modified":"2026-05-13T19:04:59Z","type":"item","id":"Q6876456","labels":{"en":{"language":"en","value":"On tame semantics for interpretability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8143426"}},"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":"Q6876456$1134B831-45E2-422F-9E7D-E2F3ADEAF483","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"282f2436538a912e90d4b2b41251653943ca1440","datavalue":{"value":{"text":"On tame semantics for interpretability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6876456$0C39D320-E543-47F0-A4E9-ECDF830E8730","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ee6ae339e5bee15dfc7c3bf0c78f80682d3cfa9","datavalue":{"value":"10.1007/978-3-031-99536-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876456$923880F1-D24D-44D4-904A-0F778398127F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9482e3dcffff24781c78573cbba9e14246fe8b24","datavalue":{"value":{"entity-type":"item","numeric-id":6876455,"id":"Q6876455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$BD292945-F6DE-4005-8E73-6A7EF231AEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$AC162098-5AB9-4357-B136-1EC2E0FF7A71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bcfe5adbf168f11f3f3c3a2d1a42324d7ae0f31","datavalue":{"value":{"time":"+2026-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6876456$99AEBD8F-3596-4B32-BF91-496F945A0C09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876456$F3D2FA76-4B0E-49CE-AEFF-C7FE19E4FA19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64fca66d71183fa1eeb5c0172a42de7e7cfeb7a3","datavalue":{"value":"8143426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876456$E16C20F4-5AFB-4772-975E-ED9E0B9B3559","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bedcceade666c287d7dd02a747235c159d9032","datavalue":{"value":"interpretabilty logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6876456$FF979027-AF13-46BA-BB20-C97E42870804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6876456$AAC3CB89-2CC1-4FD1-B945-35E2DF1D8126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6876456$3B7B80BF-73F3-4B06-A619-A3021A70FCC6","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":"Q6876456$F17E0063-8283-4B4B-916B-DFB1951955B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$9BEC7366-4C21-4071-9574-5CD6578D5C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4bc278cb5e96147dc966e7c550696cf29f4d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035648,"id":"Q1035648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$AFDED145-439F-4EFA-BC44-6ABABD1B239C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$4C6A606F-9F6B-4B3A-B0C8-555110B02AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585d065988c6214e0f76055e2b290cf6fba65e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3081234,"id":"Q3081234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$423D5DD0-1201-4C1D-A11D-77AFCB8DD505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc62bf28b7b8035e82e8a001ff7f1acf8a649636","datavalue":{"value":{"entity-type":"item","numeric-id":5107215,"id":"Q5107215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$049DA02E-F89D-4F50-8F64-CA541146E15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2eabd3062c1ff3ceaead59b8eeae3c8424d7c42","datavalue":{"value":{"entity-type":"item","numeric-id":1176096,"id":"Q1176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$555B3FFD-6823-461B-8D19-EE6C0F5443F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f63e7c1bb274eb5fc4dbf75d421f9b5de542e6","datavalue":{"value":{"entity-type":"item","numeric-id":1840999,"id":"Q1840999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$26417444-6F0B-4821-95A1-484EE8C2F4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0855356581dbf1039a1a2b6f72ce0c7162ba361a","datavalue":{"value":{"entity-type":"item","numeric-id":5095629,"id":"Q5095629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$E174B796-391E-41E6-8B86-CBF2B4A4C201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$D1CB03BA-998E-40F5-8471-141A02E5828E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$F4754538-449B-4E1A-8D99-B58A12D84413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$4D700587-4A03-4620-924E-4BD605AF28E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95deacdc83850e4eea62168b54695c9a653ceea4","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$FB43463F-CA96-40F2-A677-CA546B7074B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$A02B3923-760E-46B3-B4C7-FBC0C2AEA80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d2950fe8b654a69f7c95b954c20f4f11e3fe0b","datavalue":{"value":{"entity-type":"item","numeric-id":3061279,"id":"Q3061279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876456$37DE5E09-47FF-4085-9160-80D8EEC9F27C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On tame semantics for interpretability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_tame_semantics_for_interpretability_logic"}}}}}