{"entities":{"Q4636029":{"pageid":6665610,"ns":120,"title":"Item:Q4636029","lastrevid":53071199,"modified":"2026-01-24T04:11:24Z","type":"item","id":"Q4636029","labels":{"en":{"language":"en","value":"Unification in modal logic \\(\\mathrm{Alt}_1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863641"}},"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":"Q4636029$EB9CEFED-7C9B-4E89-8DDA-4FCBDFA66354","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ea1c2dd49f80292a77c6535b8b4befee25f329d","datavalue":{"value":"1400.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636029$59671F2E-8367-488A-B85B-C7C376F8B570","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":"Q4636029$31483B8E-651A-43D0-A46A-2DAD34F85066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2491a851057e6ca7600156e437800ff9f139cabd","datavalue":{"value":{"entity-type":"item","numeric-id":604450,"id":"Q604450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636029$7AFC173A-485F-4432-9CD9-667F88E12589","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4636029$7BC5C9CA-24B5-4BA6-A851-8AC384933383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636029$DA90E99D-2888-49E8-84AB-2A8D5B6AA90C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"446711a0fe1255cc47543c95ac0e3cf70a9f5a65","datavalue":{"value":"6863641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636029$2604BD87-6EBD-45AA-97B3-257D06B11E19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aba36270eb7e40a3ebed56df930d2d7b22e9a402","datavalue":{"value":"modal logic \\(\\mathrm{Alt}_1\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636029$38237B1D-70FF-45E2-B8C5-C1E1DA6D2CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2895ab9b876572bfe76cf353fcbcb3e96892f19b","datavalue":{"value":"computability of unifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636029$7F6BCED2-CD5A-43B3-881B-CE7F628ED491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636029$794CBFC1-F13C-414E-81E3-C53E6FBF0469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9286119d8764b60fad6aee771ad421c89dffe840","datavalue":{"value":"sub-Boolean variants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636029$66EC0623-EF08-4A12-B0D3-9B9D7889FB37","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":"Q4636029$AD8141C4-F41D-4863-A2EB-074144BE17B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4efbad0f808f8bc90ed676d6348d922d47a740be","datavalue":{"value":{"entity-type":"item","numeric-id":5877709,"id":"Q5877709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5f77533cf2a8f16066b523407e65373894d3af","datavalue":{"value":{"amount":"+0.817375123500824","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":"Q4636029$D2F6409A-92BD-4909-B600-9C1EAA7F0022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e992cf52944b77527537693d7b8034012e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d25428461a70567e41db69797f3c22e69b8632c","datavalue":{"value":{"amount":"+0.8028406500816345","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":"Q4636029$689B3AD6-C9FD-4436-842E-E756426DF425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880a03d28b6db1b8c450a090cb888b9807051ee9","datavalue":{"value":{"entity-type":"item","numeric-id":831218,"id":"Q831218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac0bc2c7c91208b5ba33b1f50e203bd3eabcfa4","datavalue":{"value":{"amount":"+0.7854157090187073","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":"Q4636029$BF2BE812-D78E-4897-B667-921DBB1747F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1162c0814a5ca6a63bcda9a442e00d3fdcfbc7","datavalue":{"value":{"entity-type":"item","numeric-id":6111080,"id":"Q6111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642939d8f440a76e723097fe692b802c2c56bbe2","datavalue":{"value":{"amount":"+0.7795619368553162","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":"Q4636029$569225A4-F08A-429A-A9DB-8458B1A4A5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe64c7d28921d914a138df8135fcc3a1b3e2f145","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fae66876d4bb80d46f10c797d5f0bfbb44fa35e","datavalue":{"value":{"amount":"+0.7761104702949524","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":"Q4636029$129CD187-9A63-4092-B520-3DC08C4E31B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636029"}}}}}