{"entities":{"Q1847304":{"pageid":1858046,"ns":120,"title":"Item:Q1847304","lastrevid":69107832,"modified":"2026-04-13T04:50:14Z","type":"item","id":"Q1847304","labels":{"en":{"language":"en","value":"A method for the synthesis of deducibility conditions for Horn and some other formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1830127"}},"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":"Q1847304$1B872E7C-BF45-46F2-8404-9545E3EE3C3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02e363149cef86a82793c7bd8efd76b23a44617e","datavalue":{"value":{"text":"A method for the synthesis of deducibility conditions for Horn and some other formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1847304$B3A79F12-568D-4214-B3E6-33ECC63662DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2871a8301fb51b5a55c4d40e70a40e0182673aa","datavalue":{"value":"1042.03527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847304$ABC8AB6A-ABC0-4E74-8512-C0634DE13001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beab095075da5976bfcaaa3314fe3bfbf00570f0","datavalue":{"value":"10.1007/BF02673030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847304$8E1C88C2-0CDD-4B3E-A48B-CF2A70AEA301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8c48c977a4a9d230699702def5d80fd8665de7c","datavalue":{"value":{"entity-type":"item","numeric-id":265934,"id":"Q265934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$05D1E16B-BB1F-4331-B846-30E1CBF6AF9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$D68CB7C8-0B47-475A-A96D-E3EE52782766","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8964f42f4f5e903b76a2c2f2c48ab004ea3d8c27","datavalue":{"value":{"time":"+2004-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1847304$E962F524-76B7-441F-B6A3-5624A3A9F511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847304$BD4C88C7-090F-40FE-BF0C-2AEEA4E27E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847304$EF1FCC7F-2B93-47BA-99EC-66533D004781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847304$D0C7C387-B428-46BB-909F-1DD940748987","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0570cb248d1f854b1c2c0da783bb6814bd8d347","datavalue":{"value":"1830127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847304$5DDC1A59-C840-4115-8D54-AD87AA21E252","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":"Q1847304$4634CD85-9F3F-4D2E-8176-05419B51EEA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$C0726276-8F13-4502-8F67-1C4992300096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706d993eb2fa94bed0a235ea91f887256b69b14e","datavalue":{"value":{"entity-type":"item","numeric-id":4041013,"id":"Q4041013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$E5A7F5ED-F3F7-4A16-BD9E-CBC5CF9F2CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa75d76e1cdc609f7ac46974607202a4c628e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3275832,"id":"Q3275832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$762383B0-3839-4C86-ACD0-BA4304EBB190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c6efd3666a930760ad447108a2e436ac8490e5","datavalue":{"value":{"entity-type":"item","numeric-id":3485887,"id":"Q3485887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$88A668F4-CC39-4A60-ADD5-2C225CE795E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a0f0e6d96f480e0ea1248f28f7b1cd3a0a88b7","datavalue":{"value":{"entity-type":"item","numeric-id":1363870,"id":"Q1363870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$C9897B40-6D0A-4DC3-9C5B-CD6947889B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f782b89ae0f7ed285b81b6cfa37d66781f2bebf","datavalue":{"value":{"entity-type":"item","numeric-id":5579043,"id":"Q5579043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$1F9841DB-A9DD-4FF0-97D6-742232AD2C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$FD6BB44F-BFB9-405C-B1B3-9429B0AAF792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847304$4FC490B7-3DA4-4801-8C18-2F6F5F1B4508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method for the synthesis of deducibility conditions for Horn and some other formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_method_for_the_synthesis_of_deducibility_conditions_for_Horn_and_some_other_formulas"}}}}}