{"entities":{"Q989883":{"pageid":991731,"ns":120,"title":"Item:Q989883","lastrevid":65893224,"modified":"2026-04-12T06:05:12Z","type":"item","id":"Q989883","labels":{"en":{"language":"en","value":"A new default theories compilation for MSP-entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774201"}},"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":"Q989883$638EDBEA-2CCF-42E6-9BD9-44097AB224F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc9bad1dff7e7f6cd6c1f019c4cd9c82981dd918","datavalue":{"value":{"text":"A new default theories compilation for MSP-entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989883$DCF263FC-C045-4AE2-BAF8-D880B4B6547D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43cdca2b1a47c5999f7f91178647b89b129a1130","datavalue":{"value":"1205.68416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989883$7E771CD8-C255-4CD2-A196-44CA4B48DFE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a59ff453a46cb2b2e4ff9bcb945213f1b7b870c","datavalue":{"value":{"entity-type":"item","numeric-id":208231,"id":"Q208231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$D30B6A86-2009-4F69-8CF6-9CA6F0F8BD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54b94e29f099fecacc01bdbbba34ce421e2b37b8","datavalue":{"value":{"entity-type":"item","numeric-id":989882,"id":"Q989882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$6C927E48-8F91-4C19-AA01-8E78A9B783C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9289f837cfb6a36406c570a36c86cd91a06b487d","datavalue":{"value":{"entity-type":"item","numeric-id":928685,"id":"Q928685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$ACD81E5F-88B2-43C5-90DD-8244900A27EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$91600018-BD94-4A84-B220-746F32085554","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4936617b97edd82886277b8c040a918e67418344","datavalue":{"value":{"time":"+2010-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q989883$341C2F54-E251-4BF1-9EE6-752446FEEDB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989883$9C90AC0B-9D6A-412F-BF93-063127B9571C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5925b527d5f93e96f18632e36a062f131535cf28","datavalue":{"value":"5774201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989883$13C0E65B-8211-476D-A65C-B3BC0129D485","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd67d93628f3fef046540125e9355b4bd7299bf","datavalue":{"value":"default theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q989883$B3ABD6AE-3CC3-4756-BA5C-CBD2CF28D880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84e44313d77c3d46489380e025b59be4dcaddeb","datavalue":{"value":"MSP entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q989883$D1666E7A-E210-4D84-9A77-A738A4607608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q989883$6613D14F-7BA8-4BDC-BF07-9483DF207BD8","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":"Q989883$EA03CBE8-B280-451B-8F25-28D0AF57AFAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bca4fcec65c7def35dba44f155d583a5d9bb874f","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9150-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q989883$72427D1D-10B2-40BA-8C3B-452CD50D298A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e086673373f19daaab41564f91b86f4b360e939","datavalue":{"value":"W1986349144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989883$9718D711-0960-46D8-A759-94EE4D1DA199","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4bac4b5cace7393bdb9df481ceb7d12585da70","datavalue":{"value":{"entity-type":"item","numeric-id":290226,"id":"Q290226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$FB52E690-7B88-4DE7-9595-2D373D346136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$A9E3AD7F-525A-4CD0-A449-13D39066C4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b86c7a687a5f81a183e33d980e643ced07efb4","datavalue":{"value":{"entity-type":"item","numeric-id":4784837,"id":"Q4784837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$89AEE4D0-4D15-4F7C-BF04-8A854A4263F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$6A8A4989-438F-44D2-8975-DEB07A29982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ff0d244886a54094363c55086ce9a027eb1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4039980,"id":"Q4039980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$94D09404-612C-4DE4-9B0F-8A854D40EDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$132CCF8C-A889-41FE-AE88-91344A75E9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55dc2b8e375818e9843546400006cabf788f20b","datavalue":{"value":{"entity-type":"item","numeric-id":2752126,"id":"Q2752126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$DD1F0BBD-9724-453A-996F-1CCA4E2635C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28f765cbcdc6c956e21179476774712687a4edd","datavalue":{"value":{"entity-type":"item","numeric-id":1924825,"id":"Q1924825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$9EB19409-9305-4B8B-B7A3-6FA70F353F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$08F8E841-995B-4588-8EAB-672F3A0BC485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae4aac970a732d93be7e5200537d2d253ee6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4246972,"id":"Q4246972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$AC65F7D4-ABB5-4F0E-ADDB-CC4BCAB07CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5e87837189e35a898d6440a502052dbfef3ca9","datavalue":{"value":{"entity-type":"item","numeric-id":1589575,"id":"Q1589575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$BBB03C61-27F3-4E3E-8E95-99EE4550E77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$B3DCEFCA-1683-410F-A347-7972AF95CA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2a2e1ee7d928d5814d6485249a214dc2438187","datavalue":{"value":{"entity-type":"item","numeric-id":4236365,"id":"Q4236365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$C7ACB929-39DD-46D4-807B-FCA0577EDA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$7F422A69-4CE6-4D47-9819-CA6A94FF8C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$2AF4C5DE-CBCE-4ABA-9040-F60FDC5D5E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2866acd2b1d809172472158fe3bbeec042884a","datavalue":{"value":{"entity-type":"item","numeric-id":1311771,"id":"Q1311771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$C283AE64-BD3C-4475-A301-13E973B56020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989883$EE0663D4-25ED-491B-B782-F4EC3A8A1030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00ea296dd67d560ff1a3d1b0139a07467427985d","datavalue":{"value":"10.1007/S10817-009-9150-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989883$CC5D8399-BCFE-4BEE-B551-C96B62656163","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0585d988e103b0d436a0583e50100b7833a36a","datavalue":{"value":{"entity-type":"item","numeric-id":989161,"id":"Q989161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4334414a5f758f0b7963d152c734e5464c4b7b2","datavalue":{"value":{"amount":"+0.7504169344902039","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":"Q989883$734EED24-B460-4198-BD98-B99FCE1CDF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56d80065de018927d92f88dc2d33a624856aee2","datavalue":{"value":{"entity-type":"item","numeric-id":2171265,"id":"Q2171265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691753adda81d0af08578314d7461aa107cfd5b7","datavalue":{"value":{"amount":"+0.7339242696762085","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":"Q989883$D3EF7B70-1105-4B26-A9D6-78B2F8415A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fa22dc03671a08f1ec67f368f403bc8c5ec86d","datavalue":{"value":{"entity-type":"item","numeric-id":1402752,"id":"Q1402752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92dd6df40f6c27bf844272d17d960fb34f7bb8c8","datavalue":{"value":{"amount":"+0.7330884337425232","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":"Q989883$F3634966-A489-486A-AFC8-BA916B0DA0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47d9a0bc9d4dca39458fdcbde02a0c28ddc16f8","datavalue":{"value":{"entity-type":"item","numeric-id":4934647,"id":"Q4934647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9064911eab6d33a9cfa0fd5c2d47ccdf2041c82b","datavalue":{"value":{"amount":"+0.7278777956962585","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":"Q989883$87AA9F3E-82AD-45AC-A149-AED0FD25CC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d747c4bd359446148af3ac4a6b1196f1eaaef0bc","datavalue":{"value":{"entity-type":"item","numeric-id":3638184,"id":"Q3638184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087173e7a699542ae833c96f2866429a25903376","datavalue":{"value":{"amount":"+0.7262417674064636","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":"Q989883$2EA549DA-FF97-4E07-B875-ECBD9E2D95D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new default theories compilation for MSP-entailment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_default_theories_compilation_for_MSP-entailment"}}}}}