{"entities":{"Q2284172":{"pageid":2294915,"ns":120,"title":"Item:Q2284172","lastrevid":43819209,"modified":"2025-11-14T18:41:36Z","type":"item","id":"Q2284172","labels":{"en":{"language":"en","value":"Unification in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150803"}},"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":"Q2284172$09187686-004E-433A-B546-652FEAD1B66E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa61e01e50f0103ada99756d7513d38e09e90a0b","datavalue":{"value":{"text":"Unification in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284172$B824145C-9976-4819-A48E-49284FDB964D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cbd9ff9c3d941ec1b2ea707e72dd23230a43381","datavalue":{"value":"10.1007/978-3-662-58771-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284172$D9BA6378-7D57-4ABC-9EDE-E24B4AFDC7F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284172$CA5192A1-B4F3-4053-A6B0-B98DF0B10B92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"945aeaf7c219820e626afa57f9ae821b0aa71dd9","datavalue":{"value":{"time":"+2020-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284172$5CCBAF4D-2C1B-456F-8CDE-10CB906F7F0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66b876558f14e366206361bcb5789831b47826a5","datavalue":{"value":"https://oatao.univ-toulouse.fr/26169/1/Balbiani_26169.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284172$FDFF2F83-CA1A-42C7-AF63-656863D7D1A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284172$2D4FAC03-5EFE-44D6-A5E0-F02661D4E35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284172$68598758-06FB-4DF1-B2BD-C38C842C5862","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95c1742e711926ad7831d766bd34595267d4f76c","datavalue":{"value":"7150803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284172$0B9674B7-2BB5-4E98-84CD-B6A710D5C90A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284172$7897CEA3-C991-4AEA-8E95-4E6DF8BA3386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284172$A9D4F8CF-9782-4439-ACDB-EDAA9E924461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f02c1186d9be951f5fb7a7b48597e82bb193a9","datavalue":{"value":"elementary unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284172$690B8526-6D1B-4FA2-943A-DF1B248E0FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95904fad2b12f87a8f065367425b446eb2f2c6f9","datavalue":{"value":"unification with constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284172$8A8DA968-3E57-4269-9A17-509D8B0F6056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39fcb972d2fb9d61c1fd79f8e2c220c1d4ebaf7c","datavalue":{"value":"computability of unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284172$9CB4B88E-798B-428F-B901-5098E1AFCBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284172$2D27E29A-B8BF-46F9-B46E-88B0418529B1","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":"Q2284172$152254AA-1FE0-4E24-A77A-B5B4C5693476","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea57adf362f3bf736e59ec2cf966b11eaac3b98a","datavalue":{"value":"W2912778920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284172$5E1D585E-3619-4E22-956C-5A2FFAFC3C2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284172"}}}}}